Welkom...

dr. P. Lammich (Peter)

Universitair docent

Publicaties

Recent
Popescu, A., Bauereiss, T. , & Lammich, P. (2021). Bounded-Deducibility Security (Invited Paper). In L. Cohen, & C. Kaliszyk (Eds.), 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference) (pp. 3:1-3:20). Dagstuhl. https://doi.org/10.4230/LIPIcs.ITP.2021.3
Haslbeck, M. P. L. , & Lammich, P. (2021). For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM. In N. Yoshida (Ed.), Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings (pp. 292-319). (Lecture Notes in Computer Science). Springer Gabler. https://doi.org/10.1007/978-3-030-72019-311
Popescu, A. , Lammich, P., & Hou, P. (2021). CoCon: A Conference Management System with Formally Verified Document Confidentiality. Journal of automated reasoning, 65(2), 321-356. https://doi.org/10.1007/s10817-020-09566-9

Vakken Collegejaar  2021/2022

Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
 

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11), kamer 3067
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3067
Postbus 217
7500 AE Enschede