bravit
Vitaly Bragilevsky
Senior lecturer at SFedU. Interests include functional programming (mainly Haskell), theoretical computer science (theory of computations, type theory), interactive theorem proving (Coq).
Rostov-on-Don, Russia
Browse others (15)
|
lattera Shawn Webb |
|
neha Neha Narula |
|
vieux Victor Vieux |
|
witoff Rob |
|
chrismccord Chris McCord |
|
jsteward 綺麗な賢狼ホロ |
|
client4 Eric Fulton |
|
jvk Jip van Kuijk |
|
feross Feross Aboukhadijeh |
|
robey Robey Pointer |
|
dmercer Jane Mercer |
|
alexmarkley Alex Markley |
|
hgomez Henri Gomez |
|
zanderz Steve Sanders |
|
amaelle_g Amaelle Guiton |
