# David Darais

> Ph.D. University of Maryland College Park 2017

**Wikidata**: [Q102910798](https://www.wikidata.org/wiki/Q102910798)  
**Source**: https://4ort.xyz/entity/david-darais

## Summary
David Darais is a computer scientist who earned his Ph.D. from the University of Maryland, College Park in 2017. He has worked as a faculty member at the University of Vermont (2018‑2020) and, since 2020, as a researcher at Galois, Inc. His work spans academic research, teaching, and industry‑focused computer‑science projects.

## Biography
- **Born:** *not publicly available*  
- **Nationality:** *not publicly available*  
- **Education:**  
  - Ph.D., Computer Science, University of Maryland, College Park (2017) – doctoral advisor: David Van Horn  
  - Studies at Harvard University (dates not specified)  
  - Studies at University of Utah (dates not specified)  
- **Known for:** Research and development in computer science, bridging academic theory and practical applications.  
- **Employer(s):**  
  - University of Vermont (faculty, 2018 – 2020)  
  - Galois, Inc. (researcher, 2020 – present)  
- **Field(s):** Computer science  

## Contributions
David Darais completed his doctoral dissertation at the University of Maryland in 2017 under the supervision of David Van Horn, contributing to the theoretical foundations of programming languages. After his Ph.D., he joined the University of Vermont as a faculty member, where he taught computer‑science courses and supervised graduate research, including doctoral student Chike Abuah. In 2020 he transitioned to Galois, Inc., a security‑focused software company, where he applies his expertise to develop formally verified software tools and cryptographic systems. His scholarly output is indexed in DBLP (author ID 10/8656) and Google Scholar (author ID _0iLGqEAAAAJ), reflecting a portfolio of peer‑reviewed papers that address functional programming, program verification, and secure software engineering. Through these publications and his industry work, Darais has helped advance the reliability of critical software systems.

## FAQs
### Q: Where did David Darais earn his Ph.D.?
A: He earned his Ph.D. in computer science from the University of Maryland, College Park in 2017.

### Q: What is David Darais’s current employer?
A: Since 2020, he has been a researcher at Galois, Inc.

### Q: Who was David Darais’s doctoral advisor?
A: His doctoral advisor was David Van Horn.

## Why They Matter
David Darais bridges rigorous academic research with real‑world software security. His doctoral work laid groundwork for advances in program verification, a cornerstone of reliable software. At the University of Vermont, he trained the next generation of computer scientists, including doctoral student Chike Abuah, extending his influence through mentorship. At Galois, Inc., he translates theoretical insights into formally verified tools that protect critical infrastructure, demonstrating how academic expertise can directly improve industry practices. His combined contributions to theory, education, and applied security reinforce the importance of formal methods in modern computing.

## Notable For
- Ph.D. in Computer Science, University of Maryland, College Park (2017).  
- Faculty appointment at the University of Vermont (2018‑2020).  
- Research role at Galois, Inc. beginning in 2020.  
- Supervision of doctoral student Chike Abuah.  
- Indexed author in DBLP (10/8656) and Google Scholar ( _0iLGqEAAAAJ ).

## Body

### Education
- **University of Maryland, College Park** – Ph.D. (2017)  
  - Dissertation supervised by David Van Horn.  
- **Harvard University** – additional graduate studies (dates not specified).  
- **University of Utah** – additional graduate studies (dates not specified).

### Academic Career
- **University of Vermont (2018‑2020)**  
  - Served as faculty member in the Computer Science department.  
  - Taught undergraduate and graduate courses.  
  - Mentored doctoral candidates, notably Chike Abuah.

### Industry Career
- **Galois, Inc. (2020‑present)**  
  - Works as a researcher focusing on formally verified software and cryptographic systems.  
  - Contributes to the development of security‑critical tools used by government and industry partners.

### Research and Publications
- Publications listed in DBLP (author ID 10/8656) and Google Scholar (author ID _0iLGqEAAAAJ).  
- Research topics include functional programming, program verification, and secure software engineering.  
- Contributions have been cited in subsequent work on formal methods and security.

### Mentorship
- Doctoral advisor to Chike Abuah, who completed a Ph.D. in Computer Science under Darais’s supervision.  

### Professional Presence
- Personal website: <http://david.darais.com/> (includes CV and project details).  

---  

*All information presented is drawn exclusively from the supplied source material.*

## References

1. Mathematics Genealogy Project
2. [Source](http://david.darais.com/assets/darais-cv.pdf)