Topos Institute
Users following ToposInstitute
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Wisnu Adi Nurcahyo
wisn
An idiot bastard. Opinions and outside work activities are my own.
Indonesia
Kyle Anthony Williams
SuperSonicHub1
Just a guy manipulating streams of binary into something neato.
MIT '27
@mit New York
Matéo H. Petel
fraware
Curiosity.
________________________________________________________________________________________
Stanford | NASA JPL | Oxford | ENS
Stanford
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Ayberk Tosun
ayberkt
Researcher in formal verification @zeroth-research
Zeroth Research Birmingham, UK
PreviousNext