Michalis Pardalos
PHD Candidate
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolMichalis Pardalos is a PhD candidate in Electronic and Information Engineering at Imperial College London with a decade of software engineering experience focused on the hardware–software boundary, functional programming, and language design. He combines research rigour—evidenced by UROP work modeling SQL transaction isolation with Alloy and OCaml—with industry experience building drivers and firmware for networking ASICs at Nokia. Skilled in Haskell and Python, he also has practical web development experience using C#, Umbraco and VueJS, reflecting versatility across stacks. Based in London, he brings a systems-minded approach to problems that span low-level firmware to high-level language semantics, and enjoys exploring how functional paradigms can inform hardware-adjacent software design.
10 years of coding experience
1 year of employment as a software developer
International Baccalaureate, HIGH SCHOOL/SECONDARY DIPLOMAS AND CERTIFICATES, 38, International Baccalaureate, HIGH SCHOOL/SECONDARY DIPLOMAS AND CERTIFICATES, 38 at Costeas Geitonas SchoolMaster of Engineering - MEng, Electronic and Information Engineering, Master of Engineering - MEng, Electronic and Information Engineering at Imperial College London
English, German, Greek, Spanish
Github Skills (167)
language-server-protocol10
client-library10
stack10
linux10
json10
ghc10
ide10
language-server10
javascript9
emacs-lsp9
emacs-lisp9
https-client9
preprocessor9
emacs9
golang9
Programming languages (16)
Github contributions (5)
Darrekt/SOMAS2020
Dec 2020 - Jan 2021
Main repository for SOMAS2020 Coursework
Contributions:1 PR, 59 pushes, 16 branches in 21 days
mpardalos/Kima
Aug 2018 - Aug 2021
Contributions:471 commits, 116 pushes, 31 branches in 3 years
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.