Upcoming/Recent Events

1. TYPES 2026 4--8 May, 2026 (author)
2. WTSC 2026 6 March, 2026 (member of programme committee)
3. UPLC 2025 27--31 October, 2025 (speaker)

Recent Publications

1. Algebraic reasoning for timeliness-guided system design (JLAMP, 2026)
2. Program Logics for Ledgers (FMBC 2025)
3. A Readable and Computable Formalization of the Streamlet Consensus Protocol (FMBC 2025)

Identification

Name

Dr. James Chapman

Contact

mail (at) jmchapman (dot) io