Personal profile

Research Interests

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

Qualifications

- 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

Biography

Sándor Bartha is a Research Assistant in the AISec group  (https://www.macs.hw.ac.uk/aisec/) 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.

Fingerprint

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