About
Blog
Projects
Research
Grants
Impossibilities in Succinct Arguments: Black-box Extraction and More