UTCS Colloquia - Bryan Ford, Yale University, "Enforced Determinism: What Is It, How Practical Is It, and What's It Good For?," ACES 2.402
Signup Schedule: http://apps.cs.utexas.edu/talkschedules/cgi/list_events.cgi
Speaker/Affiliation: Bryan Ford, Yale University
Talk Audience: Faculty, Grads, Undergrads, Outside Interested Parties
Host: Vitaly Shmatikov
Talk Title: "Enforced Determinism: What Is It, How Practical Is It, and What's It Good For?"
Talk Abstract: System-Enforced Determinism: What Is It, How Practical Is It, and What's It Good For?
Speaker Bio: Bryan Ford leads the Decentralized/Distributed Systems (DeDiS) group at Yale University, where his research touches on many areas including secure and certified OS kernels, parallel and distributed computing, security and privacy, and Internet architecture. He has received the Jay Lepreau Best Paper Award at OSDI for his recent work, and multiple grants from NSF, DARPA, and ONR, including the NSF CAREER award. His pedagogical achievements include PIOS, the first OS course framework leading students through development of a working, native multiprocessor OS kernel. Prof. Ford earned his B.S. at the University of Utah and his Ph.D. at MIT, while researching topics including mobile device naming and routing, virtualization, microkernel architectures, and touching on programming languages and formal methods.
- Awards & Honors
- About Us
- Student Engagement and Support
- Masters Program
- Ph.D. Program
- Financial Information
- Prospective Students
- Incoming Students
- Current Students
- Portfolio Program in Robotics
- Curricular Practical Training
- Grad Student Talks
- UTCS Direct