Skip to content

@AeneasVerif AeneasVerif

@julianpritzi
Julian Pritzi julianpritzi

Munich

@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@iamoeg
Oussama EL GHANNAMI iamoeg

Morocco

@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@carnotweat
sameer gupta carnotweat
now sr.ht/carnotweat

carnot Bangalore

@ahuoguo
Alex Bai ahuoguo

MPI-SWS

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@exxjob
exxjob
i have no mouth and i must beatbox
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@gleachkr
Graham Leach-Krouse gleachkr

Draper Laboratory Arlington, Massachusetts

@zhuyutian57
zhuyt zhuyutian57

Institute of SoftWare, Chinese Academy of Sciences Beijing

@lengyijun
lyj lengyijun
Premier League Map: http://ggdg.gitee.io/map_of_the_premier_league/

SJTU China Shanghai

@JeffCarpenter
Jeff Carpenter JeffCarpenter

Canada

@shpark
Seonghyun Park shpark
Tired of mediocrity
@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@markhakansson
Mark Hakansson markhakansson
I have no idea what I'm doing

Ductus Luleå, Sweden

@unsoundsystem
unsoundsystem
Interested in Systems software and their formal verification

Japan

@sonmarcho
Son HO sonmarcho

Inria Paris