| Post: | Senior Lecturer in Computer Science and Artificial Intelligence (Informatics) |
| Location: | Chichester 2 2r307 |
| Email: | bernhard@sussex.ac.uk |
| Personal homepage: | bernhard |
Telephone numbers | |
| Internal: | 7477 or 8195 |
| UK: | (01273) 877477 or (01273) 678195 |
| International: | +44 1273 877477 or +44 1273 678195 |
| download vCarddownload vCard to your mobile | |
Biography
Born in the Bavarian Forest, A-levels in Freyung (Bavaria), Diploma in Computer Science from the Univeristy of Passau (with Maths as minor); PhD (Dr rer nat) in Computer Science from the Maths and Computer Science Faculty of the Ludwig-Maximilians-University Munich. Then lecturer at LMU Munich and since 2000 at Sussex. Current position is Senior Lecturer.
Role
Deputy Chair of the Informatics UG Exam Board;
Convener of the Computer Science Degree Programme;
Informatics Final Year UG project coordinator
2007/8 Databases (Year 2/3)
Previous years:
Principles of Programming Languages (Year 2),
Functional Programming (Year 2),
Computability and Complexity (Year 3).
Student Consultation
Office hours Spring 2013: Mondays 2pm, Thursday 11am in Chi2 2R307, or by appointment.
Schwinghammer, Jan, Birkedal, Lars, Pottier, Francois, Reus, Bernhard, Stovring, Kristian and Yang, Hongseok (2012) A step-indexed Kripke model of hidden state. Mathematical Structures in Computer Science, 23 (1). pp. 1-54. ISSN 0960-1295
Reus, Bernhard, Charlton, Billiejoe and Horsfall, Ben (2012) Crowfoot: a verifier for higher-order store programs. In: 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 22-24 January 2012, Philadelphia. (In Press)
Schwinghammer, Jan, Birkedal, Lars, Reus, Bernhard and Yang, Hongseok (2011) Nested Hoare Triples and Frame Rules for Higher-order Store. Logical Methods in Computer Science, 7 (3). pp. 1-42. ISSN 1860-5974
Reus, Bernhard and Streicher, Thomas (2011) Relative Completeness for Logics of Functional Programs. In: Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, Bergen (Norway).
Birkedal, Lars, Reus, Bernhard, Schwinghammer, Jan, Stovring, Kristian, Thamsborg, Jacob and Yang, Hongseok (2011) Step-indexed kripke models over recursive worlds. In: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Austin (Texas).
Schwinghammer, Jan, Yang, Hongseok, Birkedal, Lars, Pottier, Francois and Reus, Bernhard (2010) A semantic foundation for hidden state. In: FOSSACS 2010, March 20-28, 2010., Paphos.
