Research Statement

The goal our research is to develop algorithms and software tools that enable the creation of reliable computing systems. Typical application domains include autonomous vehicles, traffic control systems, medical devices, control systems etc.

Graduate Research Opportunities

We are looking for graduate students with background in CS theory (formal methods, logic, automata theory, algorithms) and/or control theory. Solid programming skills & other mathematical background (e.g. stochastic processes) would be a plus. As an graduate researcher you will develop new verification and synthesis algorithms, build tools, and perform experiments in using these tools on real systems.

Undergraduate Research Opportunities

We are looking for juniors/seniors with solid programming skills (E.g., C/C++, Java, Matlab) and who intend to go to grad school in one of the related research areas. Preference will be given to those who can commit to working at least 6-8 hours a week for a couple of semesters. You will work closely with one of the graduate students towards developing software tools or applying them to verify a systems. This typically leads to an undergraduate thesis or publishable work. Take a look at some of the research projects.

Articles in Conference Proceedings

Optimal data rate for state estimation of switched nonlinear systems. Hussein Sibaie and Sayan Mitra. To appear in the Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control, April 2017.

Entropy notions for state estimation and model detection with finite-data-rate measurements. Daniel Liberzon and Sayan Mitra. In the Proceedings of 55th IEEE Conference on Decision and Control (CDC), pages 7335–7340, December 2016, Las Vegas, NV.

Entropy and minimal data rates for state estimation and model detection. Daniel Liberzon and Sayan Mitra. In Proceedings of 19th ACM International Conference on Hybrid System: Computation and Control (HSCC 2016), Vienna, Austria.

Differentially Private Distributed Optimization. Zhenqi Huang, Sayan Mitra, and Nitin Vaidya. In the proceedings of the International Conference on Distributed Computing and Networks, January 2015.(Acceptance: 21%)

C2E2: A Verification Tool For Annotated Stateflow Models. Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, and Matthew Potok. In the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015. (Acceptance 17%)

Proofs from Simulations and Modular Annotations. Zhenqi Huang and Sayan Mitra. In 17th International Conference on Hybrid Systems: Computation and Control (HSCC). Berlin, 2014. ACM press.

Verification of Annotated Models from Executions. Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan. In the Proceedings of the International Conference on Embedded Software (EMSOFT 2013), Montreal, Canada, April 2013.

PC member, Special Session on Design of Cyber-Physical Systems at Euromicro conference on Digital System Design (DSD), Santander, Spain on 4-6 Sept 2013.

Other Scholarly Activities

C2E2 HyLink : A software tool that links Simulink/Stateflow models with hybrid system verification engines has been developed and released.
http://publish.illinois.edu/c2e2-tool/

Hybrid Abstraction Refinement Engine (HARE): A software tool for verification of hybrid systems has been developed (in C++) and released. Several verification case studies (approx. 10) have been performed.

Navigation

Crossing engineering disciplines

Professors like Rohit Bhargava know that tomorrow’s engineers will have to work across multiple fields to really be effective. Students from eight different disciplines work with him to fight cancer using nanotechnology. And two multimillion-dollar student training programs make sure that attitude is integrated into their education as well. See us in action by visiting campus

Academic Resources & Support

Illinois researchers are making strides to improve cancer detection, prevention, diagnosis, therapy, and quality of life. The Cancer Community @ Illinois provides resources to access cancer-related activities across campus and nucleate new programs and activities to advance cancer research progress.

Research / Engineering at Illinois

The breadth and depth of knowledge in Engineering at Illinois makes it easy to find the expert in any given field. And experts who are ready to work across fields. Search for an individual or topic and let's change the world together.

All the skills you need

Engineering students need to do more than learn equations and techniques. They need to identify the passions that motivate them and the personal skills to pursue those passions. The Illinois First-Year Experience (IEFX) helps every Engineering at Illinois student do just that. It’s the only program of its kind at an engineering program of our size. Learn more about the first-year experience.

Now through the end of 2019, The Grainger Foundation will match all donations up to $25 million to Engineering at Illinois' scholarship endowments. The opportunity to improve the quality, diversity, and global influence of our undergraduate students has never been greater. Learn more...

As one of the world's top ranked engineering programs, our students, faculty, and alumni set the standard for excellence. We drive the economy, reimagine engineering education, and bring revolutionary ideas to the world.

We solve the world's greatest challenges. We look toward the future and find ways to make it a reality. Leading the innovation of virtual reality. Designing electronic tattoos to treat seizures. Building safer global water systems. Converting algae to biofuel. Exploring fusion energy.