Skip to content
View acorrenson's full-sized avatar
🐓
Proving Large Programs in Coq
🐓
Proving Large Programs in Coq
144 followers · 257 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@codeanonorg
Block or Report

Block or report acorrenson

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
@euisuny
Irene Yoon euisuny
strongly normalizing

Paris

@nicolasAmat
Nicolas Amat nicolasAmat
Postdoctoral researcher at IMDEA Software Institute | Participant in the Model Checking Contest

IMDEA Software Institute Madrid, Spain

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@LPCIC
λProlog and the Calculus of Inductive Constructions LPCIC
Let's boost λProlog to implement an elaborator for CIC!
@XFabian
Xaver Fabian XFabian

Germany

@creusot-rs
Creusot Rust Verifier creusot-rs
A flexible, performant verifier for Rust programs
@giltho
Sacha Ayoun giltho
PhD Student in software verification at Imperial College London under the supervision of Prof. Philippa Gardner and @PetarMax

Imperial College London

@xldenis
Xavier Denis xldenis
phd student working on Rust verification. provably incorrect

ETHZ Zurich/Paris

@AngelinaGoebl
Angelina Göbl AngelinaGoebl
@HaoyiZeng
Zeng Haoyi HaoyiZeng
@fumseckk
Grégoire Maire fumseckk

ENS Rennes Rennes

@Aqissiaq
Åsmund Kløvstad Aqissiaq
@NorineCoenen
Norine Coenen NorineCoenen
@MatCos
Matthias Cosler MatCos
@MalteSchledjewski
Malte Schledjewski MalteSchledjewski

Germany

@frederikschmitt
Frederik Schmitt frederikschmitt
@YaZko
Yannick Zakowski YaZko
@dariapauli
Rahel dariapauli
Just a feminist/comic artist/DJ/web developer. Based in Saarland, Germany 🇩🇪👩

Saarbrücken

@Aznkad
Thibaut Antoine Aznkad
Student in computer science at ENS Rennes.

Rennes

@typst
Typst typst
Compose papers faster: Focus on your text and let Typst take care of layout and formatting.

Berlin

@fzaiser
Fabian Zaiser fzaiser
PhD student (computer science) at the University of Oxford
@sepideha
Sepideh Asadi sepideha
PhD in CS | SMT-based model checking

Validas AG Munich, Germany

@arthuraa
Arthur Azevedo de Amorim arthuraa
Postdoctoral researcher at Boston University.

Boston, MA, USA

@NikolajBjorner
Nikolaj Bjorner NikolajBjorner

Microsoft Research Redmond, USA

@ravenbeutner
Raven Beutner ravenbeutner
@gasche
Gabriel Scherer gasche
@SHoltzen
Steven Holtzen SHoltzen

Northeastern University Boston, MA

@ellieyhcheng
Ellie Y Cheng ellieyhcheng
@robbertkrebbers
Robbert Krebbers robbertkrebbers
Associate professor in Programming Languages. Most of my active git repos can be found at https://gitlab.mpi-sws.org/iris

Radboud University Nijmegen

@HermesMarc
Marc Hermes HermesMarc
Interested in constructive, paraconsistent logics and formal math.

Nijmegen

@adelaett
alain adelaett
@viperproject
Viper Project viperproject
Verification Infrastructure for Permission-​based Reasoning

ETH Zurich

@rindPHI
Dominic Steinhöfel rindPHI
I am a postdoctoral researcher and team leader of the InputLab spin-off at CISPA (Saarbrücken / Germany).

https://www.cispa.de/en Darmstadt, Germany

@andrejbauer
Andrej Bauer andrejbauer

University of Ljubljana Slovenia

@FastVM
FastVM FastVM
Organization for Fast Virtual Machines (MiniVM and Paka)
@ShawSumma
Shaw ShawSumma
@logsem
Logic and Semantics @ Aarhus University logsem

Aarhus, Denmark

@ejgallego
Emilio Jesús Gallego Arias ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Inria Paris

@chc-comp
chc-comp chc-comp
Constrained Horn Clauses Competition
@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

TON Foundation Dubai

@naim-mr
Naïm MOUSSAOUI REMIL naim-mr
Phd Student at École Normale Supérieure of Paris. Working on static analysis by abstract interpretation

École Normale Supérieure Paris

@felixridoux
felixridoux
@ymherklotz
Yann Herklotz ymherklotz
Postdoc at EPFL in the Verification and Computer Architecture lab.

EPFL Lausanne

@mgudemann
Matthias Güdemann mgudemann
professor for formal methods in computer science
@yforster
Yannick Forster yforster
Researcher in the Cambium Team at Inria Paris

Inria Paris

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

Chicago, IL

@decrn
Denis Carnier decrn

KU Leuven Belgium

@skeuchel
Steven Keuchel skeuchel

Vrije Universiteit Brussel Brussel, Belgium

@shwestrick
Sam Westrick shwestrick

Carnegie Mellon University Pittsburgh, PA

@DevdudeSami
Youssef Moawad DevdudeSami

Glasgow, UK