Dev is a 3rd year PhD student at UC Berkeley, advised by Matei Zaharia and Scott Shenker. He specializes in the AI systems research area, and has papers in conferences like OSDI, SIGCOMM and ASPLOS. He's currently researching fair scheduling in LLM inference, and using formal verification and/or symbolic execution as LLM coding guardrails.