Skip to content
View soonhokong's full-sized avatar
127 followers · 9 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Highlights

Organizations

@leanprover @dreal @snu-sf

Block or report soonhokong

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@sangkilc
Sang Kil Cha sangkilc
Experimental computer scientist whose research is at the intersection of computer security and software engineering

@SoftSec-KAIST Daejeon, Korea

@netj
Jaeho Shin netj
hungry, foolish, curious

Los Altos, CA, USA

@mdeters
Morgan Deters mdeters

New York University New York

@scungao
Sicun Gao scungao

UCSD La Jolla

@levnach
Lev Nachmanson levnach

Microsoft Redmond, WA, US

@codyroux
Cody Roux codyroux
@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@grantpassmore
Grant Passmore grantpassmore
Cofounder of Imandra (imandra.ai) and Life Member of Clare Hall, Univ. Cambridge; creator of Imandra; proving theorems about algorithms!

Imandra Inc Austin, TX

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle