Suhua Lei

suhua.png

I am a PhD student (Fall 2016 - Present) working with Professor Zhendong Su at University of California, Davis.

My research interests are programming languages and software engineering.

[CV] [GitHub]

Contact

  • Email: shlei930 AT gamil.com
  • Office: Room 2049, Kemper Hall, UC Davis

Papers

  • Suhua Lei, Xiaojuan Cai, and Mizuhito Ogawa. The Termination and Boundedness Problems of Well-Structured Pushdown Systems. TASE 2016.(extended paper)(source code).
  • Suhua Lei, Xiaojuan Cai, and Mizuhito Ogawa. The Termination/Boundedness Problem of Well-Structured Pushdown Systems. Accepted to YR-ICALP 2015.(abstract)(presentation slides).

Teaching Assistant

Academic Activities

  • Jun 2018, PLMW, Philadelphia
  • Jul 2017, DeepSpec Summer School, Philadelphia
  • Jun 2017, OPLSS Summer School, Oregon
  • Aug 2015, China Theory Week 2015, Shanghai
  • Jul 2015, BASICS 2015 Summer School and Logic Summer School
  • Jul 2015, Presentation at Young Researcher Workshop on Automata, Languages and Programming 2015(YR-ICALP 2015), Kyoto
  • Jul 2015, Presentation at NFSC-JSPS computer science/joint research workshop 2015, Kyoto
  • Jul 2015, ICALP 2015/LICS 2015, Kyoto
  • Jan 2015, BASICS 2015 New Year Workshop
  • Nov 2014, Presentation at ECNU-INRIA Associated Team DAESD Workshop 2014
  • Sep 2014, China Theory Week 2014, Beijing
  • Aug 2014, BASICS 2014 Summer School and Logic Summer School in China 2014
  • Jul 2014, LIAMA Shanghai Model and Verification Driven Engineering 2014
  • Aug 2013, BASICS 2013 Summer School on Verification on Infinite State Systems
  • Jun 2013, The 6th NSFC-JSPS Joint Workshop on Formal Methods
  • Aug 2012, BASICS 2012 Summer School on Domain Theory

Seminars

  • Petri Nets Seminar, Winter 2015
  • Model-Checking Pushdown Systems Seminar, Winter 2014
  • Approximation Algorithms Seminar, Winter 2014
  • Complexity Seminar, Spring 2014 and Spring 2015

Personal Interests

  • I love cooking for my family and friends, which makes me very happy.
  • I love yoga, bowling, running, ping-pang and many kinds of sports.
  • I love reading all kinds of books, listening to music and watching movies.

Last updated: Sep 30, 2018