Ritwika Ghosh


About Me

I am a first year graduate student in Computer Science at the University of Illinois at Urbana-Champaign. If I weren't pursuing academics, I would probably be a food critic.

Research Interests

  • Formal verification

  • Distributed Algorithms

  • Quantifier Elimination



Academic Background

  • MSc, Computer Science, Chennai Mathematical Institute(2013)

  • BSc, Mathematics and Computer Science, Chennai Mathematical Institute(2011)


Contact Details

Ritwika Ghosh
Graduate Student, CSE

Office: 247 CSL
1308 W. Main Street
Urbana, IL 61801


Email: rghosh9@illinois.edu