Skip to content
View ayhon's full-sized avatar
👔
Doing formal methods
👔
Doing formal methods

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
@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

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

Anomaly NYC

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

Spain

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

NYC + Paris

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

Zurich, CH

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

@Ficodes Spain

@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

@ErVinuelas
ErVinuelas

Aarhus, Denmark

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

Madrid