Skip to content
View vbgl's full-sized avatar

Organizations

@jasmin-lang

Block or report vbgl

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
@Herbrant
Davide Carnemolla Herbrant
PhD student @ University of Catania, Italy.

Italy

@chandlerc
Chandler Carruth chandlerc
Software, performance, optimization, programming languages, security, open source, #CarbonLang lead, #LLVM, #Clang, C++. 🏳️‍🌈

Google, Inc San Jose, CA

@NotBad4U
Alessio Coltellacci NotBad4U
I'm waiting for Godot. PhD student

Inria Nancy

@pq-code-package
PQ Code Package pq-code-package
Building high-assurance implementations of post-quantum cryptography algorithms
@vteague
Vanessa Teague vteague
I'm a cryptographer with an interest in election security and privacy. Email: [my first name] at thinkingcybersecurity.com

Thinking Cybersecurity and @DemocracyDevelopers Wurundjeri Land (Melbourne)

@atrieu
Alix Trieu atrieu
Formal methods expert, writing formally verified code.
@NiziL
Théo BL NiziL

Inria Nancy, France

@rod-chapman
Roderick Chapman rod-chapman
Security- and Safety-Critical software engineer. Designer and developer of the SPARK/Ada language and toolset for many years.

Amazon Web Services UK

@Tr4mper
Leon Trampert Tr4mper

PhD Student - @CISPA Saarland, Germany

@deltachat
Delta Chat deltachat
Secure, cross-platform, decentralized super-app messenger
@VTrelat
Vincent Trélat VTrelat
PhD in formal methods at Inria. I swear by formal proofs only.
@mjal
Maxime Lalisse mjal

Freelance Lille, France

@FantomeBeignet
Tom Béné FantomeBeignet
Computer Science student at TELECOM Nancy.

Nancy, France

@lcnr
lcnr lcnr
NaCl

Germany

@claucece
Sofía Celi claucece
Cryptography @brave and honorary fellow Uni Bristol. hprc co-chair @IRTF-HRPC anti-fraud co-chair @w3c PQUIP co-chair at @ietf-wg-pquip Previously @cloudflare

@brave AMS/LIS/UIO

@felixlinker
Felix Linker felixlinker

ETH Zurich Zurich, Switzerland

@icmccorm
Ian McCormack icmccorm
PhD student in Software Engineering @ Carnegie Mellon

Software and Societal Systems Department (S3D) USA

@namasikanam
Xingyu Xie namasikanam
Dream to find rigorousness and meaning in the messy world. Learning how to interact with people.

Max Planck Institute for Security & Privacy Bochum, Germany

@secure-foundations
Secure Foundations Lab secure-foundations
We investigate long-term, fundamental improvements in how to design and build secure systems.
@zhengjieyu
Jieyu Zheng zhengjieyu

Fudan University Shanghai

@AlgebraicJulia
AlgebraicJulia AlgebraicJulia
An Ecosystem of Software Based on Generalized Algebra and Category Theory in Julia
@JuliaGraphs
JuliaGraphs JuliaGraphs
Graph modeling and analysis packages for the Julia programming language
@charlie-j
Charlie Jacomme charlie-j
I'm a security researcher at Inria, working of formal proofs of security, and mostly interested in privacy preserving projects.
@soatok
Soatok Dreamseeker soatok
Cryptografur. **Not for employment, just for fun.**

@barkane-arts Florida, USA

@JuliaCrypto
JuliaCrypto JuliaCrypto
Cryptography made easy in Julia

Everywhere

@JuliaMath
Julia Math JuliaMath
Mathematics made easy in Julia
@MilesCranmer
Miles Cranmer MilesCranmer
Assistant Professor at University of Cambridge. Works on AI for the physical sciences.

University of Cambridge Cambridge, UK

@niekbouman
niekbouman
Roseman Labs [past: TU Eindhoven / ABN AMRO / Swiss Federal Institute of Technology, Lausanne (EPFL) / Centrum Wiskunde & Informatica (CWI)]
@jcailler
Julie Cailler jcailler

University of Lorraine Nancy

@NickCao
Nick Cao NickCao

Red Hat Boston, MA

@smelc
Clément Hurlin smelc

@tweag Nancy, France