Arbeitsgruppe Theoretische Informatik

Dr. Henning Schnoor

Dr. Henning Schnoor

Funktion function Wissenschaftlicher Mitarbeiter
Telefon phone +49 (0)431 880 7508
Fax +49 (0)431 880 7614
E-Mail henning.schnoor@email.uni-kiel.de
PGP/GPG Key 680A 19B9 7836 4BF3 C642 B2F4 B20D 9322 1554 E4E2
Dienstzimmer office CAP4, 1015
Sprechzeiten office hours by appointment

Research Interests

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

Publications

You can find my publications on DBLP, Google Scholar, or Arnet Miner.

Teaching

For lectures without a dedicated homepage, the relevant information can be found in the CAU OLAT.

  • Winter 2013/2014: Einführendes Programmierpraktikum Scheme (Exercise Class)
  • Summer 2013: Informationssysteme (Lecture)
  • Winter 2012/2013: Einführendes Programmierpraktikum Scheme (Exercise Class)
  • Summer 2012: Angewandte Logik (Exercise Class), Informationssysteme (Exercise Class)
  • Winter 2011/2012: Einführendes Programmierpraktikum Scheme (Exercise Class)
  • Summer 2011: Programmierpraktikum Java (Exercise Class), Kryptographie Lecture (with Thomas Wilke)
  • Winter 2010/2011: Boolesche Schaltkreise (Lecture and Exercise Class)
  • Summer 2010: Secure Communications (Lecture and Exercise Class)
  • Winter 2009/2010: Moderne Kryptographie (Lecture with Thomas Wilke and Exercise Class)
  • Summer 2009: Informatik II: Datenstrukturen und Algorithmen (Exercise Class)
  • Winter 2008/2009: Kryptographie: Verfahren und Angriffe (Lecture and Exercise Class)
  • Summer 2008: Secure Communications Exercise Class, Informatik II: Datenstrukturen und Algorithmen (Exercise Class)