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.
Assistant Professor, Computer Science
Areas of Expertise and/or Research
Software Reliability, Program Analysis, Mechanized Verification, Computer-checkable Proofs, Functional Programming, Language-based Security, Type Systems.
- Ph.D., University of Maryland, College Park