Andrea Cerone
Staff Research Scientist at Plasma
England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolAndrea Cerone is a Staff Research Scientist and blockchain protocol engineer with eight years of experience bridging academic research and production systems, currently focused on scaling Tezos Layer2 solutions. With a PhD and postdoctoral work in distributed computing and formal methods, he brings award-winning publications (h-index 8) and deep expertise in concurrency, verification, and program logics to practical protocol design. He is a functional-programming advocate with commercial experience in OCaml, Scala and Elixir, and production familiarity across Python, TypeScript and Rust. Andrea pairs hands-on engineering—mentoring teams and delivering resilient, automated solutions—with cloud operational breadth evidenced by three AWS associate certifications. Beyond code, he regularly communicates complex ideas at international conferences, translating formal theory into deployable, high-performance blockchain systems.
8 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at Trinity College DublinMaster of Science (M.Sc.) Computer Science, Master of Science (M.Sc.) Computer Science at Sapienza Università di Roma
Italian, English, Spanish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (13)
rust10
fuel10
blockchain10
interpreter8
tezos6
ethereum5
sequencer5
narwhal5
rpc4
ocaml4
consensus3
evm3
grpc3
Programming languages (6)
Github contributions (5)
baking-bad/sequencer
Jan 2024 - Sep 2024
PoC of a distributed sequencer network for Tezos smart rollups, based on Sui's Narwhal & Bullshark consensus implementation
Contributions:2 PRs, 1 push, 1 branch in 7 months
bullsharkconsensusnarwhalrollupsequencer
acerone85/fpinscala
Jan 2020 - Apr 2020
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
Contributions:2 PRs, 20 pushes, 2 branches in 2 months
gleamfunctional-programmingdeclarative-programmingcode-exercisesscalajs
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.