Institution. Galois, Inc.

People

John Launchbury johnlaunchburyChief Scientist · Galois, Inc.
PhDUniversity of Glasgow
Master’sUniversity of Oxford
UndergraduateUniversity of Oxford
0009-0009-7275-2811

Formerly here

Ariel E. Kellison arielekellisonStaff Research Scientist · Code Metal
PhD advisorAndrew W. Appel, David Bindel
PhDCornell University
UndergraduateUniversity of California, Santa Cruz
ak-2485.github.io · 0000-0003-3177-7958 · https://github.com/ak-2485/

Stephanie Weirich stephanieweirichENIAC President's Distinguished Professor of Computer and Information Science · University of Pennsylvania
PhD studentsJonathan Chan, Yiyun Liu
PhDCornell University
Master’sCornell University
UndergraduateRice University
cis.upenn.edu/~sweirich · sweirich

Steve Zdancewic stevezdancewicSchlein Family President's Distinguished Professor · University of Pennsylvania
PhD advisorAndrew C. Myers
PhDCornell University
Master’sCornell University
UndergraduateCarnegie Mellon University
cis.upenn.edu/~stevez · 0000-0002-3516-1512
galois-inc institution entries/institutions/galois-inc.hel