Perfis

Bertrand Meyer

Professor of Software Engineering, Constructor University

E-mail confirmado em inf.ethz.ch

Citado por 32410

Software engineering object-oriented programming software verification Eiffel concurrent programming

Gerard Holzmann

Nimble Research

E-mail confirmado em nimbleresearch.com

Citado por 23689

Software verification logic model checking

Cédric Fournet

Microsoft Research

E-mail confirmado em microsoft.com

Citado por 17294

Security Programming Languages Software Verification Cryptography Privacy

Xavier Leroy

Collège de France

E-mail confirmado em college-de-france.fr

Citado por 13460

Programming languages Software verification Program proof Compilers Functional programming

Jacob Lorch

Microsoft Research

E-mail confirmado em microsoft.com

Citado por 10675

software verification distributed systems trusted computing privacy cloud computing

Marc Brockschmidt

Research Scientist, Google DeepMind

E-mail confirmado em google.com

Citado por 10559

Software Verification Automated Reasoning Deep Learning Graph Neural Networks

Dirk Beyer

Professor of Computer Science, LMU Munich, Germany

E-mail confirmado em lmu.de

Citado por 10261

Software Verification Model Checking Program Analysis Formal Verification Clustering

Hongseok Yang

Professor, School of Computing, KAIST

E-mail confirmado em kaist.ac.kr

Citado por 9881

Probabilistic Programming Programming Languages Machine Learning Software Verification Distributed System

Reiner Hähnle

Professor of Computer Science, Technical University of Darmstadt

E-mail confirmado em cs.tu-darmstadt.de

Citado por 8448

Formal Methods Formal Verification Program Verification Software Verification Multiple-Valued Logic

Marsha Chechik

Professor of Computer Science, University of Toronto

E-mail confirmado em cs.toronto.edu

Citado por 8334

software engineering software verification modeling formal methods assurance and dependability

1 - 10