Marios Kogias
Assistant Professor at Microsoft
United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolMarios Kogias is an Assistant Professor at Imperial College London and a researcher with 13 years of software and systems engineering experience, currently also collaborating with Microsoft on research projects. He combines academic rigor from a PhD at EPFL with hands-on systems work spanning cloud infrastructure, search, and runtime languages—contributions include implementing lambda behaviours and promises in Microsoft’s experimental Verona runtime. His background includes internships at Google and CERN, leadership as CTO of a cloud IDE startup, and top-ranking academic performance in Greece, reflecting both practical delivery and strong theoretical grounding. Known for bridging research and production, he focuses on concurrent systems and developer-facing runtimes while continuing to translate research prototypes into validated implementations.
13 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Ecole polytechnique fédérale de Lausanneundergarduate, Computer Science, 9.36/10.0 (top 2%), undergarduate, Computer Science, 9.36/10.0 (top 2%) at National Technical University of AthensApolytirion, 19.9/20.0, Apolytirion, 19.9/20.0 at 4th High School Lamia, Greece
Github Skills (11)
lambda10
programming-language10
c-language10
language-design10
expression10
lambdas10
cprogramming-language10
expressions10
concurrency10
testing9
smart-pointers8
Programming languages (5)
Github contributions (5)
microsoft/verona
Mar 2021 - Aug 2022
Research programming language for concurrent ownership
Role in this project:
Back-end Developer
Back-end DeveloperContributions:5 reviews, 14 commits, 13 PRs in 1 year 5 months
Contributions summary:Marios contributed significantly to the `microsoft/verona` project, a research programming language. Their work involved implementing features related to lambda behaviours and promises, core functionalities within the Verona runtime. This included defining classes like `LambdaBehaviour`, `Promise`, and related supporting functions, and modifying the core `verona.h` file to integrate these features. Furthermore, the user wrote several functional tests to validate these new runtime features.
ownershipconcurrencylanguage-designprogramming-languageconcurrent
marioskogias/verona
Nov 2020 - Jul 2022
Research programming language for concurrent ownership
Contributions:100 pushes, 19 branches in 1 year 8 months
ownershiplanguage-designmojoprogramming-languageconcurrent
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.