URL details: davidpichardie.github.io/research.html

home > domains > davidpichardie.github.io > davidpichardie.github.io/research.html

URL title: David Pichardie - Home page
URL paragraphs: The main topic of my research is the design of reliable software using provably sound formal methods. Among the various formal methods that exist, I am specially interested by two of them: static analysis and proof assistant. Static analyses are automatic
URL last crawled: 2023-04-13
URL speed: 0.375 MB/s, downloaded in 0.040 seconds

open external url

We found no external links pointing to this url.