Research Assistant Professor of Computer Science
B.S., University of Utah, 1983
Professor Lepreau has been leading OS research in the
Department of Computer Science since 1992 as the Assistant Director of
the Computer Systems Laboratory,
joining the faculty in 1997.
His research interests focus on
operating systems, expanding into many other areas related to
building secure, flexible, and high performance systems. These interests
include information security, networks, programming and domain-specific
languages, compilers, distributed systems, and software
assurance and engineering. He heads the Flux research group,
leading DARPA-sponsored research to develop a secure,
flexible, and high-performance operating system, with user-level
but strong management of arbitrary resources, such as memory, the
cpu, and the network. Professor Lepreau
also leads Utah's Active Networks effort, attempting
to develop a router OS that can safely
and speedily ``execute'' code-carrying packets.
In these efforts, his group has developed much software,
including the Flick IDL compiler, the OSKit, the
Fluke/Flask OS, the ``Alta'' Java virtual machine,
and the OMOS linker and object server.
In 1994 he founded the Usenix/ACM/IEEE Symposium on Operating
Systems Design and Implementation (OSDI) conference series, and
served as its first program chair.
