Opportunities are available
for top graduate students, postdoctoral researchers,
and undergraduate interns.
Feel free to contact me
if you have a combination of creativity, self-motivation,
strong technical skills,
and interests in or around my research areas.
Bryan Ford leads the
Decentralized/Distributed Systems (DeDiS) research group
at Yale University.
His work focuses broadly on building secure systems,
touching on many particular topics including
secure and certified OS kernels,
parallel and distributed computing,
He has received the
Jay Lepreau Best Paper Award at OSDI,
and grants from NSF, DARPA, and ONR,
NSF CAREER award.
His pedagogical achievements include
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.