Highlights
- Pro
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formally verified formal methods.
ENS Rennes, Saarland University, CISPA Saarbrücken
Jinhua Wu
Hua-hana
PL | Formal Verification | Working on verified rust compiler
Shanghai Jiao Tong University