Dr. Henning Schnoor
| Funktion function | Wissenschaftlicher Mitarbeiter |
| Telefon phone | +49 (0)431 880 7508 |
| Fax | +49 (0)431 880 7614 |
| schnoor@ti.informatik.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 |
EinfPP: Einführendes Programmierpraktikum Winter 2012
All relevant information is in the OLAT. The site can be accessed with guest access (under the login box).
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.
- 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 (Boolean Circuits) 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