Software Engineering Group

Priv.-Doz. Dr. Henning Schnoor

wiss. Mitarbeiter

Christian-Albrechts-Platz 4, R.1215 (CAP 4)
Phone: +49 431 880-4467
Telefax: +49 431 880-7617
hs@informatik.uni-kiel.de

Teaching

Summer 2017

  • Software Engineering for Parallel and Distributed Systems: Exercise Class
  • Softwaretechnik: Exercise Class
  • Softwareprojekt, details on website

 

Winter 2016/17

  • Software Architecture: Exercise Class, details in OLAT
  • Softwareprojekt, details on website

 

Summer 2016

  • Betriebs- und Kommunikationssysteme: Lecture (second half), details in OLAT
  • Software Engineering for Parallel and Distributed Systems: Exercise Class, details in OLAT
  • Softwareprojekt, details on website

 

Winter 2015/16

  • Theoretische Grundlagen der Informatik: Exercise Class, details in OLAT
  • Softwareprojekt, details in OLAT

 

For older entries, see archive.

Research interests

  • Cryptographic Protocols
  • Logics for Multi-Agent Systems
  • Information-Flow Security
  • Modal Logic
  • Complexity Theory
  • Complexity of Satisfiability Problems
  • Computational Social Choice

 

Upcoming Events

Research Projects

  • more...

     ExplorVizLogo160x37[1].png    iobserve-logo-small    CloudMIG Xpress

     

    Future-Ocean-logo    kieker-logo       PubFlow

     

    teetime-logo   SpratGeRDI

Teaching