笑顔は野力 

Resercher in
Computer Science

Postdoc @ King's College London

Main Academic Interests:
Rewriting | λ-calculus | Effects | Intersection Types

Publications: 

Please, consult my dblp page to find my updated list of papers or this tab

Interested in a detailed past? Here my CV

cv_7.pdf

Service to the Community

Event Co-Organizer: Types'20, ITRS'20, ITRS'21, WLD23-Bologna

Sub-reviewing: PPDP 23, CSL 23, CSL22, PPDP21, FSCD21, CSL21, FSCD20, Types20, ITRS20, ICTCS19, FSCD19.