About Malvin Gattinger

cyclogician

Modal Logic, Gossip protocols, Interpolation, Haskell, Lean, Linux and Bicycles.

Assistant professor at ILLC, University of Amsterdam.

Lists

Timeline

m4lvin has no activity yet