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 Spring'17, I am teaching a Software Testing Techniques course (CIS640). If you want to enroll in this course, then please contact me.

Research:I am open to interesting problems. I am broadly interested in software engineering and programming languages/analysis/verification. I also dabble with empirical approaches/methods and Android app security. For more information about my past research interests, please refer to my publications (listed below) and projects that I contribute(d): Bandera, Cadena, Indus, Tark, @GitHub, and @BitBucket.

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

Publications

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