Derek Christ

PhD student, Bayerische Julius-Maximilians-Universität Würzburg

Joined

February 2026

Names

Derek Christ (Preferred)

Emails

****@uni-wuerzburg.de (Confirmed)

Personal Links

Career & Education History

PhD student

Bayerische Julius-Maximilians-Universität Würzburg (uni-wuerzburg.de)

Present

Advisors, Relations & Conflicts

No relations added

Expertise

DRAM

Present

Publications

Autoformalizing Memory Device Specifications with Agents
Jan Ole Ernst, Dmitri Michelangelo Saberi, Thomas Zimmermann, Derek Christ, Rajath Salegame, Suhaas M Bhat, Stanislav Levental, Thomas Dybdahl Ahle, Matthias Jung
- ICLR 2026 Workshop VerifAI-2
- Readers: Everyone

Co-Authors