jonnadal
I'm interested in formal verification and am working on the @stateright model checker for verifying the correctness of distributed systems.
jonnadal's Followers
- flaviopavimWhiteHats
- hvickychoudhary
- senthil28
- Ruby-luo-0309Karolinska Institutet
- leetcode-1533Earth
- blockbuilder97
- cannadayr
- karthiv
- rasouli
- sumanshil
- vitorguidiGoogle
- HaoYang670@nvidia
- goodboyeverywhere
- cardoso@SecurityScorecard
- willpriceBristol, UK
- cwgoesγαλαξίας κύκλος
- diramboraNairobi,Kenya
- cloudfreexiao
- AlexiaChenFreelancer
- lichuangGuangzhou
- jliu9
- younes-io
- cliffordfajardo@linkedin
- Cjen1
- willprice-oracle
- d3v3l0Munich
- gabrielgiussiBuenos Aires, Argentina
- yenwelEvergem
- chagui@Datadog
- seanchen1991@informalsystems
- nwjsmith@wealthsimple
- dolphin007xStudent
- YeshwanthKMyeshwanth2307@gmail.com
- piotr-roslaniec
- drmingdrmeropenacid
- nmrshll@Unbox-infinity