Darion Cassel

Darion Cassel is an Applied Scientist at Amazon Web Services Automated Reasoning Group, focusing on improving the reliability of Large Language Models (LLMs) through formal methods. He completed his PhD at Carnegie Mellon University's CyLab under the advisement of Limin Jia, where his research centered on practical analysis of security properties for software systems using program analysis and type system design.

His research interests span Security Analysis, Program Analysis, Type System Design, Formal Methods, Web Privacy, and Secure Computation. He has contributed to various high-impact publications in conferences like NDSS, EuroS&P, PETS, and CCS, with a notable PETS Best Artifact Award (2022). His work includes tools like NodeMedic-FINE for vulnerability detection and MIRAI, an abstract interpreter for Rust.

He has served on program committees for CCS and MADWeb, and as an Artifact Evaluation Committee member for PETS and ISSTA. His professional experience includes internships at AWS, Facebook Research, and NASA Goddard, among others.