Daniel Schnetzer Fava, Rochester Institute of Technology, New York, RIT, University of California Santa Cruz, UCSC, California, University of Oslo, Norway, UiO, computer science, computer engineering, research, academia, industry
Before joining academia, I worked in Silicon Valley for six years . I was an engineer in the Platform Architecture team at Apple Inc., and in the Larrabee GPGPU Post-Silicon Validation team at Intel.
I left Apple in 2013 to work with Jim Whitehead, who was early in using AI to predict the incidence of bugs in commits. At the University of California, Santa Cruz, I worked on a DARPA project to gamify the discovery of program invariants. This project lead me to reading about automated reasoning and theorem proving. I grew interested in formal verification and took a PhD position in the reliable systems group at the University of Oslo, Norway.
I obtained combined BS/MS degrees in Computer
Engineering from the Rochester Institute of Technology
(RIT), New York. I am originally from Vitória, ES, Brazil.
It seems as if curbing entropy is our quixotic purpose in this universe — James Gleick