Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View dnezam's full-sized avatar

Block or report dnezam

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
@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@oliverharcourt
Oliver oliverharcourt
CS Student at ETH Zurich
@ahuoguo
Alex Bai ahuoguo

New York University

@AkasakaJelos
Kwok Wai Lui AkasakaJelos
ETHZ-EPFL CyberSec, interested in crypto like ZKP or Formal Verification and more

Switzerland

@lrmrct
lrmrct
Per Aspera Ad Astra.                                 CS at ETH

ETHZ Zurich, Switzerland

@Strophox
Lucas W Strophox
Playing Type Tetris
@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@skius
Niels Saurer skius
Student @ ETH Zurich

Switzerland

@lucat1
Luca Tagliavini lucat1
Into infrastructure, distributed systems and compilers/languages.

Zurich

@sant0s12
Santos sant0s12

Zurich, Switzerland