- ๐ Iโm currently living in Nottingham, United Kingdom.
- ๐จโ๐ป Iโm currently working as a Software Engineer at Capital One.
- ๐บ Iโm a big beer fan.
- ๐ง I can chat your ear off about electronic music.
- ๐ I have specialities in automated reasoning and software security.
- ๐งช I like testing cloud architectures.
jossmoff / svcomp-badges Goto Github PK
View Code? Open in Web Editor NEWA shield.io endpoint for displaying formatted SVCOMP result badges