Ilya Sergey Profile Banner
Ilya Sergey Profile
Ilya Sergey

@ilyasergey

Followers
4,934
Following
967
Media
316
Statuses
3,672

Associate Professor at @NUSComputing . Member of @nus_plse . Programming languages, verification, distributed systems. Ex- @uclcs , @IMDEA_Software , @jetbrains .

https://t.co/0UJrbseEKP
Singapore
Joined October 2008
Don't wanna be here? Send us removal request.
Explore tweets Explore followers Explore following
@Seb_Bardin
Sébastien Bardin
@Seb_Bardin
Paris area (Saclay), France
@gok99_
Gokul Rajiv
@gok99_
@wise_jenna
Jenna DiVincenzo
@wise_jenna
@THarris_Tim
Tim Harris
@THarris_Tim
Cambridge, UK
@ksmeel
Kuldeep S. Meel
@ksmeel
Toronto
@genv
GEN V
@genv
Godolkin University
@sgraf1337
Sebastian Graf
@sgraf1337
Karlsruhe, Baden-Württemberg
@etorreborre
Eric Torreborre
@etorreborre
Haarlem, Netherlands
@AbhikRoychoudh1
Abhik Roychoudhury
@AbhikRoychoudh1
Singapore
@MartinHenz
Martin Henz
@MartinHenz
@derKha
Sebastian Ullrich
@derKha
Karlsruhe, Germany
@TechAtBloomberg
Tech At Bloomberg
@TechAtBloomberg
@Dasha_Navalnaya
Dasha
@Dasha_Navalnaya
@navalny
Alexey Navalny
@navalny
Moscow
@yulia_navalnaya
Yulia Navalnaya
@yulia_navalnaya
@diveshaggarwal
divesh aggarwal
@diveshaggarwal
Singapore
@samuelgruetter
Samuel Gruetter
@samuelgruetter
@neeldhara
Neeldhara 🐦|🐘
@neeldhara
Gandhinagar, India
@yurylifshits
Yury Lifshits
@yurylifshits
Denver
@leanprover
Lean
@leanprover
Seattle