프로필

Viktor Vafeiadis

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)

mpi-sws.org의 이메일 확인됨

6745회 인용

Software Verification Program Logic Concurrency Weak Memory Models Interactive Theorem Proving

Uday Reddy

University of Birmingham

cs.bham.ac.uk의 이메일 확인됨

2663회 인용

Programming languages Semantics Program Logic Category Theory Linear Logic

Richard Bornat

Professor of Computer Programming, Middlesex University

bornat.me.uk의 이메일 확인됨

2432회 인용

computer science education concurrent programming program logic

Benjamin Lucien Kaminski

Professor of Computer Science at Saarland University and Lecturer at University College …

cs.uni-saarland.de의 이메일 확인됨

1439회 인용

quantitative verification program logic probabilistic programming

Rasmus Lerchedahl Petersen

Microsoft Research

microsoft.com의 이메일 확인됨

964회 인용

Semantics program logic DSLs computational biology

Julien Vanegue

Imperial College London

ic.ac.uk의 이메일 확인됨

240회 인용

Software Security. Formal Methods Program Logic

Emanuele D'Osualdo

University of Konstanz

uni.kn의 이메일 확인됨

226회 인용

Program Logic Programming Languages Model Checking Static Analysis Security

Jørgen Steensgaard-Madsen

Retired (IMM Technical University Denmark; DIKU, University of Copenhagen)

99회 인용

programming language semantics components program logic partial evaluation

Md Syadus Sefat

Virginia Tech

vt.edu의 이메일 확인됨

42회 인용

Program Analysis Program Logic Symbolic Execution Compilers FPGA

Cheng Zhang

Boston University

bu.edu의 이메일 확인됨

28회 인용

Algebra Program Semantics Program Logic