
Michele Pasqua
@_pasquamichele_
Computer Scientist; Assistant Professor @UniVerona
ID: 1585723023822393346
http://michelepasqua.github.io 27-10-2022 20:00:36
50 Tweet
42 Followers
126 Following


Lipari School on Abstract Interpretion Just started with Patrick's talk 🔥 Many thanks to our industrial sponsors Jane Street and AbsInt!! #LipariAbstInt2024




Luca Negrini (Luca Negrini) delivering the second tutorial at #LipariAbsInt2024 on LiSA!


#LipariAbsInt2024 wraps up with an industrial talk by Laura Titolo (Laura Titolo) from NASA!



The 3rd Summer School on Security Testing & Verification just ended after a series of outstanding talks by Sébastien Bardin, Anders Møller, Cas Cremers, Peter Müller, and myself! #STV2024 🔝 Thanks to Coen De Roover for organizing! Amazing experience 🤩 cybersecurity-research.be/summer-school-…








Leaving Tucson, thanks Roberto Giacobazzi🇮🇹🇺🇸🇫🇷⛳️🌵 for the tour at University of Arizona... Missed the snakes, unfortunately 🐍😂





Giorno 4 di ITASEC - SERICS 2025! Oggi, focus su Spoke 7, 8, 9 e 10 della Fondazione SERICS sulle tecnologie emergenti. Gli sponsor DigitalPlatforms e Greenbone hanno condiviso soluzioni strategiche mentre il Research Pitch ha visto i ricercatori presentare i loro progetti innovativi.