-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
e9977ae
commit 2cb4cf9
Showing
3 changed files
with
102 additions
and
6 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,9 +1,105 @@ | ||
| <!DOCTYPE html> | ||
| <html lang="en"> | ||
| <head> | ||
| <meta charset="utf-8"/> | ||
| </head> | ||
| <body> | ||
| Hello world | ||
| </body> | ||
| <head> | ||
| <meta charset="UTF-8"> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1.0"> | ||
| <title>Luca Olivieri</title> | ||
| <!-- Dependencies --> | ||
| <link href="https://stackpath.bootstrapcdn.com/bootstrap/4.5.2/css/bootstrap.min.css" rel="stylesheet"> | ||
| <script src="https://code.jquery.com/jquery-3.5.1.slim.min.js"></script> | ||
| <script src="https://cdn.jsdelivr.net/npm/@popperjs/core@2.5.4/dist/umd/popper.min.js"></script> | ||
| <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.5.2/js/bootstrap.min.js"></script> | ||
|
|
||
| <!-- Custom CSS --> | ||
| <style> | ||
| html { | ||
| scroll-behavior: smooth; | ||
| } | ||
| </style> | ||
|
|
||
|
|
||
| </head> | ||
| <body> | ||
| <header class="bg-dark text-white text-center py-5"> | ||
| <img src="small_photo.jpg" class="rounded-circle" alt="Cinque Terre" id="small-photo"> | ||
| <h1>Luca Olivieri, PhD</h1> | ||
| <p class="lead">Assistant Professor (non-tenure) | Ca' Foscari University of Venice</p> | ||
| </header> | ||
|
|
||
| <nav class="navbar navbar-expand-lg navbar-dark bg-dark justify-content-center"> | ||
| <ul class="navbar-nav"> | ||
| <li class="nav-item"><a class="nav-link" href="#about">About</a></li> | ||
| <li class="nav-item"><a class="nav-link" href="#publications">Publications</a></li> | ||
| <!-- <li class="nav-item"><a class="nav-link" href="#talks">Talks</a></li> --> | ||
| <li class="nav-item"><a class="nav-link" href="#contact">Contact</a></li> | ||
| </ul> | ||
| </nav> | ||
|
|
||
| <section id="about" class="container py-5"> | ||
| <h2>About Me</h2> | ||
| <p>I am an Assistant Professor (no-tenure track) in Computer Science working in software verification based on formal methods at <a href="https://www.unive.it/data/people/25543514">Ca' Foscari University of Venice</a>. I received my Ph.D. in Computer Science, certified <em>Doctor Europaeus</em>, from the <a href="https://www.di.univr.it/?ent=persona&id=35528&lang=en">University of Verona</a> (Italy) in April 2023. | ||
| My PhD thesis titled <em>Blockchain Software Verification and Optimization</em> was in part carried out at the <a href="https://www.univ-rennes.fr/">University of Rennes 1</a> (France). I earned a B.Sc and M.Sc. in Computer Science and Engineering from the University of Verona. After my M.Sc., I was hired as a Software Engineer and Research Scientist in the R&D team of JuliaSoft/<a href="http://www.corvallis.it">Corvallis</a> from April 2018 to June 2023. In these companies, my major contribution was developing Julia, an industrial static analyzer based on abstract interpretation for Java and C#. I also contributed to <a href="https://codesecure.com/learn/grammatech-acquires-juliasoft-to-expand-reach-of-codesonar-sast-platform-to-java-and-c/">integrating</a> Julia into the <a href="https://codesecure.com/our-products/codesonar/">CodeSonar</a> analyzer of <a href="https://www.grammatech.com">GrammaTech Inc</a>. In July 2023, I joined Ca’ Foscary University of Venice and the <a href="https://ssv.dais.unive.it/">Software and System Verification (SSV)]</a> group as a research fellow and currently I am an assistant professor (no-tenure track). | ||
| </p> | ||
| <p>You can find my full CV <a href="lo_cv.pdf">here</a></p> | ||
| </section> | ||
|
|
||
| <section id="publications" class="container py-5"> | ||
| <h2>Publications</h2> | ||
| <ul> | ||
| <li><strong>2024</strong></li> | ||
| <ul> | ||
| <li><strong>Luca Olivieri</strong> and Luca Pasetto. <em>Towards Compliance of Smart Contracts with the European Union Data Act</em>. 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2023)</li> | ||
| <li><strong>Luca Olivieri</strong>, Luca Negrini, Vincenzo Arceri, Thomas Jensen, and Fausto Spoto. <em>Design and Implementation of Static Analyses for Tezos Smart Contracts<em>. ACM Journal of Distributed Ledger Technologies: Research and Practice</li> | ||
| </ul> | ||
| <li><strong>2023</strong></li> | ||
| <ul> | ||
| <li><strong>Luca Olivieri</strong>, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, and Fausto Spoto. <em>Information Flow Analysis for Detecting Non-Determinism in Blockchain</em>. 37th European Conference on Object-Oriented Programming (ECOOP 2023)</li> | ||
| <li>Marco Crosara, <strong>Luca Olivieri</strong>, Fausto Spoto, and Fabio Tagliaferro <em>Fungible and non-fungible tokens with snapshots in Java</em>. Cluster Computing: The Journal of Networks, Software Tools and Applications</li> | ||
| <li><strong>Luca Olivieri</strong>, Luca Negrini, Thomas Jensen, and Fausto Spoto.<em>MichelsonLiSA: A Static Analyzer for Tezos</em>. 4th Workshop on Blockchain theoRy and ApplicatIoNs (BRAIN 2023)</li> | ||
| </ul> | ||
| <li><strong>2022</strong></li> | ||
| <ul> | ||
| <li><strong>Luca Olivieri</strong>, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara and Fausto Spoto. <em>Ensuring determinism in blockchain software with GoLiSA: an industrial experience report</em>. 11th International Workshop on the State Of the Art in Program Analysis (SOAP 2022)</li> | ||
|
|
||
| </ul> | ||
| <li><strong>2021</strong></li> | ||
| <ul> | ||
| <li>Pietro Ferrara, <strong>Luca Olivieri</strong> and Fausto Spoto. <em>Static Privacy Analysis by Flow Reconstruction of Tainted Data</em>. International Journal of Software Engineering and Knowledge Engineering.</li> | ||
| <li>Marco Crosara, <strong>Luca Olivieri</strong>, Fausto Spoto and Fabio Tagliaferro. <em>Re-engineering ERC-20 smart contracts with efficient snapshots for the Java virtual machine</em>. 2021 Third International Conference on Blockchain Computing and Applications (BCCA 2021)</li> | ||
| <li><strong>Luca Olivieri</strong>, Fausto Spoto and Fabio Tagliaferro.<em>On-Chain Smart Contract Verification over Tendermint</em>. 5th Workshop on Trusted Smart Contracts (WTSC 2021)</li> | ||
| <li>Marco RA Bozzetti, <strong>Luca Olivieri</strong> and Fausto Spoto.<em>Cybersecurity Impacts of the Covid-19 Pandemic in Italy</em>. 5th Italian Conference on Cybersecurity (ITASEC 2021)</li> | ||
| </ul> | ||
| <li><strong>2020</strong></li> | ||
| <ul> | ||
| <li>Pietro Ferrara, <strong>Luca Olivieri</strong> and Fausto Spoto. <em>BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results</em>. 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020)</li> | ||
| </ul> | ||
| <li><strong>2018</strong></li> | ||
| <ul> | ||
| <li>Pietro Ferrara, <strong>Luca Olivieri</strong> and Fausto Spoto. <em>Tailoring taint analysis to GDPR</em>. 6th Annual Privacy Forum (APF 2018)</li> | ||
| </ul> | ||
| </ul> | ||
| </section> | ||
| <!-- | ||
| <section id="talks" class="bg-light py-5"> | ||
| <div class="container"> | ||
| <h2>Talks</h2> | ||
| <ul> | ||
| <li>Talk 1</li> | ||
| <li>Talk 2</li> | ||
| <li>Talk 3</li> | ||
| </ul> | ||
| </div> | ||
| </section> | ||
| --> | ||
|
|
||
| <section id="contact" class="container py-5"> | ||
| <h2>Contact</h2> | ||
| <p>Email: luca.olivieri@unive.it</p> | ||
| </section> | ||
|
|
||
| <footer class="bg-dark text-white text-center py-3"> | ||
| © 2024 Luca Olivieri - Hosted on GitHub Pages | ||
| </footer> | ||
|
|
||
| </body> | ||
| </html> |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.