Skip to main content

Mitesh Jain

PhD Student

Mitesh Jain


Office Location

440 Huntington Avenue
366 West Village H
Boston, MA 02115


Mitesh is a PhD student studying formal methods in the Computer Science program at Northeastern University’s Khoury College of Computer Sciences, advised by Professor Pete Manolios. He is a member of the Computer-Aided Reasoning Lab and currently working on a refinement-based approach to the verification of reactive systems.

In 2002, Mitesh earned his bachelor’s degree in electrical engineering from the Indian Institute of Technology, located in Kanpur, India. Before joining the PhD program in 2010, Mitesh worked in the microprocessor industry for over eight years.


  • BS in Electrical Engineering, Indian Institute of Technology – India

About Me

  • Hometown: India
  • Field of Study: Formal Methods
  • PhD Advisor: Pete Manolios

What are the specifics of your graduate education (thus far)?

I am currently working on a refinement-based approach to verification of reactive systems.

What are your research interests?

I am interested in the automated reasoning of systems for functional correctness and performance optimizations.

What’s one problem you’d like to solve with your research/work?

I would like to enable efficient automated reasoning of complex systems.

What aspect of what you do is most interesting?

The most interesting aspect is understanding the logical foundations of systems.

What are your research or career goals, going forward?

I hope to advance the use of formal reasoning tools to design correct and performant systems