|
|
|
Contact | Faculty 3 Mathematics and Computer Science, University of Bremen |
Letters | Postfach 330 440, D-28344 Bremen, Germany |
Delivery | Bibliothekstraße, D-28359 Bremen, Germany |
Office | MZH 3230 |
Phone | +49 (421) 218-64260 |
Fax | +49 (421) 218-9864260 |
Email | shi@informatik.uni-bremen.de |
|
I am a research and teaching asistent in the working group of Bernd Krieg-Brückner.
I have studied computer science in China, and received my
Dr-Ing. (PhD) from the University of Bremen.
(Details can be found in my CV.)
Areas of interest
- Formal methods (specification, model-checking, verification, test)
- Dialogue management (ontology, modelling, simulation)
- Embedded Systems (shared-control, mode-confusion, human-computer interaction)
Research
Teaching (in German only)
- 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)
- Student projectshttp://dict.leo.org/ende?lp=ende&lang=de&searchLoc=0&cmpType=relaxed§Hdr=on&spellToler=on&chinese=both&pinyin=diacritic&search=grundlegende&relink=on
BALI (1996-1998)
Espresso (2003-2005)
SmartChair (2005-2007)
Bachelorprojekt: Dialog@Home (2016-2017)
Masterprojekt: Dialog@Home (2017 - 2018)
|
|