David Darais joins Galois as Principal Scientist

We’re thrilled to welcome Dr. David Darais to Galois as a Principal Scientist. His research focuses on tools for achieving reliable software in critical, security, and privacy-sensitive systems while leveraging state-of-the-art approaches. This includes program analysis, type checking, mechanized verification, differential privacy, and secure multiparty computation.

Dr. Darais co-designs programming languages in concert with tools to combat defects, while also maintaining a usable, general-purpose programming environment for the developer. At Galois, he will continue to develop usable programming language techniques for secure computation and differentially private algorithms and general applications of formal methods more broadly. 

Before joining Galois, Dr. Darais was an Assistant Professor of Computer Science at the University of Vermont. He received his BS from the University of Utah, MS from Harvard University, and Ph.D. from the University of Maryland.

For more information, visit his profile page here.