mi.ki
mi-ki
Researcher in formal methods @lmu @kastel-security. (he/him)
Ludwig-Maximilians-Universität (LMU) in Munich Munich, Germany
Manuel Eberl
pruvisto
Postdoc at University of Innsbruck. Mostly working in formalisation of mathematics and the automation thereof. Also dabbles in Haskell occasionally.
University of Innsbruck Innsbruck
Stefan Hetzl
shetzl
Associate Professor, Institute of Discrete Mathematics and Geometry
Vienna University of Technology
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
David A. Wheeler
david-a-wheeler
I work at the Open Source Security Foundation (OpenSSF), part of the Linux Foundation. Much of this isn't work though.
Linux Foundation US East Coast
Sacha Chua
sachac
Interests include: Emacs, Org mode, Elisp, NodeJS, Python, sketchnotes, parenting, captioning, and a bunch of other things. Mastodon: https://emacs.ch/@sachac
Toronto
Li Haoyi
lihaoyi
I'm a software engineer. If you like using my libraries or reading my blog https://www.lihaoyi.com/, you should check out my book https://www.handsonscala.com