
Taro Sekiyama
Associate Professor
Information Systems Architecture Science Research Division
National Institute of Informatics
Tokyo, Japan
email: tsekiyama at acm.org
Research
I research programming language theory and program verification. In particular, my interests lie in formally understanding, verifying, and reasoning about higher-order programs with effects, including memory state, continuations, concurrency, randomness, and others.
Announcements
- We are recruiting postdocs in programming language or program verificatoin for the formal verification of TEE architectures. Please refer to here for the scope, details, and how to apply.
news
Sep 10, 2025 | Our talk proposal “Temporal Resource Typing: Enriching Substructural Typing for Liveness Reasoning” has bee accepted at IWACO’25. |
---|---|
Aug 26, 2025 | Our paper “On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs” has bee accepted and will appear at OOPSLA’25. |
Aug 01, 2025 | Our talk proposal “Verifying Effectful Programs via Answer-Type Modification” has bee accepted at OlivierFest 2025. |
Jun 16, 2025 | Our paper “Thrust: A Prophecy-Based Refinement Type System for Rust” has bee accepted and will appear at PLDI’25. |
Apr 01, 2025 | Five internship students, Abhinandan Pal (Obi), Ivana Bocevska, Charlie Walpole, Ate-Jan de Vries, Hanliang Zhang, join our lab. Welcome! |