Remote
Malvin Gattinger
@m4lvin@social.edu.nl
mastodon 4.7.3cyclogician
Modal Logic, Gossip protocols, Interpolation, Haskell, Lean, Linux and Bicycles.
Assistant professor at ILLC, University of Amsterdam.
182 Followers
131 Following
0 Posts
Joined May 15, 2026
No posts yet
This profile has no cached posts yet.