Dr Petros Papapanagiotou

Senior Scala Engineer

About

🔹 I am a Senior Scala Software Engineer.

🔹 I mainly work with the Backend Team at Suprnation.

I do remote work for clients internationally, with a focus on functional and hybrid programming, mainly using Scala. I have over 10 years of experience developing in Scala, both in the academic and engineering part of my career.

The stack with which I work on a daily basis includes the following:
ScalaCatsDoobieCreated with Sketch.AkkaSpringHibernateDockerKubernetes

Other relevant libraries and tools that I have worked with in the recent past:
FS2 http4sCreated using FigmaApache KafkaMongoDBamong others…

I have a background in academic applied research & development and innovation, able to bring in novel ideas from state-of-the-art techniques in Artificial Intelligence, Workflow Management, and Formal Verification.


Short CV

2022-today

Senior Scala Engineer

Backend Team
Suprnation

2022-today

Software Engineer

Contractor

Working remotely for clients internationally.

2019-2022

Chancellor's Fellow

in Digital Technologies
School of Informatics
University of Edinburgh, UK

2014-2018

Project Lead

WorkflowFM

Received extensive training on business development and entrepreneurship, exhibited and pitched at various events (e.g. Demofest 2014, EIE'15, EIE'16), and won prizes in 2 competitions among other achievements.

2008-2009

Private

Research and Informatics Corps
Greek Army, Greece

2006-2007

MSc

Artificial Intelligence with Distinction
School of Informatics
University of Edinburgh, UK

Thesis: On the automation of Inductive Proofs in HOL Light

2001-2006

Undergraduate degree

BSc(Hons) equivalent
Department of Informatics and Telecommunications
University of Athens, Greece

Personal

I live in Edinburgh, Scotland. I was born in Athens, Greece which I like to visit as often as possible.

I enjoy listening to audiobooks, mainly sci-fi –see Goodreads for more–.

I play casual basketball regularly. Contact me if interested to join!