Lhotak’s research focuses on programming languages, compilers, and program analysis, with a specific focus on object-oriented languages. Program analysis has long been used to generate efficient code, and is increasingly being used in software engineering tools. These applications require precise and efficient program analyses. Increased modularity enabled by object-oriented languages makes interprocedural analysis necessary for precise results. As a result, he is working on making precise interprocedural analyses efficient enough to be practical.
In addition to his research, Lhotak coaches the University of Waterloo ACM teams. Once a member himself, the ACM teams compete in the Association for Computing Machinery Intercollegiate Programming Contests (ACM-ICPC). Lhotak led the Waterloo Black team to a bronze medal at the 2012 ACM-ICPC world finals.