I received my Ph.D. from the Electrical and Computer Engineering Department at the University of Utah in 2001. After working for IBM for three years, I joined the Computer Science and Engineering Department at University of South Florida in 2004. I received an NSF CAREER Award in 2006, an USF Outstanding Research Achievement Award in 2007, and a Best Paper Award in the International SPIN Symposium on Model Checking Software in 2014. I has served in program committees of various conferences, and is currently an Associate Editor of the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Aiming to build secure, efficient, and evolvable computing systems, my broad research interests include

• Formal methods,
• Computer architecture,
• Embedded/Cyber-Physical systems,
• VLSI design,
• Design automation.

I am the faculty advisor of the SEES research Lab. Please visit our lab page for more information on current research projects and activities.

I am looking for self-motivated and hardworking students to work with on a number research projects including system-on-chip design validation and security, formal verification of parallel and stochastic systems, and machine learning in computer design automation.

You are expected to have strong background in at least one of CS, CE, and Math majors. Additionally, depending on the research of your interest, it is also expected that you have either (1) good programming skills with solid understanding of algorithms/data structures, or (2) non-trivial experiences with digital hardware design and validation.

Priority consideration will be given to PhD applicants. MS applicants who agree to complete a thesis will also be considered.

A PhD position in formal verification research is now available. Please see the flyer for more detail.

Highly motivated undergraduate students in either CS, CE or Math major with excellent academic standings are welcome to join the SEES lab and participate in various research projects. Please email me for more information.