University of Oxford Department of Computer Science

Natasha Yogananda Jeppu

Personal photo - Natasha Yogananda Jeppu

Natasha Yogananda Jeppu

Doctoral Student

Student, Balliol College

Themes:

Automated Verification

Interests

Formal Verification

Machine Learning

Supervisors

Daniel Kroening

Back to Top