Mads Dam

Mads Dam

Professor of Teleinformatics, KTH - Royal Institute of Technology
Dirección de correo verificada de kth.se
Citado por 3128
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
Dirección de correo verificada de irif.fr
Citado por 2292
Computer Science Formal Methods Verification Program Analysis Program Logics
Aleš Bizjak

Aleš Bizjak

Formerly postdoctoral researcher, Aarhus University, currently software architect at …
Dirección de correo verificada de alesb.com
Citado por 1177
programming language semantics program logics concurrency topology type theory
Jieung Kim

Jieung Kim

Assistant Professor, Yonsei University
Dirección de correo verificada de yonsei.ac.kr
Citado por 464
PL theory program logics formal verification system software & neural network reliability
Didrik Lundberg

Didrik Lundberg

KTH Royal Institute of Technology
Dirección de correo verificada de kth.se
Citado por 17
Program Logics Software Verification Formal Methods
Maryam Dabaghchian

Maryam Dabaghchian

PhD student at School of Computing, University of Utah
Dirección de correo verificada de cs.utah.edu
Citado por 16
Formal Specification Program Logics Runtime Analysis Formal Methods Formal Verification
Pedro Carrott

Pedro Carrott

Imperial College London
Dirección de correo verificada de imperial.ac.uk
Programming Languages Program Logics Software Verification
Raquel Fernandes da Silva

Raquel Fernandes da Silva

Imperial College London
Dirección de correo verificada de imperial.ac.uk
verification program logics formal methods model learning