Service

Reviews

I have reviewed around 17 papers, for:

1. Communications of the ACM
2. Transactions on Algorithms
3. NeurIPS
4. ICLR
5. SAT
6. Operations Research
7. TACAS

Acknowledgments

I have been acknowledged in:

1. Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols
2. Sudoku number of graphs
3. Lower bounds for set-blocked clauses proofs
4. Borges and the Aesthetics of Computation
5. Effective Auxiliary Variables via Structured Reencoding