Short bio

I am an assistant professor of Computer Science at Southern Illinois University (SIU) Carbondale. Before joining SIU in 2017, I was an assistant professor at University of Minnesotta Duluth (UMD) for three years. I received my Ph.D. in Computer Science fromUniversity of Texad at Dallasunder the guidance ofProf. Gopal Gupta.

My research is focused on formal methods for design, synthesis, specification and verification of cyber-physical systems (including real-timed systems and hybrid systems). I am also interested in models of computation and logic.

I am the director of Cyber-Physical Systems lab.

Recent Publications (2017 - 2018)

Technical Reports

For Prospective Students

  • I am currently looking for motivated students (Ph.D, Master and Bachelor) to work with me on projects related to my general area of research.