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

Hui Shi

 
H.Shi
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)
 
   
Author: Dr. Hui Shi
 
   
Last updated: May 9, 2023