At Zoox, I support the software teams that are bringing autonomous robotaxis to market.

Initiated and led the development of the leading book on the Haskell programming language. Developed book proposal; found coauthors; negotiated publishing contract; wrote half the content. Published drafts online using an innovative special-purpose feedback system, netting over 7,500 comments from 800 readers. Publicised book through web site, community buzz, and speaking engagements.

I support the teams that define and build the state of the art in AI platform, infrastructure, and development for Meta and beyond.

I lead the Developer Infrastructure (“DevInfra”) team at Facebook. Our mission is to make Facebook engineers extremely productive, so that as a company we can build responsive and delightful products that give people the power to build community and bring the world closer together. The team is composed of 5 areas:- The core developer platform and experience - Productivity systems for the whole company - Programming languages & runtimes- Performance, reliability, and efficiency systems for all Facebook products- Product management, design, research, and docs

I manage the Developer Efficiency team at Facebook. We build and scale the tools that Facebook's engineering teams use to develop mobile products and back end systems.Some highlights of our work include scaling up Facebook's source control; developing the Hack programming language; massive automated build and test infrastructure for web, mobile, and back end platforms; and automated bug detection.

I managed the Developer Efficiency team at Facebook. We built and scaled the tools that Facebook's engineering teams use to develop products. Some highlights of our work include scaling up Facebook's source control; developing the Hack programming language; massive automated build and test infrastructure for web and mobile platforms; and automated bug detection.

Built and led the team that massively scaled Facebook's source control technologies.

Corrupting tomorrow's finest engineering minds via early exposure to strongly-typed functional programming, high-performance systems programming, beautiful abstractions, and challenging assignments.

With David Mazières, I've developed and teach CS240H, a one-semester upper division course in the Computer Science department on building fast, reliable systems software.Some of the subjects we cover include concurrent and parallel programming, data structure design, building fast parsers, debugging and performance tuning of code, and optimization. We make our lecture notes freely available.

With David Mazières, developing and teaching CS240H, a one-semester upper division course on building fast, reliable systems software.Subjects covered include concurrent and parallel programming, data structure design, building fast parsers, debugging and performance tuning of code, optimization. All teaching is through the Haskell programming language.

Applied machine learning techniques to develop a novel productivity enhancing tool for business communications. Shortly after we successfully demonstrated our initial product, we agreed to be acquired by Facebook.

I managed a talented team that's responsible for many of the back end services that power Second Life. We developed and deployed new technologies, and made engineering enhancements to existing systems, all with the goal of ensuring that our complex distributed infrastructure could keep up with the company's growth and evolving needs.

Responsible for software development processes, Linux kernel network driver development, in-house tools, revision control and bug tracking, HPC software performance analysis, cluster management tools, cluster I/O and filesystems.

Responsible for software development processes, high-performance C/C++/Fortran compiler release engineering and development, Linux kernel network driver development, in-house tools, revision control and bug tracking, HPC software performance analysis, cluster management tools, cluster I/O and filesystems.

Responsible for cluster filesystem development, Linux kernel filesystem troubleshooting, filesystem performance analysis.

Developed middleware for Linux-based set-top box. Wrote class libraries, designed embedded databases, made life as easy as possible for front-end and user interface developers.

Principal security engineer for WebLogic Server product. Rewrote security authentication and authorization engines for WebLogic Server, fixed security holes, improved cluster coherence, introduced caching realsm to reduce load on LDAP and SQL authentication databases. Briefly responsible for improving Weblogic's adherence to Java RMI standards.

Led a small team developing an internal load sharing project, used by hundreds of engineers for demanding applications on large clusters. Later moved to the Jini group; designed and implemented the Jini Discovery Protocol.

Made modifications to the Glasgow Haskell Compiler to improve code footprint. Wrote libraries for efficient string manipulation that were precursors to those still in use within the Haskell commmunity today.