معرفی
Taro Sekiyama is an Associate Professor at the National Institute of Informatics in Japan. His research focuses on programming language theory and applications, particularly in type systems, gradual typing, and program verification with effects.
- Academic Rank: Associate Professor
- University: National Institute of Informatics
His research interests span type theory, polymorphic algebraic effects, gradual typing, and temporal verification. His work combines theoretical foundations with practical applications, including Rust programming language verification and effect handling.
The analysis of Taro Sekiyama's publications reveals a consistent focus on:
- Algebraic effect systems
- Refinement type theory
- Gradual typing semantics
- Temporal verification techniques
- Neural-guided program analysis
- Effect handler design
۰مقاله منتشرشده
