My research aims to create automated software and tools for solving challenging problems in software engineering domain. Currently, I like developing new languages and tools for verifying/testing graph/state-based models. In general, I have strong interests in formal methods, programming languages design, program synthesis, relational database and software testing. Many our work is based on using SAT/SMT solvers , those super well-engineered solvers that make it easier to create fully automated tools for program verification, model reasoning and more .
|One PhD position about cyber security, click here for information about how to apply and the project description (See project titled SAFE: A Formal Verification Framework for Detecting Cyber Security Issues in Safety Critical Software).
|happy new year, check out our new release of Cyclone (1.08.848) here.
I am always looking for highly motivated students (PhD) with strong programming and mathematical skills. If you are interested in my research areas, please get in touch with me.