Software Engineer with an MEng from the National Technical University of Athens and a MSc from UCL
Currently Research Assistant at Programming Languages Lab, Peking University
I have a strong background in software systems and I am passionate about DevOps,
Cloud Computing, Software Verification , Genetic Software Optimisation
and LLM-assisted Code Reasoning in NL