Programming Languages @ Penn
Luan V. Nguyen , Ph.D. Assistant Professor Department of Computer Science University of Dayton Office: JHH 162, 300 College Park Ave, Dayton, OH 45469 Phone: (937) 229 3831 Email: lnguyen1(at)udayton(dot)edu
Brief Bio : I am currently an Assistant Professor at the Department of Computer Science , University of Dayton . Previously, I was a postdoctoral research associate at the Department of Electrical Engineering , University of Notre Dame (Oct 2019 - July 2020), and at the PRECISE Center , University of Pennsylvania (June 2018 - Sep 2019). I received my B.E. in May 2012 and M.Sc. degree in December 2012 at The Catholic University of America . During my Ph.D., I was a member of the Verivital Lab at The Universi
I am looking for self-motivated graduate and undergraduate students in the areas of cyber-physical systems, model-based design, formal verification, and safe autonomy. Funding support is available for competitive applicants with excellent qualifications. If you are interested, please send me an email with your CV or drop by my office if you are on campus.
Programming Languages @ Penn