Block or Report
Block or report Kuigesi
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
David Deng
PROgram52bc
Third year Ph.D. student in Computer Science at Purdue University. I design and prove safety properties about novel programming languages and type systems.
Purdue University West Lafayette, IN
Oliver Bračevac
bracevac
Problems worthy
of attack
prove their worth
by hitting back.
-- Piet Hein
Working on Scala @ EPFL
Supun Abeysinghe
supunab
Grad student @ Purdue-CS. Likes AI and it's applications, compilers, and systems research in general.
West Lafayette, Indiana
Zhiming Xu
zhiming-xu
Software Engineer @lacework | Previously CS undergrad @ Nanjing University | grad @ UVA
@lacework Mountain View, CA