Igor Siveroni

Igor Siveroni

University of Engineering and Technology (UTEC)
Verified email at utec.edu.pe
Cited by 10803
Programming language theory computational biology scientific computing phylodynamics program analysis
Chris Hankin

Chris Hankin

Professor of Computing Science, Imperial College London
Verified email at imperial.ac.uk
Cited by 8687
Security Program Analysis Programming Language Theory
Vineet Gupta

Vineet Gupta

Google Inc
Verified email at google.com
Cited by 4257
Programming Language Theory Machine Learning
Ugo Dal Lago

Ugo Dal Lago

University of Bologna and INRIA Sophia Antipolis
Verified email at cs.unibo.it
Cited by 3393
Programming Language Theory Implicit Computational Complexity Quantum Computing Probabilistic Programming Cryptography
Eugene Stark

Eugene Stark

Professor of Computer Science, Stony Brook University
Verified email at cs.stonybrook.edu
Cited by 2285
Programming Language Theory Concurrency Theory
Hans Hüttel

Hans Hüttel

Associate Professor, Aalborg University
Verified email at cs.aau.dk
Cited by 1626
Theory of Computation Programming Language Theory Process Calculi
Eijiro Sumii

Eijiro Sumii

Tohoku University
Verified email at ecei.tohoku.ac.jp
Cited by 1256
Programming Language Theory
Guoqiang Li

Guoqiang Li

Associate Professor of School of Software, Shanghai Jiao Tong University
Verified email at sjtu.edu.cn
Cited by 1056
formal verification programming language theory knowledge reasoning and verification
Makoto Hamana

Makoto Hamana

Associate Professor, Gunma University
Verified email at cs.gunma-u.ac.jp
Cited by 656
Programming Language Theory Term Rewriting Category Theory
Mohammad Raza

Mohammad Raza

Researcher, Microsoft Corporation
Verified email at microsoft.com
Cited by 490
Programming language theory Artificial Intelligence Data management
1 - 10