Hui Shi

Kontakt Technologiezentrum Informatik, Universität Bremen Briefe Postfach 330 440, D-28344 Bremen, Germany Lieferung Enrique-Schmidt-Straße 5, D-28359 Bremen, Germany Büro Cartesium 1.053 Telefon +49 (421) 218-64260 Telefax +49 (421) 218-9864260 Email shi@tzi.de

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

• Projekte
• Veröffentlichungen

Lehre

• Vorkurs: Programmiereinführung (Vorkurs im WiSe0910)
• 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)
• Diplomarbeiten