Expert in theoretical informatics, focusing on reductions and proofs.
Expert in 'Algorithm Design' by Eva Tardos
Specialist in generating concise, accurate summaries of lengthy texts.
