I lead the DavisPL research group to work on exciting applications of programming languages, verification, and mathematical abstractions to real systems. Thank you to all the current, past, and future students.

Current members

PhD

• Tiching Kao, PhD, Fall 2026–present. (Undergraduate/MS 2024-2026)

• Muhammad Hassnain, PhD, Fall 2023–present.

Masters

• Jake Hamzawi, Masters, Fall 2026–present.

Undergraduate

• Ian Miranda, Undergraduate, Spring 2026–present.

• Armaan Bhargava-Shah, Undergraduate, Spring 2026–present.

Alumni and former members

• Lucas Du, Masters, Winter 2025–Summer 2026. → CS PhD at Cornell.

• Enzuo Zhu, PhD, Fall 2024–Spring 2026.

• Jake Roggenbuck, Undergraduate, Fall 2023–Spring 2026. → SWE at Sunday Robotics.

• Ethan Ng, Undergraduate, Summer 2024–Spring 2026. CSE Outstanding Senior Award, 2026. → MSCS at UIUC.

• Timothy Paczynski, Masters, Fall 2025–Spring 2026.

• Anirudh Basu, Undergraduate, Summer 2024–Fall 2025. → CS PhD at UCSC.

• Anish Ahuja, Undergraduate, Winter 2024–Fall 2025. → CS PhD at NYU.

• George Berdovskiy, Undergraduate, Spring 2023–Fall 2025. CS Department Citation, 2026. → CS PhD at UT Austin.

• Audrey Gobaco, Undergraduate, Summer 2024–Spring 2025. → CS MS at UCSD.

• Parnian Kamran, PhD, Spring 2023–Spring 2025.

• Zeerak Babar, Masters, Fall 2023.