Arvind

male
Massachusetts Institute of Technology, Indian Institute of Technology Kanpur, Distinguished Alumnus, Computer engineering, digitalsystem, IEEE
Arvind is the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory at the...
Michael Fourman

Michael Fourman

male, 59 years old
Columbia University faculty, Logician, Erdős number 3, Alumni of the University of Oxford, Academic of the University of Edinburgh, Formal methods…digitalsystem, system design
Michael Paul Fourman, FBCS (born 1950-09-12) is Professor of Computer Systems, and Head of the School of Informatics at the University of Edinburgh...