Harshit Garg

(he/him)

PhD Student

  • Formal methods  
  • Programming languages  
  • Software engineering  
  • Systems and networking 
  • BE in Computer Science, Birla Institute of Technology and Science, Pilani — India  

Harshit Garg is a doctoral student in the Khoury College of Computer Sciences at Northeastern University, based in Boston. He is advised by Frank Tip. 

Garg’s PhD focuses on programming languages, specifically static analysis of programs and formal methods in distributed systems, with the goal of improving efficacy in both domains. He’s particularly curious about static analysis because of the unique perspective it offers on programming and its ability to extract valuable statistics from code, and about distributed systems because of their inherent complexity and ongoing evolution. 

Before joining Khoury College, Garg worked as a research fellow at Microsoft Research, studying LLMs and binary instrumentation of .NET. He chose Khoury College for his PhD because of the college’s strong programming languages and software engineering atmosphere, and because of the academic freedom to deeply study anything he wants.