Pantazis Deligiannis

Principal Software Engineer, Microsoft CoreAI

At Microsoft CoreAI, I build AI agent systems that analyze, plan, and execute large-scale code transformations across production codebases.

Across nearly a decade at Microsoft, spanning CoreAI and Microsoft Research, I’ve turned research into production systems used across Azure, Microsoft 365, and Windows. Before Microsoft, I earned a PhD in Computing from Imperial College London.

I’m also the founder of Coffee Makes Games, a solo indie game studio where I built Dungeon Story, a match-3 dungeon crawler coming to iOS. It’s where I pair end-to-end product ownership with AI-driven workflows to push what one person can design, build, and ship.

Get in touch Coffee Makes Games

Work

2025 - Present

Microsoft CoreAI

Building AI agent systems that analyze, plan, and execute large-scale code transformations across production codebases, with work now powering Microsoft-scale product experiences.

2016 - 2025

Microsoft Research

Led the design and implementation of Coyote, an award-winning open-source tool for systematically finding and reproducing hard concurrency bugs in C# services, used across Azure and other Microsoft engineering groups to improve reliability before production. My work there also spanned the calculation engine behind Excel on the web, programming languages and runtimes, and later led work on an LLM-powered code transformation platform used across Azure, Microsoft 365, and Windows.

2025 - Present

Coffee Makes Games

Founded a solo indie game studio and built Dungeon Story for iOS, pairing full product ownership and human taste with AI-native workflows to accelerate execution.

coffeemakesgames.com Watch gameplay trailer

Dungeon Story battle board mid-run.

Dungeon Story arcanist battle with fire, ice, and lightning runes.

Dungeon Story thief battle against the Feast King in Crimson Manor.

Dungeon Story necromancer battle against an orc brute beneath a stained-glass window.

Dungeon Story world map showing Hearthfall and dungeon locations.

Dungeon Story ranger battle with a long sword chain.

Research, Talks & Awards

2025 2 2024 1 2023 3 2021 6 2020 4 2019 1 2018 1 2017 3 2016 1 2015 3 2014 2 2013 1 2012 2 2011 1

2025 · 2 items

Talks

Using LLMs for safe low-level programming, Microsoft Research Forum, 2025.

Publications

RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code, ICSE 2025.

2024 · 1 item

Publications

Leveraging LLMs for Program Verification, FMCAD 2024.

2023 · 3 items

Awards

Best Software Science Paper Award, TACAS 2023.

Publications

2021 · 6 items

Talks and demos

Microsoft Research Unplugged – Developer edition, Microsoft Build, 2021.
Tech Minutes: Project Coyote, 2021.
Explore Project Coyote, 2021.

Writing

New tools from Microsoft Research help developers write bug-free code, faster, 2021.

Publications

Building Reliable Cloud Services Using Coyote Actors, SoCC 2021.
Nekara: Generalized Concurrency Testing, ASE 2021.

2020 · 4 items

Awards

Distinguished Artifact Award, OOPSLA 2020.

Writing

Extreme programming meets systematic testing using Coyote, 2020.

Publications

Learning-based controlled concurrency testing, OOPSLA 2020.
Studying ransomware attacks using web search logs, SIGIR 2020.

2019 · 1 item

Publications

Reliable State Machines: a framework for programming reliable cloud services, ECOOP 2019.

2018 · 1 item

Publications

Implementing and evaluating candidate-based invariant generation, TSE 2018.

2017 · 3 items

Thesis

Scalable techniques for analysing and testing asynchronous software systems, PhD thesis, 2017.

Publications

Project Snowflake: non-blocking safe manual memory management in .NET, OOPSLA 2017.
Lasso detection using partial state caching, FMCAD 2017.

2016 · 1 item

Publications

Uncovering bugs in distributed storage systems during testing (not in production!), FAST 2016.

2015 · 3 items

Awards

UK ICT Pioneers finalist, 2015.

Publications

Fast and precise symbolic analysis of concurrency bugs in device drivers, ASE 2015.
Asynchronous programming, analysis and testing with state machines, PLDI 2015.

2014 · 2 items

Publications

Automatic verification of data race freedom in device drivers, ICCSW 2014.
Engineering a static verification tool for GPU kernels, CAV 2014.

2013 · 1 item

Publications

A survey of high-level parallel programming models, 2013.

2012 · 2 items

Publications

Haskell vs. F# vs. Scala: a high-level language features and parallelism support comparison, FHPC 2012.
Improving the diagnosis of mild hypertrophic cardiomyopathy with MapReduce, MAPREDUCE 2012.

2011 · 1 item

Awards

Alison Cawsey Memorial Prize, 2011.

Travels

World 32 US 16

americas

AR BS CA CR MX US

europe

AT BE CH CZ DE ES FR GB GR HR IT LU MC ME NL PT SI

asia

AE IN JP KR MV TH TR TW VN

pacific

CA HI OR WA

mountain

AZ CO ID MT NM NV UT

central

IL NE TX

east

FL NY