About Me

I'm a PhD student in the Department of Computer Science and Statistics at Trinity College Dublin under the supervision of Prof. Vasileios Koutavas. In collaboration with Lero, my research focuses on the formal reasoning and representation of self-adaptive security systems

Employment History


Educator Trinity Walton Club (2017-Present)

Trinity Walton Club offers post-primary students a unique hub to connect with like-minded students and STEM role models. We develop and deliver an excellent STEM education programme, aimed at increasing students self-efficacy and performance in STEM.

Teaching Assistant/Demonstrator SCSS, Trinity College Dublin (2015-Present)
  • Data Structures and Algorithms
  • Introduction to Programming
  • Introduction to Computing
  • Processing
Software Consultant Zuhlke Engineering, London (2014-2015)

description

Software Developer CS-Technologies, Malta (2011-2014)

description

Teaching Assistant Dept. Computer Science, University of Malta (2011-2012)
  • Formal Languages and Automata
  • Semantics of Programming Languages
  • Computability and Complexity

Research Interests


Personal Interests

programming

Programming

travelling

Travelling

running

Running

hiking

Hiking

diving

Diving

cycling

Cycling


Teaching


coming soon

Publications


coming soon

Workshops

FMG 2015 Separation-Based Reasoning for Message-Passing Programs Slides
Lero 2015 Self-Adaptive Security Systems Slides, Poster

Get in Touch


Rm 112, LLyods Institute
Trinity College Dublin
Ireland

+353 0834802254

bordaa@tcd.ie