Navigation

M.Sc. Yiheng Tang

  • Organisation: Department Elektrotechnik-Elektronik-Informationstechnik (EEI)
  • Abteilung: Lehrstuhl für Regelungstechnik
  • Telefonnummer: +49 9131 85-61040
  • Faxnummer: +49 9131 85-28715
  • E-Mail: yiheng.tang@fau.de
  • Adresse:
    Cauerstr. 7
    91058 Erlangen
    Raum 03.036

Forschungsinteressen und Arbeitsgebiete

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

Werdegang

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

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

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

Offene Arbeiten

  • Zur Zeit sind keine Arbeiten zu vergeben.

Laufende und abgeschlossene Arbeiten

  • Effiziente Verifikation durch Komposition und Abstraktion (FP)