Viktor Vafeiadis

Viktor Vafeiadis

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
Verified email at mpi-sws.org
Cited by 6374
Software Verification Program Logic Concurrency Weak Memory Models Interactive Theorem Proving
Uday Reddy

Uday Reddy

University of Birmingham
Verified email at cs.bham.ac.uk
Cited by 2640
Programming languages Semantics Program Logic Category Theory Linear Logic
Richard Bornat

Richard Bornat

Professor of Computer Programming, Middlesex University
Verified email at bornat.me.uk
Cited by 2389
computer science education concurrent programming program logic
Benjamin Lucien Kaminski

Benjamin Lucien Kaminski

Professor of Computer Science at Saarland University and Lecturer at University College …
Verified email at cs.uni-saarland.de
Cited by 1252
quantitative verification program logic probabilistic programming
Rasmus Lerchedahl Petersen

Rasmus Lerchedahl Petersen

Microsoft Research
Verified email at microsoft.com
Cited by 936
Semantics program logic DSLs computational biology
Julien Vanegue

Julien Vanegue

Imperial College London
Verified email at ic.ac.uk
Cited by 225
Software Security. Formal Methods Program Logic
Emanuele D'Osualdo

Emanuele D'Osualdo

University of Konstanz
Verified email at uni.kn
Cited by 198
Program Logic Programming Languages Model Checking Static Analysis Security
Jørgen Steensgaard-Madsen

Jørgen Steensgaard-Madsen

Retired (IMM Technical University Denmark; DIKU, University of Copenhagen)
Cited by 99
programming language semantics components program logic partial evaluation
Cheng Zhang

Cheng Zhang

Boston University
Verified email at bu.edu
Cited by 22
Algebra Program Semantics Program Logic