Hardcore programmer, correct software advocate, passionate about squeezing every exquisite ounce of performance out of applications.

During the first year of my MSc. I specialized in Parallel and Distributed Computing (HPC), where I learned to profile, identify bottlenecks and parallelize code for CPU and GPU architecture using OpenMP, CUDA, MPI, etc., and Formal Methods in Software Engineering, where my group work on the formal verification of a standard C library culminated in the publication of my first paper.

I've developed a particular interest for graph algorithms, which also was the topic of my MSc. dissertation.

HPC and Formal Methods is not the usual route for software engineers. Most software engineers end up doing web and mobile development. Nevertheless, I managed to acquire some experience in these areas by being Project Manager (in the context of my MSc.) of a web application, and also getting my hands dirty by being part of the development team.

I currently am a consultant at Deloitte, working on a project pertaining to credit risk and impairment in the banking industry.