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