Working with me
I am looking for students to work with me on various problems related to symbolic analysis and formal verification. You must have a demonstrable interest in theoretical problems, and an ability to read, write, and present technical proofs. You must also have studied and got at least a B+ or above in courses on discrete maths, theory of computation, automata theory, and algorithms. It is a plus if you have a working knowledge of one or more of: logic, verification, and functional programming.
Here are some potential ideas for projects of various kinds.
- Uniformizing decidability results for security protocol verification
- Writing libraries for logic, proof theory, and verification in automated theorem provers
- Extending and developing new usable formal verification tools
- Studying various kinds of automata with a view to software system modelling
- Developing tools for teaching support for foundational CS courses
If you are interested in joining as an MS(R) or PhD student, see the relevant details here and here respectively. Please apply through IIT Delhi admissions process, specifying formal verification as a research interest, and mention my name as a potential supervisor.
If you are an undergraduate student and looking for a BTech Project (IITD students only) or an internship (non-IITD students only), write a mail to me providing your IITD entry number (if available), attaching a CV, and listing your relevant background and which project you are interested in. In order for my spam filter to not reject your mail outright, make sure that your subject line contains the word "Belgium".