|￣￣￣￣￣￣￣￣￣￣￣|
Gianmaria Rovelli
|＿＿＿＿＿＿＿＿＿＿＿|
(\__/) ||
(•ㅅ•) ||
/ づ
ideas for a project ?
contact me at rovelli.gianmaria@gmail.com
Gianmaria Rovelli
|＿＿＿＿＿＿＿＿＿＿＿|
(\__/) ||
(•ㅅ•) ||
/ づ
ideas for a project ?
contact me at rovelli.gianmaria@gmail.com
CONTENTS
MANUAL
001. About
I'm a Computer Science graduate currently working as SDE I in the Network R&D Team at Amazon (AWS) in Dublin.
MSc at EPFL (GPA 5.6/6.0)
BSc at University of Bologna (GPA 29.4/30, top 5%)
Check out my full CV on LinkedIn (here).
002. Work Experience
002.1. AWS - SDE I
Network R&D Team, Dublin
[Oct 2025 - Present]
Improved production reliability by fixing latent race conditions in core networking services, increasing canary success rate from 88% to 99.8%
Built and shipped AWS Bedrock–based agentic infrastructure adopted by multiple teams to automate ticket analysis and operational diagnostics
Integrated rollback detection into internal tooling UI, delivering a production feature during an org-wide hackathon and winning Builder's Choice Award
Recognized as Infrastructure Bar Raiser for operational impact and incident reduction across teams
002.2. Qualcomm - Software Engineer
R&D ML Team, Cork
[Feb 2025 - Sept 2025]
Improved macro placement performance by up to 14× (3.5× average) using kernel fusion, caching, and numerical approximations
Extended DREAMPlace-based placement system with constraint-aware optimization for IO avoidance, center bias, corner crowding, and overlap reduction
Accelerated metric computation by 10× through refactoring and migration from Python to C++, leveraging graph-based structure and Python bindings
002.3. Qualcomm - Intern
R&D ML Team, Cork
[Jul 2024 - Oct 2024]
Integrated chip design workflows into open-source EDA toolchain for internal research usage
Profiled and optimized components in a 500K+ LOC VLSI codebase, improving toolchain performance and maintainability
003. Projects
You can check all my projects on GitHub (here).
003.1. JVM & Emulators
JVMCraft repo
Rust JVM
Passes ~90% of the Mauve test suite
Bytecode execution, threads, IO, networking, reflection
Runs Minecraft server + world generation
GC in progress (unstable under load) - final version not yet published, check the repo for updates
llama.rs
LLM inference engine (coming soon)
Rust-based LLM inference system
Structured AI-assisted development workflow
GameBoy Emulator repo
Playable emulator (yes you can play pokemon with it)
RISC-V Emulator repo
[BS thesis, University of Bologna]
GDB integration (breakpoints, stepping, register inspection)
Adopted as the official exam project for the Operating Systems course at University of Bologna
003.2. Systems & Tools
wl-screenshare repo
Use your old tablet as second monitor on Wayland
Server written in C, with a companion Android app
Streams the Wayland desktop to the Android client in real time
reda-erplacer repo
VLSI placement in Rust, porting DREAMPlace
DREAMPlace-inspired global placement tool, focused on simplicity and readability
Multi-threaded via Rayon
Custom Linux Kernel Page Cache
[CS-438, EPFL]
Leveraged eBPF to define flexible policies on top of existing kernel infrastructure
Achieved 25% speedup with common database access patterns
Simple Operating System repo
MIPS architecture
Process scheduling, memory management, syscalls, interrupt handling
003.3. Web & Scraping
Videogatherer repo
Scraping movies and TV series
Scrapes from Vidsrc.to, Flixhq.to and Watchseriesx.to
No longer active, developed for educational purposes only
56 stars on GitHub!
004. Skills & Tech Stack
Languages: C++, C, Java, Rust, Go, Python, Scala, Clojure, JS, TS
Technologies: CMake, Meson, Docker, GDB, AWS CloudWatch
Interests: Operating Systems, Compilers, Distributed Systems, Computer Architecture, Formal Verification
005. Hobbies
I play CTF competitions with Ulisse (here), the cybersecurity team at University of Bologna.
When boredom strikes, I do bug hunting on HackerOne (it's fun but frustrating!) (here)
I have a deep interest in mathematics, especially number theory and the distribution of primes.
Support my work: (here)
005.1. Mathematics
As a small curiosity, I discovered that in a particular infinite pyramid of integers, every row indexed by a triangular number is entirely free of primes — and it's provable with elementary algebra. (here)
The key insight: a row factors over the integers exactly when 1 + 8r is a perfect square — which is precisely the classical characterisation of triangular numbers.
As a bonus, the same pyramid recovers Euler's prime-generating formula n² + n + 41 on its left edge when counting by twos.