I’m excited to be leading the DavisPL research group to work on applications of programming languages, verification, and mathematical abstractions to real systems. Thank you to all the current, past, and future students!

Current members

• Enzuo Zhu, PhD, Joining in Fall 2024.

• Anish Ahuja, Undergraduate, 2024.

• Tiching Kao, Undergraduate, 2024.

• Parnian Kamran, PhD, 2023–present.

• George Berdovskiy, Undergraduate, 2023–present.

• Muhammad Hassnain, PhD, 2023–present.

• Jake Roggenbuck, Undergraduate, 2023–present.

Past members

• Zeerak Babar, Masters, Fall 2023.