Information for prospective students

Thanks for your interest in my research group. If you email me about joining my group, I will try to reply. However, I may not have the energy to reply to them all. Emails that are clearly mass mailings, and/or are focused on research areas that are not relevant to me will be discarded.

Here are some answers to commonly asked questions.

Are you looking for graduate students?

Yes! I am happy to work with self-motivated PhD students who are interested in build secure and pragmatic systems with formal methods.

Are you looking for undergraduate students?

Yes! I am interested in working with undergraduates. If you are currently an undergraduate and are interested in getting involved in research (which could be a senior thesis, summer research, or working together during the term), get in touch and we can discuss possibilities.

General information for UNCC undergraduates interested in research in Computer Science is available here.

How can I join your group?

If you are already at UNCC, stop by my office to chat, or send me an email to arrange a time to meet.

If you have already been admitted to UNCC, get in touch with an email.

If you have not been admitted to UNCC, then please apply through the normal channels. Information about Ph.D. in Computing and Information Systems (Software and Information Systems (SIS) track) can be found here.

What is your research about?

My research uses formal methods, e.g., programming languages techniques, verification techniques, and mathematical proofs, to help build secure, efficient, and dependable systems. Take a look at some of my recent publications to get a feel for what I work on.

I'm a student in another country. Can I do a Ph.D. at UNCC?

Foreign students are able to apply through the normal channels. More information about CCI graduate programs can be found here. However, you should make sure you know about the application process, which can take up to a year. You can also find more information for international applicants here.

Also, if possible, make sure that the people who are writing your recommendation letters are aware of what admissions committees are looking for in recommendation letters. Shriram Krishnamurthi's Advice to Graduate School Recommendation Letter Writers may be helpful.

Where can I find some more official information about applying to grad school at UNCC?

Take a look at the UNCC page for prospective graduate students, which includes a link to a FAQ.

What general expectations do you have for your students?

This is the student memo I wrote for my students.