🐓
Proving Large Programs in Coq
PhD candidate at CISPA.
Working on formally verified formal methods.
-
ENS Rennes, Saarland University, CISPA
- Saarbrücken
- https://acorrenson.github.io/
Block or Report
Block or report acorrenson
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Nicolas Amat
nicolasAmat
Postdoctoral researcher at IMDEA Software Institute | Participant in the Model Checking Contest
IMDEA Software Institute Madrid, Spain
Jan-Paul Vincent Ramos-Dávila
janpaulpl
programming language theory enthusiast
Cornell University United States
Rahel
dariapauli
Just a feminist/comic artist/DJ/web developer.
Based in Saarland, Germany 👩
Saarbrücken
Johannes Hostert
JoJoDeveloping
PhD Student @ ETH Zurich, since October 2023
ETH Zurich Zürich, Switzerland
Ayoub HAIDA
Mephistopheles-0
Data scientist and ML enthusiast with an MSc in Stochastic Modeling and Statistics. Passionate about using data to drive insights and solve real-world problems.
Artificial Intelligence Finance Institute Morocco
Juan Felipe Monsalve
jfmonsa
6th Semester Systems engineering student at Univalle (🇨🇴)
Valle del cauca, Colombia
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
Charles de Haro
Chaarlesss
PhD Student in Static Analysis and Abstract Interpretation
École Normale Supérieure Paris, France
Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
Kartik Singhal
k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Chicago, IL
Yann Herklotz
ymherklotz
Postdoc at EPFL in the Verification and Computer Architecture lab.
EPFL Lausanne
Paul Adam
pauladam94
Computer science students - Master at ENS Rennes - France.
Interested in theoretical study of programming languages
France
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@coq-community Vietnam
PreviousNext