Giulio De Pasquale
Senior Security Researcher at Roku
Cambridge, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolGiulio De Pasquale is a Senior Security Researcher with 11 years of experience blending deep academic research and industry practice across Apple, Microsoft, and now Roku. He holds a PhD in Computer Science from King’s College London and has a strong track record in reverse engineering, program analysis, and deobfuscation—work that spans visiting research roles at UCL and UC Santa Barbara. Giulio’s contributions to open-source tooling include refining the Nickel configuration language’s type system to catch unbound type variables, reflecting his attention to language-level correctness and reproducibility. He moves seamlessly between offensive research (binary deobfuscation, fuzzing IoT devices) and practical tooling that improves error reporting and program analysis. Colleagues know him for turning painful, ad-hoc analyses into reproducible methods and for digging into the subtle interactions between type systems and real-world security problems.
11 years of coding experience
4 years of employment as a software developer
Bachelor of Engineering - BE, Computer Engineering, Bachelor of Engineering - BE, Computer Engineering at Politecnico di MilanoDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at King's College London
Italian, English
Stackoverflow
438reputation
63kreached
0answers
18questions
Github Skills (22)
parser10
parsing10
parse10
error-handling10
rust10
configuration-language10
testing9
typescript9
typesc9
type-system9
nix7
configurations7
configuration-management7
configuration-file7
bit-vector6
Programming languages (27)
Github contributions (5)
tweag/nickel
Sep 2021 - Sep 2021
Better configuration for less
Role in this project:
Back-end Developer
Back-end DeveloperContributions:27 commits, 4 PRs, 2 pushes in 2 days
Contributions summary:Giulio primarily worked on implementing and refining the Nickel configuration language parser. They added functionality to detect and report unbound type variables, which involved modifying the grammar, parser utilities, and error handling mechanisms. The user also added tests to validate the correct identification of unbound type variables. Their contributions demonstrate a focus on improving the language's type system and error reporting capabilities.
configurationinfrastructureconfignickeldotfiles
Phish-n-Chips/slides
Feb 2020 - Jan 2022
Contributions:6 commits, 1 push in 1 year 11 months
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.