Skip to content
View haselwarter's full-sized avatar
25 followers · 21 following

Organizations

@Andromedans

Block or report haselwarter

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
@tornado80
Amirhosein Rajabi tornado80
SECCLO@Aalto&DTU

Aalto University Helsinki, Finland

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

Xanadu Canada

@SeshatCZ
SeshatCZ

Czech republic

@pamellies
Paul-André Melliès pamellies

IRIF, CNRS, Université Paris Cité, INRIA Paris, France

@ahuoguo
Alex Bai ahuoguo

New York University

@simhu
Simon Huber simhu
@Neustradamus
Neustradamus Neustradamus
@dragospe
Peter Dragos dragospe
@dph22
Diogo Pereira Henriques dph22
Living/working between East & West, North & South: sustainable urbanism, architecture, art, design, software & higher education +ICT Future: Web HCI UX VR ML AI

Hong Kong

@d3v3l0
d3v3l0

Munich

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@k4rtik
Kartik Singhal k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.

Chicago, IL

@danoneata
Dan Oneață danoneata

Romania

@park-sewon
Sewon Park park-sewon

Kyoto University Kyoto, Japan

@Poopooracoocoo
Poopooracoocoo

down under

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@co-dan
Daniel Frumin co-dan

Groningen

@rdavison
Richard Davison rdavison

New York, New York

@nmvdw
Niels van der Weide nmvdw
@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@Kuznetsov2100
Kuznetsov2100
@wetneb
Antonin Delpeuch wetneb
Working on Mergiraf, the non-violent Git merge driver.

Leipzig / Wurzen, DE