Universität Bremen  
  FB 3 TZI BISS AG BKB  
  Deutsch
English
 

Hui Shi

 
H.Shi
Kontakt Fachbereich 3 Mathematik und Informatik, Universität Bremen
Briefe Postfach 330 440, D-28344 Bremen, Germany
LieferungBibliothekstraße, D-28359 Bremen, Germany
Büro MZH 3230
Telefon +49 (421) 218-64260
Telefax +49 (421) 218-9864260
Email shi@informatik.uni-bremen.de

Ich bin wissenschaftliche Mitarbeiterin in der Arbeitsgruppe von Bernd Krieg-Brückner.
Ich habe in China Informatik studiert und an der Universität Bremen promoviert.
(Mehr in meinem Lebenslauf.)

Interessen

  • Formale Methoden (Spezifikation, Model-Checking, Verifikation, Test)
  • Steuerung der Dialoge zwischen Benutzer und technischem System (Ontologie, Modellierung, Simulation)
  • Eingebettete Systeme (Shared-Control, Mode-Confusion, HCI)

Forschung

Lehre

  • Vorkurs: Java-Einführung (Vorkurs, jährlich)
  • Kurs: Entwicklung von Webapplikationen (03-B-MI-8/5, Sommersemester 2018)
  • Datenbankgrundlagen (03-BA-901.01b, Sommersemester 2017)
  • Textverarbeitung durch Sprachetechnologie (03-BE-710.98g, Blockveranstaltung WiSe2016/2017, WiSe2018/2019)
  • Datenbankgrundlagen (03-BA-901.01b, Sommersemester 2016)
  • Textverarbeitung durch Sprachetechnologie (Kurs SoSe2013)
  • Textverarbeitung durch Sprachetechnologie (Kurs SoSe2013)
  • reSWP'11 (SoSe2011)
  • Entwicklung benutzergesteuerter eingebetteter Systeme (Kurs SoSe04, SoSe06)
  • Language Technology (Kurs WiSe0506, WiSe0708)
  • Internet-Programmierung (Kurs SoSe03, SoSe01, SoSe99)
  • Objektorientierte Softwareentwicklung mit der UML (Kurs SoSe00 mit Berthold Hoffmann))
  • Systemverifikation durch Spezifikation und Model-Checking (Seminar WiSe9900)
  • Entwicklung verteilter Systeme mit CSP (Kurs WiSe9596)
  • Werkzeugunterstützte Entwicklung paralleler Programme (Kurs SoSe96)
  • Studentische Projekte
    BALI (1996-1998)
    Espresso (2003-2005)
    SmartChair (2005-2007)
    Bachelorprojekt: Dialog@Home (2016-2017)
    Masterprojekt: Dialog@Home (2017 - 2018)
 
   
Autor: Dr. Hui Shi
 
   
Zuletzt geändert am: 9. Mai 2023