Mads Dam

Mads Dam

Professor of Teleinformatics, KTH - Royal Institute of Technology
Verified email at kth.se
Cited by 3172
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 2320
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 1268
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 502
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 19
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

PhD Student, Imperial College London
Verified email at imperial.ac.uk
Cited by 5
Programming Languages Program Logics Software Verification
Raquel Fernandes da Silva

Raquel Fernandes da Silva

Imperial College London
Verified email at imperial.ac.uk
verification program logics formal methods model learning