Department of Mathematics
Computer Science and Physics, University of Udine
关注
立即认领
分享
关注
立即认领
分享
基本信息
浏览量:0
职业迁徙
个人简介
Claude Stolze received a Ph.D. in Computer Science at INRIA Sophia-Antipolis (France) in 2019. He is currently a post-doc at the university of Udine, where he studies session types. His research mainly concerns type theory, including intersection, union, and dependent types.