Michele Pasqua
@_pasquaMichele_
Followers
44
Following
338
Media
10
Statuses
63
Computer Scientist; Assistant Professor @UniVerona
Verona, Italy
Joined October 2022
RT @ITASEC_Conf: Giorno 4 di ITASEC - SERICS 2025! Oggi, focus su Spoke 7, 8, 9 e 10 della @SERICS_EU sulle tecnologie emergenti. Gli spons….
0
2
0
RT @ICSTconf: Registration for ICST 2025 has opened! 😊. Please register by 6th of February (Authors).or 12th of February to receive the Ear….
0
3
0
Very appreciated 🙈.
The Distinguished Reviewer Awards have been announced! A big round of applause to our reviewers for their dedication and expertise. Congratulations on this well-deserved recognition!.
0
0
0
Leaving Tucson, thanks @rgiacobazzi for the tour at @uarizona. Missed the snakes, unfortunately 🐍😂
0
1
4
Great experience! 💯.
That's a wrap for the 10th edition of NSAD at @splashcon! A huge thank you to @caterinaurban for her insightful talk, and to all the participants, speakers, and paper authors! ❤️
0
0
2
NSAD24 🔥.
The second track begins with Anthony Dario's talk titled "A Step-Function Abstract Domain for Granular Floating-Point Error Analysis"
0
0
3
RT @NSAD_Workshop: Proceedings of NSAD 2024 are out! 🥳🏁. 🔗 A nice reading for your trip to Pasadena! 🙃.
0
4
0
RT @NSAD_Workshop: The list of accepted papers for NSAD 2024 is now online! 🚀. A big thank you to all the authors….
0
4
0
The 3rd Summer School on Security Testing & Verification just ended after a series of outstanding talks by @Seb_Bardin, @amoellercsaudk, Cas Cremers, Peter Müller, and myself! #STV2024 🔝. Thanks to @CoenDeRoover for organizing! Amazing experience 🤩.
0
1
4
Discussing proof methods and counterexample generation strategies for program Hyperproperties at the 3rd Summer School on Security Testing & Verification in Bruxelles 👨🏫
0
1
5
RT @ArceriVincenzo: #LipariAbsInt2024 wraps up with an industrial talk by Laura Titolo (@laura_titolo) from NASA!
0
1
0
RT @ArceriVincenzo: Luca Negrini (@lucaneg7) delivering the second tutorial at #LipariAbsInt2024 on LiSA!
0
2
0
Laurent Mauborgne from AbsInt talking about industrial applications of abstract interpretation 🚀.#LipariAbsInt2024
0
1
2
RT @ArceriVincenzo: We start the second day with Thomas Jensen talking about applications of abstract interpretation to software security !….
0
1
0
Lipari School on Abstract Interpretion Just started with Patrick's talk 🔥. Many thanks to our industrial sponsors @JaneStreetGroup and AbsInt!!. #LipariAbstInt2024
0
3
13