psilospore
psilospore
Functional programmer, Software Engineer at Acima, and a CS PhD student at the University of Vermont.
Acima Burlington, Vermont
Vladimir Gladshtein
volodeyka
I do formal verification with interactive theorem provers
National University of Singapore Singapore
Shem Maleriado
sheimoria
Engineering Intern at Cisco | Final Year Computer Science Student at the National University of Singapore
Cisco Singapore
Lee Hyung Woon / 이형운
lhw-1
Graduated from National University of Singapore (NUS) - Computer Science and Psychology. Currently looking for PhD Positions!
Singapore