M.Sc. Yiheng Tang

M.Sc. Yiheng Tang

Department Elektrotechnik-Elektronik-Informationstechnik (EEI)
Lehrstuhl für Regelungstechnik

Raum: Raum 03.036
Cauerstr. 7
91058 Erlangen

Forschungsinteressen und Arbeitsgebiete

  • Supervisory Control Theory
  • Verifikation und Temporale Logik
  • Formale Spezifikation in der Fertigungstechnik

Werdegang

seit April 2018: Wissenschaftlicher Mitarbeiter am Lehrstuhl für Regelungstechnik, FAU Erlangen Nürnberg

2015 – 2018: Studium Mechatronik (M. Sc.), FAU Erlangen-Nürnberg

2011 – 2015: Studium Mechatronik (B. Eng.), CDHAW, Tongji Universität, Shanghai

Offene Arbeiten

Zur Zeit sind keine Arbeiten zu vergeben.

Laufende und abgeschlossene Arbeiten

  • Effiziente Verifikation durch Komposition und Abstraktion (FP)