Name:Pascal Kesseli

Bio:

Pascal Kesseli is a researcher and engineer working at the intersection of formal methods and AI. He earned a DPhil from the University of Oxford, focusing on static code analysis and program synthesis using formal reasoning engines. At Meta, he worked across GenAI and FAIR on agentic LLM systems and research infrastructure, including inference-time tool use with formal reasoning engines, contributions to Meta’s Code World Model, and reinforcement-learning environments grounded in static analysis. Most recently he started a position at Microsoft AI, working on RL and coding capabilities.

Country:Switzerland

Affiliation:Microsoft

Research interests:Formal Reasoning, Static Analysis, Machine Learning, Program Repair, Program Synthesis