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!

DavisPL group members

• Enzuo Zhu, PhD, Fall 2024–present.

• Anirudh Basu, Undergraduate, Summer 2024–present.

• Audrey Gobaco, Undergraduate, Summer 2024–present.

• Ethan Ng, Undergraduate, Summer 2024–present.

• Anish Ahuja, Undergraduate, Winter 2024–present.

• Tiching Kao, Undergraduate, Winter 2024–present.

• Jake Roggenbuck, Undergraduate, Fall 2023–present.

• Muhammad Hassnain, PhD, Fall 2023–present.

• George Berdovskiy, Undergraduate, Spring 2023–present.

• Parnian Kamran, PhD, Spring 2023–present.

Past members

• Zeerak Babar, Masters, Fall 2023.