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
henning.schnoor@email.uni-kiel.de

PGP key: henning-schnoor-pgp-key.asc

Teaching

 

Winter 2020/21 (teaching online)

  • Engineering Secure Software Systems: Lecture and Exercise Class, details in OLAT
  • Software Engineering für parallele und verteilte Systeme: Exercise class, details in OLAT
  • Softwareprojekt, details on website

 

Summer 2020 (teaching online)

  • Softwaretechnik: Exercise Class, details in OLAT
  • Softwarearchitektur: Exercise class, details in OLAT
  • Softwareprojekt, details on website

 

Winter 2019/20

  • Engineering Secure Software Systems: Lecture and Exercise Class, details in OLAT
  • Software Engineering für parallele und verteilte Systeme: Exercise class, details in OLAT
  • Softwareprojekt, details on website

 

Summer 2019

  • Softwaretechnik: Lecture, details in iLearn
  • Softwareprojekt, details on website

 

Winter 2018/19

 

Summer 2018

  • Betriebs- und Kommunikationssysteme: Lecture (together with Sandro Esquivel), details in UnivIS
  • Softwareprojekt, details in website

 

For older courses, see archive.

Research interests

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

 

Upcoming Events

  • Apr 19, 2021 09:00 AM to Apr 23, 2021 04:00 PM Rennes ICPE 2021
  • May 24, 2021 09:00 AM to May 28, 2021 04:00 PM Virtual ICSE 2021
  • Aug 23, 2021 09:00 AM to Aug 27, 2021 04:00 PM Athens, Greece ESEC/FSE 2021
  • Sep 27, 2021 09:00 AM to Sep 28, 2021 04:00 PM Luxembourg VISSOFT 2021
  • Oct 04, 2021 09:00 AM to Oct 08, 2021 04:00 PM San Francisco IC2E 2021
Research Projects

Teaching