Formal specification and verification of hardware, especially for security and privacy.
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
Type Theory Forall Podcast #13 - C/C++, Emacs, Haskell, and Coq. The Journey (John Wiegley)
3 projects | reddit.com/r/ProgrammingLanguages | 23 Dec 2021
There's an ongoing effort to rewrite Principia Mathematica using Coq
5 projects | reddit.com/r/math | 3 Dec 2021
We Need Simpler Types (speculations on what can be improved in future type systems and on erasing the boundaries between types and values)
2 projects | reddit.com/r/ProgrammingLanguages | 14 Sep 2022
Formally Verifying Rust's Opaque Types
2 projects | news.ycombinator.com | 1 Aug 2022
Interested in pursuing a PhD in Formal Methods
1 project | reddit.com/r/formalmethods | 29 Jul 2022