Adrien Ghosn
Senior Researcher at Microsoft
United Kingdom
Summary
👤
Senior🎓
Top SchoolAdrien Ghosn is a Senior Researcher at Microsoft with 12 years of experience at the intersection of systems, programming languages, and security, holding a PhD from EPFL. His work targets real-world trust problems—supply-chain attacks, malicious libraries, and untrusted kernels/hypervisors—by combining programming-language abstractions with hardware security features such as SGX, TDX, MPK, SEV-SNP and CHERI. He has deep expertise in compiler/runtime design, hardware-software co-design, and microkernel/hypervisor internals, and spent his academic career extending languages to protect sensitive code and data from privileged or third-party components. Practically minded and research-driven, Adrien has moved from a strong academic foundation and Google internship to multi-year research roles at Microsoft in Cambridge, where he translates novel ideas into deployable protections for modern software stacks. An often-overlooked strength is his fluency across levels of the stack—hardware, OS, and language runtimes—enabling holistic solutions that adversaries find hard to evade.
12 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at EPFLComputer Science, Computer Science at Carnegie Mellon University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (15)
programming-language8
sbt8
java8
aot8
health8
graalvm7
compiler6
scalameta6
scala6
sgx4
go3
latex2
nvim1
query-language1
meta1
Programming languages (8)
Github contributions (5)
aghosn/verona
Nov 2021 - Jan 2023
Research programming language for concurrent ownership
Contributions:6 PRs, 269 pushes, 28 branches in 1 year 1 month
ownershippolyglotconcurrencylanguage-designmojo
epfl-dcsl/go
Oct 2017 - May 2019
The Go programming language
Contributions:26 PRs, 214 pushes, 32 branches in 1 year 7 months
golanggocompilerprogramming-languageinterpreter
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.