Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Olga Petrovska
Has grant
Teaching Fellow | Head of Final Year
Research Interests
Explore related searches
Recent Grants
Grant: Close
Computing with Infinite Data
Open Date: 2017-04-01
Close Date: 2022-03-31
Grant: Close
Interactive Theorem Proving for System Verification and Program Extraction
Open Date: 2016-09-30
Close Date: 2020-07-30
Articles (11)
Year:
2026
Year:
2026
Year:
2026
Year:
2026
Year:
2026
Year:
2025
Year:
2025
Year:
2025
Year:
2025
Year:
2025
Year:
2025
Collaborators (8)
Raymond Pettit
Associate Professor of Computer Science
University of Virginia
Oana Andrei
Senior Lecturer (Associate Professor)
University of Glasgow
Lee Clift
Teaching Fellow
University Of Strathclyde
Ebrahim Rahimi
Open University
Bruno Cipriano
Universidade Lusófona de Humanidades e Tecnologias
Ryan Dougherty
Assistant Professor
United States Military Academy
Lina Battestilli
Full Teaching Professor
North Carolina State University
Richard Glassey
KTH Royal Institute of Technology
Make your next move.
Prepare your application
Review drafts before you send them.