Skip to content
View tbrk's full-sized avatar

Organizations

@inria-parkas

Block or report tbrk

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
@z3roai
Ferris z3roai
Rust developer exploring blockchain & AI
@24601
Basit Mustafa 24601
Tell your agents I said hi.

CTO @ Procurement Sciences Telluride, CO

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

Xanadu Canada

@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@4y8
Aghilas Y. Boussaa 4y8

École normale supérieure - PSL

@Chaarlesss
Charles de Haro Chaarlesss
PhD Student in Abstract Interpretation, Static Analysis and Synchronous Languages

École Normale Supérieure Paris, France

@dlesbre
Dorian Lesbre dlesbre
Ph.D. student in computer science, working on program verification and formal methods

CEA List Paris, France

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@Gurvan-dev
Gurvan Debaussart Gurvan-dev
Moved to codeberg

France

@ptal
Pierre Talbot ptal
I <3 lattice theory

University of Luxembourg Luxembourg

@ecleipteon
Luke ecleipteon
Yet Another Italian in London. Researcher at Imperial College London. Safety-critical Systems Security.

Imperial College London London | Napoli

@SeshatCZ
SeshatCZ

Czech republic

@webalorn
Theophane Vallaeys webalorn
IOI 2015, 2016, 2017 et 2018 (rank 30 at IOI 2018)

France

@Dragon-Fly-02
Dragon_Fly_02 Dragon-Fly-02
Tough times don't last, tough people do.

Edinburgh, United Kingdom

@jasperedratsub1
jasper_VuuzleTV jasperedratsub1
Marketing Sales Representatvie
@rgn9536903tun
rgn4652638rgn9536903rgn5075169 rgn9536903tun
Ocotocat github rgn score 30 minutes 1 time score20000

guitar co. ld myanmar

@hazelnutsgz
Guozhen (Lance) She hazelnutsgz
Yet another coding idiot.

Duke University

@cs-t1
Constantin GIERCZAK--GALLE cs-t1
Computer science, Esperanto and aviation enthusiast. Love formal verification, (embedded) systems programming and functionnal/synchronous/reactive languages

École Normale Supérieure, Paris. Paris

@Vertmo
Basile Pesin Vertmo
Associate Professor at Ecole Nationale de l'Aviation Civile (France). Interested in formal methods, reactive languages and interactive theorem provers.

Ecole Nationale de l'Aviation Civile

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@mseri
Marcello Seri mseri

Rijksuniversiteit Groningen Groningen, NL

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

Dubai

@canering
eg canering Suspended

Tampa, FL

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

Swansea

@jeromesimeon
Jerome Simeon jeromesimeon

Clause, Inc. New York

@ejgallego
Emilio Jesús Gallego Arias ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Lean FRO Paris

@virandre
Virgile Andreani virandre

École normale supérieure Paris

@seanjensengrey
seanjensengrey

Alpha Quadrant

@UnixJunkie
François Bérenger UnixJunkie
Cheminformatician

Applied Cheminformatics International Cambridge, UK

@hai-nguyen-van
Hai Nguyen Van hai-nguyen-van
Satellite Telecom Engineer

Eutelsat OneWeb