Viktor Vafeiadis

Viktor Vafeiadis

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
E-mail confirmado em mpi-sws.org
Citado por 6553
Software Verification Program Logic Concurrency Weak Memory Models Interactive Theorem Proving
Uday Reddy

Uday Reddy

University of Birmingham
E-mail confirmado em cs.bham.ac.uk
Citado por 2648
Programming languages Semantics Program Logic Category Theory Linear Logic
Richard Bornat

Richard Bornat

Professor of Computer Programming, Middlesex University
E-mail confirmado em bornat.me.uk
Citado por 2414
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 …
E-mail confirmado em cs.uni-saarland.de
Citado por 1312
quantitative verification program logic probabilistic programming
Rasmus Lerchedahl Petersen

Rasmus Lerchedahl Petersen

Microsoft Research
E-mail confirmado em microsoft.com
Citado por 953
Semantics program logic DSLs computational biology
Julien Vanegue

Julien Vanegue

Imperial College London
E-mail confirmado em ic.ac.uk
Citado por 230
Software Security. Formal Methods Program Logic
Emanuele D'Osualdo

Emanuele D'Osualdo

University of Konstanz
E-mail confirmado em uni.kn
Citado por 216
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)
Citado por 99
programming language semantics components program logic partial evaluation
Cheng Zhang

Cheng Zhang

Boston University
E-mail confirmado em bu.edu
Citado por 24
Algebra Program Semantics Program Logic