IFIP WG1.3 Foundations of System Specification
Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Prof
Andre Platzer
Computer Science DepartmentCarnegie Mellon University
Research topics: Logic in Computer Science, Cyber-Physical Systems, Programming Languages, Theorem Proving, Formal Methods (updated at 2021-03-22)
https://lfcps.org/