Mads Dam

Mads Dam

Professor of Teleinformatics, KTH - Royal Institute of Technology
Verified email at kth.se
Cited by 3126
Program Logics Program Verification Computer Security Information Flow Security Parallel and Distributed Computation
Mihaela Sighireanu

Mihaela Sighireanu

Associate Professor in Computer Science, IRIF, Université de Paris
Verified email at irif.fr
Cited by 2292
Computer Science Formal Methods Verification Program Analysis Program Logics
Aleš Bizjak

Aleš Bizjak

Formerly postdoctoral researcher, Aarhus University, currently software architect at …
Verified email at alesb.com
Cited by 1169
programming language semantics program logics concurrency topology type theory
Jieung Kim

Jieung Kim

Assistant Professor, Yonsei University
Verified email at yonsei.ac.kr
Cited by 463
PL theory program logics formal verification system software & neural network reliability
Didrik Lundberg

Didrik Lundberg

KTH Royal Institute of Technology
Verified email at kth.se
Cited by 17
Program Logics Software Verification Formal Methods
Maryam Dabaghchian

Maryam Dabaghchian

PhD student at School of Computing, University of Utah
Verified email at cs.utah.edu
Cited by 16
Formal Specification Program Logics Runtime Analysis Formal Methods Formal Verification
Pedro Carrott

Pedro Carrott

Imperial College London
Verified email at imperial.ac.uk
Programming Languages Program Logics Software Verification