Thomas Maroulis
Software Engineer at WhatsApp
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolThomas Maroulis is a software engineer based in London with 11 years' experience building backend systems and leading engineering teams across startups and large tech companies, currently working at WhatsApp/Meta. He has deep interests in compilers, type systems and static/dynamic program analysis, and contributes to the Erlang/OTP Dialyzer tool—adding incremental analysis, better type/behaviour dependency tracking, and deterministic build fixes for a widely used runtime. Thomas combines hands-on systems and infrastructure work (microservices, CI, Docker, AWS) with leadership roles in trading and product teams, bringing both architectural judgment and day-to-day engineering discipline. Colleagues describe him as pragmatic about developer productivity—he’s implemented CI/CD pipelines and PLT compression optimisations that materially speed feedback loops.
11 years of coding experience
6 years of employment as a software developer
Master of Science (MSc) Computing with specialism (Software Engineering), Master of Science (MSc) Computing with specialism (Software Engineering) at Imperial College LondonMaster of Engineering (MEng) Electrical and Computer Engineering, Master of Engineering (MEng) Electrical and Computer Engineering at National Technical University of Athens
English, Greek, German
Github Skills (12)
type-system10
erlang10
dialyzer10
program-analysis9
source-code-analysis9
compiler-design9
analyse9
code-analysis9
functional-programming9
erlang-otp8
testing7
build-automation6
Programming languages (10)
Github contributions (5)
erlang/otp
Dec 2021 - Sep 2022
Erlang/OTP
Role in this project:
Back-end Developer
Back-end DeveloperContributions:20 reviews, 16 commits, 32 PRs in 9 months
Contributions summary:Thomas primarily contributed to the Dialyzer tool, focusing on enhancing its analysis capabilities. Their work involved improving the tracking of dependencies related to types and behaviours, specifically within the Erlang/OTP codebase. They also implemented an incremental analysis mode, optimized PLT file compression, and fixed several bugs related to spec validation and behaviour checking. Furthermore, the user was responsible for addressing issues related to deterministic builds and ensuring the correct handling of file paths.
gleamerlangbeamerlang-otpelixir
TD5/visualfsharp
Sep 2018 - Oct 2018
Fork for adding let! ... and! ... syntax
Contributions:171 pushes, 3 branches, 1 tag in 1 month
let
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.