Skip to content

@logsem Logic and Semantics @ Aarhus University

@kayceesrk
KC Sivaramakrishnan kayceesrk
CTO @tarides, @ocaml core developer, CS Professor with an interest in concurrency and correctness at all levels.

Tarides and IIT Madras Chennai, India

@sun-jacobi
Jia sun-jacobi
Interest ∈ {PL, Compiler, HPC}

Kyoto University Japan

@hei411
Hei Li hei411
@Salzfeld
Yantian Ding Salzfeld
M.Sc. Student in Computer Science @ AU

Aarhus University Aarhus

@jiangsy
Shengyi Jiang jiangsy
@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA. Avatar: (c) Cafenated, Berkeley, CA. https://cafenated.myshopify.com

Chapman University Orange, CA

@hu8813
hüseyin kaya aydin hu8813

Vienna, Austria

@abdullah-azab
abdullah azab abdullah-azab
software engineer
@YiqiXu
Yiqi Xu YiqiXu
@minghongx
Minghong Xu minghongx

Amsterdam, Universiteit van

@slerpyyy
Aaron Bies slerpyyy
coder • demoscener • shader artist • university student

Saarland University Germany

@LibertasSpZ
LibertasSpZ
@klarteno
carneyo paul klarteno
@hhalvors
Hans Halvorson hhalvors
aspiring logician and philosopher of science

Princeton University

@linusboyle
Zhilei Han linusboyle
PhD student @ Tsinghua University. Research on formal verification.

Tsinghua University Beijing, PRC

@elefthei
Lef Ioannidis elefthei
PhD candidate at Penn working in verification and programming languages.

University of Pennsylvania Philadelphia, PA

@wine99
Zijun Yu wine99
Life is amazing, I learn everything!
@haselwarter
Philipp G. Haselwarter haselwarter
Researcher in programming languages, logic, cryptography.

Aarhus University

@Tridu33
Tridu33
tridu33.github.io
@tomtomjhj
Jaehwang Jung tomtomjhj
.__________.
@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@coq-community Vietnam

@abizjak
Aleš Bizjak abizjak

Aarhus, Denmark

@co-dan
Daniel Frumin co-dan

Groningen

@oneofvalts
Abdullah Uyu oneofvalts
@shpark
Seonghyun Park shpark

Seoul, Korea

@hoheinzollern
Alessandro Bruni hoheinzollern
@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@valoran-M
Valoran valoran-M
Ocaml <3
@JuneRousseau
June Rousseau JuneRousseau
CS Ph.D Student @logsem at Aarhus University
@Gabaa
Gabaa
@AYUSHMIT
aapp AYUSHMIT

USA

@tkersey
Tim Kersey tkersey
If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich

@thisisartium Los Angeles, CA

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

CISPA Helmholtz Center for Information Security Saarbrücken

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

Chicago, IL

@JeffCarpenter
Jeff Carpenter JeffCarpenter

Canada

@jaschdoc
Jakob Schneider jaschdoc
Computer science student at Aarhus University
@beike-zh
beike-zh
@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@Hughshine
Xuyang Li Hughshine
FM, SE, PL, CS, HCI. 1st year Phd Student @Purdue.

West Lafayette

@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus