Bertrand Meyer

Bertrand Meyer

Professor of Software Engineering, Constructor Institute of Technology
Preverjeni e-poštni naslov na inf.ethz.ch
Navedeno v 32784 virih
Software engineering object-oriented programming software verification Eiffel concurrent programming
Gerard Holzmann

Gerard Holzmann

Nimble Research
Preverjeni e-poštni naslov na nimbleresearch.com
Navedeno v 23985 virih
Software verification logic model checking
Cédric Fournet

Cédric Fournet

Microsoft Research
Preverjeni e-poštni naslov na microsoft.com
Navedeno v 17816 virih
Security Programming Languages Software Verification Cryptography Privacy
Xavier Leroy

Xavier Leroy

Collège de France
Preverjeni e-poštni naslov na college-de-france.fr
Navedeno v 13746 virih
Programming languages Software verification Program proof Compilers Functional programming
Marc Brockschmidt

Marc Brockschmidt

Research Scientist, Google DeepMind
Preverjeni e-poštni naslov na google.com
Navedeno v 11396 virih
Software Verification Automated Reasoning Deep Learning Graph Neural Networks
Jacob Lorch

Jacob Lorch

Microsoft Research
Preverjeni e-poštni naslov na microsoft.com
Navedeno v 10895 virih
software verification distributed systems trusted computing privacy cloud computing
Dirk Beyer

Dirk Beyer

Professor of Computer Science, LMU Munich, Germany
Preverjeni e-poštni naslov na lmu.de
Navedeno v 10700 virih
Software Verification Model Checking Program Analysis Formal Verification Clustering
Hongseok Yang

Hongseok Yang

Professor, School of Computing, KAIST
Preverjeni e-poštni naslov na kaist.ac.kr
Navedeno v 10200 virih
Probabilistic Programming Programming Languages Machine Learning Software Verification Distributed System
Reiner Hähnle

Reiner Hähnle

Professor of Computer Science, Technical University of Darmstadt
Preverjeni e-poštni naslov na cs.tu-darmstadt.de
Navedeno v 8698 virih
Formal Methods Formal Verification Program Verification Software Verification Multiple-Valued Logic
Marsha Chechik

Marsha Chechik

Professor of Computer Science, University of Toronto
Preverjeni e-poštni naslov na cs.toronto.edu
Navedeno v 8607 virih
software engineering software verification modeling formal methods assurance and dependability
1 - 10