Skip to content
View ayhon's full-sized avatar
👔
Doing formal methods
👔
Doing formal methods
27 followers · 23 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Block or report ayhon

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@AugustinRochereau
AugustinRochereau
@remigerme
Rémi Germe remigerme
CS student interested in formal verification

École polytechnique Zürich

@stoatchat
Stoat stoatchat
Open source, user-first chat platform. (formerly Revolt)

Revolt Platforms LTD Europe

@gllmc
Guillaume Chirache gllmc

Paris, France

@kitlangton
Kit Langton kitlangton
Program writer for a respectable software company.

Anomaly NYC

@erlend-sh
Erlend Sogge Heggen erlend-sh

Muni Town Norway

@secureshadow
Silent Whisper secureshadow
🚀 External pseudoanonymous advisor at Solaris Uvigo Aerotech

Spain

@huggingface
Hugging Face huggingface
The AI community building the future.

NYC + Paris

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@hhassan1
Hussein Hassan hhassan1
Double BSc. Computer Science and Mathematics @ UCM, Madrid. MSc. Computer Science @ ETH, Zürich.

Zurich, CH

@hugoperez3i
hugoperez3i
@dmunozv04
David dmunozv04

@ficodes

@oxixes
Adrián oxixes
Programming as a hobby and now studying computer science!

@Ficodes Spain

@smolene
smolene
@TimVW7
TimVW7
@bbjubjub2494
Julie B. bbjubjub2494
Shallue-van de Woestijne girl @randa-mu

@chainsecurity Lausanne, Switzerland

@MarioCalvarro
Mario Calvarro Marines MarioCalvarro
Student of Mathematics and Computer Science. UCM

Universidad Complutense de Madrid

@GarageGuys
Garage guys GarageGuys

Spain

@TalosSources
TalosSources
@ErVinuelas
ErVinuelas

Aarhus, Denmark

@Gmarcoel
Guille Gmarcoel
BSc in Computer Science, MSc in Computer Science, MSc in Artificial Intelligence

Madrid

@MariusCiurcau
MariusCiurcau
@CaiJimmy
Jimmy CaiJimmy

Zurich