Skip to content
View ymherklotz's full-sized avatar

Highlights

  • Pro

Organizations

@HPCE @LangProc @Zestylogic @flashlight-workshop @VCA-EPFL

Block or report ymherklotz

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
@AyaElAkhras
Aya ElAkhras AyaElAkhras
PhD Student in Computer and Communication Sciences

EPFL Switzerland

@phreppo
Francesco Parolini phreppo
Static analysis software engineer. Making software more secure (WIP)

Meticulous London, UK

@dwRchyngqxs
Quentin Corradi dwRchyngqxs
PhD student, working on HLS and fuzzing stuff

France

@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrücken

@fangyi-zhou
Fangyi Zhou fangyi-zhou
Software Engineer | Programming Language Researcher en.pronouns.page/she&they

@facebook London, UK

@ddevault
Drew DeVault ddevault
I write code

SourceHut Amsterdam

@AlexDalt
Alex Dalton AlexDalt
All personal projects on GitLab: https://gitlab.com/AlexDalton
@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@rougier
Nicolas P. Rougier rougier
Researcher in computational and cognitive neuroscience supporting open source, open access and open science.

@INRIA Bordeaux, France

@adityarajagopal
Aditya Rajagopal adityarajagopal
PhD Student in the Intelligent Digital Systems Group (iDSL) at Imperial College London.

Imperial College London London

@jtristan
John Tristan jtristan

Amazon United States

@kumasento
Ruizhe Zhao kumasento
Linking fire @deepmind

@deepmind Firelink Shrine

@kelloggm
Martin Kellogg kelloggm
Assistant Professor at the New Jersey Institute of Technology. I work on making software verification practical for developers.
@MattWindsor91
Matt Windsor MattWindsor91
Views my own. Repositories owned by me, or contributions made outside of my work, are not endorsed by (or indicative of the views of) my employer.

Anaplan York, United Kingdom

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@M1LL3RB0Y
Tom Miller M1LL3RB0Y
Final Year EIE student at Imperial College London
@imciner2
Ian McInerney imciner2
Research Software Engineer in the Department of Mechanical Engineering at Imperial College London

Imperial College London London. UK

@wilbowma
William J. Bowman wilbowma
Paren-wielding meta-theorist.
@diorga
Dan Iorga diorga

Qualcomm Cambridge

@drheli
He Li drheli

University of Cambridge

@achlipala
Adam Chlipala achlipala
Researcher in tools and platforms to help do niftier things with software and hardware

MIT Cambridge, MA

@tobhil98
Toby Hillier tobhil98

Imperial College London

@oisdk
Donnacha Oisín Kidney oisdk
Computer science PhD student at Imperial College London.

Cork, Ireland

@EdwardHarriss
Ed Harriss EdwardHarriss
Imperial College Computer Engineering MEng Graduate, RPA Developer and Arbitrage Strategist

Imperial College London London

@satnam6502
Satnam Singh satnam6502
Functional programming, hardware design and formal specification and verification.

Los Altos, California, United States

@nadeshr
Nadesh Ramanathan nadeshr

Imperial College London United Kingdom

@johnwickerson
John Wickerson johnwickerson
Associate Professor, Department of Electrical and Electronic Engineering, Imperial College London

Imperial College London Cambridge/London, UK

@eddiehung
Eddie Hung eddiehung

@FPGeh / University of British Columbia Vancouver, Canada

@jianyicheng
Jianyi Cheng jianyicheng
Research Associate at the University of Cambridge Computer Laboratory

University of Cambridge London, UK

@stemmr
Arthur Stemmer stemmr
Prancing 🏇 Dancing ✨Neuromancing 🤖

Eng @ Iconic Works Paxos, Greece

@ZipCPU
Dan Gisselquist ZipCPU

Gisselquist Technology, LLC

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@ahogg
Aidan O. T. Hogg ahogg
Lecturer/Assistant Professor in Computer Science at the Centre for Digital Music (C4DM) at Queen Mary University of London

Imperial College London London

@daneden
Daniel Eden daneden
Designer, writing & thinking about Design Systems.

@facebook London, UK