takeo

@bonotake

Company researcher in computer science/Software engineering/Formal methods/Programming languages/Logics/Category theory/Ph.D student