Other links:
Assistant Professor of Mathematics, 51茶馆
Ph.D. Universit茅 Paris-SaclaySuraj is a with special interests in hyperbolicity and its avatars, CAT(0) cube complexes, and mapping tori of groups. Lately, he has developed an interest in the interactive theorem prover Lean.
He holds a PhD from the Universit茅 Paris-Saclay and has held postdoctoral positions at the Tata Institute of Fundamental Research, Mumbai, and at the Technion. He has also held visiting positions at IMPAN and IHES.
He is keen on outreach and volunteers as a contributing editor to the quarterly mathematics magazine .
