Yurii Kostyukov's following
- Adrien ChampionAdrienChampion
- Grigory Fedyukovichgrigoryfedyukovich
- weidenb
- Philipp Ruemmerpruemmer
- Arie Gurfinkelagurfinkel
- Higher-Order Program Verificationhopv
- Francesco Pontiggiafrancescopont
- ahumenberger
- usi-verification-and-security
- Waterloo Formal Methods Lab (WatForm)WatForm
- Justine Tunneyjart
- naokikob
- Yohan BOICHUTyohanboichut
- Hiroshi Unnohiroshi-unno
- Philipp Ruemmeruuverifiers
- Ryosuke SATOryosu-sato
- Aleksandr Misonizhnikmisonijnik
- Dmitry Boulytchevdboulytchev
- Dmitry Mordvinovdvvrd
- Mikhail KosticynMchKosticyn