Suresh Jagannathan

Suresh Jagannathan

Samuel D. Conte Professor of Computer Science, Purdue University
Verified email at cs.purdue.edu
Cited by 8494
Programming Languages Program Verification Functional Programming Concurrent and Distributed Systems
Emilio Tuosto

Emilio Tuosto

Gran Sasso Science Institute
Verified email at gssi.it
Cited by 2774
Concurrent and distributed systems
Silvano Dal Zilio

Silvano Dal Zilio

Researcher, LAAS-CNRS
Verified email at laas.fr
Cited by 1417
Computer Science Formal Verification Concurrent and Distributed systems Safety Critical Embedded Systems Process Calculi
Alceste Scalas

Alceste Scalas

Associate Professor in Computer Science, DTU Compute, Technical University of Denmark
Verified email at dtu.dk
Cited by 793
Concurrent and distributed systems programming languages formal methods #dtusse
Gowtham Kaki

Gowtham Kaki

University of Colorado Boulder
Verified email at colorado.edu
Cited by 298
Programming Languages Concurrent and Distributed Systems
Kevin Vella

Kevin Vella

Senior Lecturer, University of Malta
Verified email at um.edu.mt
Cited by 246
Concurrent and Distributed Systems High Performance Computing Cloud Computing Operating Systems
David Castro-Perez

David Castro-Perez

University of Kent
Verified email at kent.ac.uk
Cited by 214
Functional Programming Parallel Computing Concurrent and Distributed Systems Type Systems
Gregory E. Allen

Gregory E. Allen

Applied Research Labs, The University of Texas at Austin
Verified email at arlut.utexas.edu
Cited by 115
High Performance Computing Digital Signal Processing Concurrent and Distributed Systems
Macías López

Macías López

PhD student
Verified email at madsgroup.org
Cited by 51
Functional programming software testing testing non-functional requirements concurrent and distributed systems