Mitesh Jain
Biography
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.
Education
- BS in Electrical Engineering, Indian Institute of Technology – India
About Mitesh
- 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
Biography
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.
Education
- BS in Electrical Engineering, Indian Institute of Technology – India
About Mitesh
- 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