Skip to content

@tlaplus-workshops TLA+ Workshops

Users following tlaplus-workshops

@oguzhane
Ozz oguzhane
swe @Azure

Microsoft Dublin

@andrew-werdna
Andrew Brown andrew-werdna
Software Engineer and Math enthusiast

Austin, Texas

@sumanshil
sumanshil
@ligurio
Sergey Bronnikov ligurio
I make software suck less
@alexandrepiveteau
Alexandre Piveteau alexandrepiveteau
PhD Candidate at EPFL. Previously Co-Founder @traak-sps and Software Engineer at @migrosonline @milkinteractive @culturedcode.

EPFL Lausanne, Switzerland

@heidihoward
Heidi Howard heidihoward
Researcher in distributed systems

@Microsoft Cambridge, UK

@vishalkalra
vishalkalra
@apoorv-2204
Apoorv-2204 apoorv-2204
@Tiancheng-Luo
Tiancheng-Luo Tiancheng-Luo
@ibakepunk
Dmitry Osipov ibakepunk

@Microsoft Prague

@slaiyer
slaiyer
@gakuthota
gakuthota
@davidmrdavid
David Justo davidmrdavid
Didn't you hear the news? Well typed programs, don't go wrong

Microsoft

@kebeckwith
Kevin Beckwith kebeckwith

Microsoft Central New York