Personal profile

Research Interests

  • Programming languages and compilers
  • Logic and automated reasoning
  • Program verification and synthesis
  • Formal modelling


- 2023 - PhD thesis submitted for examination at The University of Edinburgh

- 2018 - MScR in Data Science, The University of Edinburgh

- 2005 - MSc in Computer Science, Eötvös Loránd University, Budapest, Hungary


Sándor Bartha is a Research Assistant in the AISec group  ( at The University of Edinburgh. He submitted his thesis earlier this year. Before starting his post-graduate studies, he worked as a software engineer for 11 years.


Dive into the research topics where Sandor Bartha is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or