- This event has passed.
PhD Defense: Fully Declarative Specification of Static Code Checkers
May 19, 2025 @ 09:00 - 23:59
Welcome to the doctoral defense of Alexandru Dura
Date and time: May 19th, 09:00
Location: Lecture Hall M:J, building M, Ole Römers väg 1F, Faculty of Engineering LTH, Lund University, Lund
Doctoral student: Alexandru Dura, PhD student at Department of Computer Science, Lund University
Title: Fully Declarative Specification of Static Code Checkers
Original location: Lecture Hall M:J, building M, Ole Römers väg 1F, Faculty of Engineering LTH, Lund University, Lund