I am looking for dedicated students (grad, undergrad) to join my research group. My research interests are in software security, programming languages, and software engineering. I expect students to have both strong programming skills and mathematical maturity for abstract thinking. Familiarity with one or several of the following set of areas is not required, but would be a big plus: static analysis, formal logics, type systems, compilers, and functional programming.
Interested students are welcome to send me an email describing your background and your past research experience; please attach your resume if you have one. You are also welcome to read my recent research papers and share your thoughts with me. Of course, if you have a project idea that is related to my research interests, I will be more than willing to discuss and help.