jfdm
Jan de Muijnck-Hughes
Research Associate. Liking Session Types, Design Patterns, Usable Crypto, Dependent Types.
Europe

Following (20)

felixmcfelix
Kyle A. Simpson
jonathanjouty
Jonathan Jouty
owickstrom
Oskar Wickström
leastfixedpoint
Tony Garnock-Jones
samth
Sam Tobin-Hochstadt
wim
Wim Vanderbauwhede
tonydaly
Tony Daly
jmchapman
James Chapman
mbbx6spp
Susan Potter
simoninireland
Simon Dobson

Followers (29)

puvovekkornakt
Biryukova Agnessa
nanalibih
Ostrogradskaya Markellina
vfredriksson
Helene Svensson
dominique94
Guy Lebon
laordarlyusab
Morgun Silviya
lukasziolkowski
Łukasz Ziółkowski
simonjanes
Simon Janes
dewaka
Chathura Colombage
martin_pb
leastfixedpoint
Tony Garnock-Jones

Browse others (14)

mave99a
Robert Mao
bogdakarpeta
Bogda Karpeta
jacen05
Julien Chezeaux
gerwig_movus
Christian Gerwig - Movus GmbH
andrewwharton
Andrew Wharton
neletrenner
Nele Trenner
panina
eira sverker wahlin
koapevazec
Kahovskiy Yaroslav
los_aranha
Los Aranhas
skryptec
Skryptec Hacker