Assistant Professor, Computer Science

Joining UVM in January 2018, Darais comes from the University of Maryland, College Park, where he has been conducting post-doctoral research in highly reliable software through advances in program analyzers, computer checkable proofs of software correctness and their combination. Originally from Salt Lake City, he completed his B.S. in Computer Science at the University of Utah, his M.S. in Computer Science at Harvard University and his Ph.D. in Computer Science at the University of Maryland.

Areas of Expertise and/or Research

Software Reliability, Program Analysis, Mechanized Verification, Computer-checkable Proofs, Functional Programming, Language-based Security, Type Systems.


  • Ph.D., Computer Science - University of Maryland, College Park