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) about software verification. If you want to enroll in this course, 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 my projects (Bandera, Cadena, Indus, SCP, and Tark).

Service: Social Media Chair FSE 2016

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.)


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