|
|
|
Kontakt | Fachbereich 3 Mathematik und Informatik, Universität Bremen |
Briefe | Postfach 330 440, D-28344 Bremen, Germany |
Lieferung | Bibliothekstraß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)
|
|