Future/Recent Events

1. WTSC 2026 (member of programme committee)
2. UPLC Programming Language Conference (UPLC) 2025 (speaker)
3. FMBC 2025 (author)

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