Department of Computer Science
Computational Foundry
Swansea University Bay Campus
Fabian Way
Crymlyn Burrows
Swansea SA1 8EN
United Kingdom

Email: olga.petrovska
@ swansea.ac.uk

Hello World! My name is Olga Petrovska.

Currently I am a PhD student at the Department of Computer Science, Swansea University under the supervision of Dr Ulrich Berger. My research interests include:

  • Logic
  • Proof theory
  • Program extraction

Learn more

Skip to toolbar Log Out