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