Toggle navigation
TWText.com
TWText.com
faq
Contact US
Follow US
Ilya Sergey
ilyasergey
Very proud of my PhD student Kiran Gopinathan, whose work on verified probabilistic specifications of Bloom filters in Coq just got accepted to CAV'20. Besides being an impressive piece of
Read more