A picture of me!!!
I am an assistant professor in the Department of Computer Sciences at Kansas State University. You can find more info about me in my CV.

Teaching: In Fall'16, I am teaching a discourse-based course (CIS890) on software verification and validation. If you want to enroll in this courses, then please contact me.

Research: While I tend to focus on software engineering and programming languages/analysis/verification research, I also dabble with empirical approaches/methods, medical systems, and Android security. For more information about my research interests, please refer to my publications (listed below) and projects (Bandera, Cadena, Indus, SCP, and Tark).

Note to students: If you want to participate in projects either for course requirements or just to explore research, then I'd love to chat to you about possibilities. To get the most out of this chat, please read about my research efforts and think how can you contribute to them or, better yet, how can you do better. If you have wacky new research ideas, then I am open to them as well. (If you are interested in doing research work (or implementation projects) in CS, then please read this.)

If you want to meet me: Please make an appointment (via email).


2015: 2014: 2013: 2012: 2011: 2010: 2009: 2008: 2007: 2006:
2005: 2004: