Skip to content
View drwadu's full-sized avatar
13 followers · 83 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Block or report drwadu

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@tweag
Tweag tweag
Software Innovation Lab
@kiranandcode
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance,

Singapore

@aannleax
Alex Ivliev aannleax
@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formally verified formal methods.

CISPA Helmholtz Center for Information Security Saarbrücken

@mgree
Michael Greenberg mgree

Stevens Institute of Technology New Jersey

@rparac
Roko Parac rparac
@lucascarrr
Lucas Carr lucascarrr
@joshuacnf
Honghua Zhang joshuacnf
@mmlind
matt mmlind
AI, NLP, cloud, parallel computing, distributed systems. Contact me if you have an interesting project, contract work, or job where I can contribute.

Frankfurt, Germany

@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@doctorn
Nathan Corbyn doctorn
Doctoral Computer Science student at the University of Oxford

UK

@xldenis
Xavier Denis xldenis
formal verification hacker
@marcusrossel
Marcus Rossel marcusrossel

Barkhausen Institut Dresden, Germany

@kiliankoe
Kilian Koeltzsch kiliankoe
Public transport and instant messaging are my jam. Playing with robots @wandelbotsgmbh. he/him

Wandelbots GmbH Dresden, Germany

@slotThe
Tony Zorman slotThe
Mathematics PhD student, Haskell and Emacs devotee, @xmonad maintainer. I like free software. More personal projects at gitlab.com/slotThe
@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@kaanunalan
Kaan Unalan kaanunalan
@ariesoeteman
Arie Soeteman ariesoeteman
@xnning
Ningning xnning
Types are all you need.

University of Toronto

@ruuda
Ruud van Asseldonk ruuda

The Netherlands

@MatthiasNickles
Matthias Nickles MatthiasNickles

Europe

@damianoazzolini
Damiano Azzolini damianoazzolini
Assistant Professor (RTD-a) at University of Ferrara.

University of Ferrara Italy

@marklaw
Mark Law marklaw
@Tamele96
Tamele Tamele96
Electronical Engineering Student from Austria, Vienna, with primary interest in coding.

Vienna

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@tsoding
Tsoding tsoding
Recreational Programming
@tlyphed
Tobias Geibinger tlyphed

TU Wien

@RichardEvans
Richard Evans RichardEvans

Oxford

@diskettmann
Pascal Kettmann diskettmann
@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@osa1
Ömer Sinan Ağacan osa1
I like programming languages and compilers. Working on @dart-lang at @google.

Google London

@luciekaffee
Lucie-Aimée Kaffee luciekaffee
Applied Policy Researcher at Hugging Face; everywhere as @frimelle

Hugging Face

@doerthe
doerthe
@matzemathics
matzemathics
@hstrass
Hannes Straß hstrass
@gorczyca
Piotr Gorczyca gorczyca

Dresden

@alexl4123
alexl4123
A student of the Vienna University of Technology. Alexander Beiser

Vienna university of technology Austria

@davidar
David A Roberts davidar

Australia

@SHoltzen
Steven Holtzen SHoltzen

Northeastern University Boston, MA

@codyroux
codyroux
@alviano
Mario Alviano alviano
@mrzool
Mattia Tezzele mrzool
low-tech proponent

Deutsche Filmakademie e.V. Berlin

@Wilfred
Wilfred Hughes Wilfred
PL enthusiast, Emacs addict, and an advocate for human factors.

Bay Area, USA

@rmcelreath
Richard McElreath rmcelreath

Max Planck Institute for Evolutionary Anthropology Leipzig, Germany

@loic-p
Loïc Pujet loic-p
@shnarazk
Narazaki, Shuji shnarazk
Ph.D. of Eng., developing SAT solvers, 🎄Advent of Code: 5️⃣0️⃣0️⃣⭐️⭐️. 🩷Helix/Lean4/Nixpkgs/Rust/Zed, and Modified Engram ⌨️layout on Corne/Ferris.

a part-time coder Japan, Asia

@aaronabebe
Aaron Abebe aaronabebe

okio.ai Vienna

@patrik999
Patrik Schneider patrik999
Research Scientist at Siemens T, Germany and TU Wien with focus on Knowledge Graphs / Semantic Web / Stream Reasoning.

Siemens AG and TU Wien Munich

@Salt-Factory
Simon Vandevelde Salt-Factory
Jack of all trades, master of none. I'm not active on GitHub, more on GitLab.
@lily-mara
Lily Mara lily-mara
sometimes i write rust

@OneSignal San Francisco, CA