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

Hui Shi
 
H.Shi
Contact Technologiezentrum Informatik, Universität Bremen
Letters Postfach 330 440, D-28344 Bremen, Germany
Delivery Enrique-Schmidt-Straße 5, D-28359 Bremen, Germany
Office Cartesium 1.053
Phone +49 (421) 218-64260
Fax +49 (421) 218-9864260
Email shi@tzi.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: Programmiereinführung (Vorkurs im WiSe0809)
  • 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
 
   
Author: Dr. Hui Shi 		 
   
Last updated: October 14, 2008