281 Pubs
Cited by 9571
Co-authors 500
Prakash Panangaden
semanticsprobabilistic systemsverificationmachine learningquantum information theory
Cited by 2765
Abbas Edalat
Imperial College London
Imperial College London

United Kingdom

continuous data typesexact computationcomputational psychiatry/psychotherapy
Cited by 2030
Eugene Stark
programming language theoryconcurrency theory
Cited by 11683
12 Pubs
Cited by 93
Co-authors 19
reinforcement learninghierarchical behaviorbisimulation metricsspectral learning
70 Pubs
Cited by 946
Co-authors 88
Borja Balle

United States

differential privacymachine learningautomata theory
Cited by 8637
Jan Rutten
computer sciencemathematicslogic
33 Pubs
Cited by 1092
Co-authors 54
Pablo Samuel Castro

United States

reinforcement learningmachine learningartificial intelligencecreativitymusic
10 Pubs
Cited by 385
Co-authors 7
Norm Ferns
probabilistic systemsreinforcement learningmachine learning
Cited by 11968
Guang R. Gao
computer architectureparallel systemscompilersapplicationshpc
317 Pubs
Cited by 14716
Co-authors 662
Joelle Pineau
artificial intelligencemachine learningrobotics
Cited by 38
florence clerc
computer science
151 Pubs
Cited by 2711
Co-authors 293
Mehrnoosh Sadrzadeh
theoretical computer sciencelogiccategory theorycomputational linguisticartificial intelligence
Cited by 200
Sophia Knight
Cited by 27753
Cited by 19789
Dexter Kozen
Cornell University
Cornell University

United States

program logic and semanticsalgorithm design and analysiscomplexity theoryautomata theory
Cited by 3091
Elham Kashefi
University of Edinburgh
University of Edinburgh

United Kingdom

quantum cloudquantum verificationquantum cryptography
Cited by 7884
Catuscia Palamidessi
differential privacymachine learningfairnessquantitative information flowconcurrency theory
61 Pubs
Cited by 3223
Co-authors 63
Vineet Gupta
programming language theorymachine learning
Cited by 3627
Konstantinos Chatzikokolakis
securityprivacyquantitative information flowformal verification
Cited by 7098
Vincent Danos
University of Edinburgh
University of Edinburgh

United Kingdom

financial contractscomputational systems biologycomplex systemsprobabilistic systems and models
355 Pubs
Cited by 13359
Co-authors 506
Doina Precup
artificial intelligencemachine learningreinforcement learning
222 Pubs
Cited by 11201
Co-authors 279
Vijay Saraswat

Goldman Sachs Research

programming languagesconcurrencylogicmachine learningknowledge representation and reasoning
Cited by 2093
Jos�e Desharnais

Professor of Computer Science, Laval university

verificationprobabilistic systemssecurity
Cited by 1049
Ellie D'Hondt

Vrije Universiteit Brussel

sensingmobile & cloud technologiesdata-innovationquantum computationamorphous computing
Cited by 29168
Kim G. Larsen

Director, Professor Aalborg University

Cited by 2339
R.A.G. Seely

Adjunct Professor, Mathematics, McGill University

categorical proof theory
Cited by 5684
Radha Jagadeesan

Unknown affiliation