Haskell developer for over a decade, Currently working at Liquid Instruments
-
Liquid Instruments
- Canberra, Australia
- https://axman6.com
- @Axman6
Vanessa Teague
vteague
I'm a cryptographer with an interest in election security and privacy.
Email: [my first name] at thinkingcybersecurity.com
Thinking Cybersecurity and @DemocracyDevelopers Wurundjeri Land (Melbourne)
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Ben Gamari
bgamari
I enjoy compilers, hiking, and bicycling
Well Typed LLP Portsmouth, NH, United States
Daniel Steinberg
dsteinberg
I am a senior research scientist at CSIRO (Data61). I research and implement machine learning algorithms and systems.
CSIRO (Data61) Canberra, Australia