Luca Negrini
Assistant Professor (non-tenure) at Università Ca' Foscari Venezia
Greater Verona Metropolitan Area Italy
Summary
👤
Senior🎓
Top SchoolLuca Negrini is an Assistant Professor (non-tenure) and PhD in Computer Science with a decade of experience specializing in static analysis and abstract interpretation, including five years developing the Julia static analyzer in industry. He transitioned from engineering at Corvallis to academic research at Ca' Foscari Venezia, where his PhD work focused on multi-language static analysis and led to continued research and teaching roles. Luca blends practical tool-building experience with rigorous research, making him adept at turning formal analysis techniques into usable developer tools. Based in the Greater Verona area, he brings a rare combination of industrial delivery and academic depth, with a track record of bridging language-specific analyzers into multi-language ecosystems.
10 years of coding experience
5 years of employment as a software developer
Laurea Magistrale in Ingegneria e Scienze Informatiche Computer Science, Laurea Magistrale in Ingegneria e Scienze Informatiche Computer Science at Università degli Studi di VeronaDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Università Ca' Foscari VeneziaDiploma di Perito Tecnico Informatico Informatica Abacus, Diploma di Perito Tecnico Informatico Informatica Abacus at ITIS Guglielmo Marconi
Italian, English
Github Skills (35)
program-analysis10
static-analysis10
formal-methods10
modular10
semgrep10
analyzer10
ssa10
cybersecurity10
abstract-interpretation10
java10
source-code-analysis10
static-analyzer10
inspect10
cecil9
cil9
Programming languages (6)
Github contributions (5)
lisa-analyzer/pylisa
Nov 2020 - Oct 2022
Python frontend for LiSA
Contributions:1 release, 3 reviews, 123 commits in 1 year 11 months
pythonfrontendlisa
lucaneg/lucaneg.github.io
Nov 2019 - Mar 2025
Contributions:120 pushes, 3 branches in 5 years 5 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.