Skip to content
View thery's full-sized avatar
46 followers · 0 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@math-comp

Block or report thery

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@Rw1nd
Jian Fang Rw1nd
I'm interesting in software verification.

Peking University Beijing, China

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@flaviodemoura
Flávio Leonardo Cavalcanti de Moura flaviodemoura
Lecturer in the Department of Computer Science at Universidade de Brasília - Brazil.

Universidade de Brasília Brasil

@bruniculos08
Bruno Rafael dos Santos bruniculos08
cs bachelor at udesc-cct and former undergraduate teaching assistant of discrete maths

Brazil

@adnahmed
Adnan Ahmed adnahmed
Computer Scientist

Islamabad, Pakistan

@TheFanatr
Alex Fanat TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.
@chenjulang
chenjulang
@co-dan
Daniel Frumin co-dan

Groningen

@Tridu33
Tridu33
tridu33.github.io
@erikmd
Erik Martin-Dorel erikmd
Maître de Conférences en Informatique (IRIT/UT3)

Lab. IRIT, Univ. Toulouse Toulouse, France

@SeshatCZ
SeshatCZ

Czech republic

@m9h
Morgan Hough m9h
Computational biophysicist

Center17 San Francisco, CA

@hoheinzollern
Alessandro Bruni hoheinzollern
@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@coq-community Vietnam

@snipher-marube
snipher marube snipher-marube
I care about what am building not Tech Trends

Kenya

@pamellies
Paul-André Melliès pamellies

IRIF, CNRS, Université Paris Cité, INRIA Paris, France

@rnagasam
Ramana Nagasamudram rnagasam

Stevens Institute of Technology Hoboken, NJ

@soraros
soraros
@intoverflow
Tim Carstens intoverflow

Seattle, WA

@cliffordfajardo
Clifford Fajardo cliffordfajardo
🌮 tacos nourish my soul; somewhat of a runner

@linkedin Bay Area, California

@nobrowser
Ian Zimmerman nobrowser
Any of my real projects now are on gitlab or sr.ht. This started even before #GiveUpGitHub when I realized github was turning into another "social" site.
@nikitavoloboev
Nikita nikitavoloboev
@paulcadman
Paul Cadman paulcadman
Software engineer, mathematician, opera lover.

London

@Gravifer
Tci Gravifer Fang Gravifer
Zu nihilum gehöre; Den iukoto echo tipote. Festina! Delai cto chocesh quand tu le pouvez encore!

Tsinghua University Beijing

@rigille
Rígille S. B. Menezes rigille
So I'm just trying to learn some things and have fun

Mixrank Vitória, Brasil

@tonyxty
Tony Beta Lambda tonyxty
Free (free as in FreeCell) software supporter & practitioner.
@cpressey
Chris Pressey cpressey
Unhappy ex-GitHub product who made like a turn and left. Using a non-profit code host instead now. Follow me if you dare.

Office... submarine!

@hugohadfield
Hugo Hadfield hugohadfield
Robotics Engineer and Cambridge University PhD https://hh409.user.srcf.net/

Cambridge University

@xudon9
Xudong Wang xudon9

Hong Kong

@amir
Amir M. Saeid amir

Dublin, Ireland

@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan

@scott-fleischman
Scott Fleischman scott-fleischman
@quewean
quewean
@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@Cobord
Ammar Husain Cobord
@vbgl
Vincent Laporte vbgl
@CohenCyril
Cyril Cohen CohenCyril

Inria Lyon, France

@JefferyQ
JefferyQ JefferyQ

Kings Mountain, NC

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@FlorianSteinberg
Florian Steinberg FlorianSteinberg

Frankfurt, Germany

@vdimir
Vladimir Cherkasov vdimir

@ClickHouse

@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn

@bctnry
Zetian Lin bctnry

Dublin, Ireland

@jmitchell
jmitchell

Seattle

@jnarboux
Julien Narboux jnarboux

Université Paris Cité Paris