Stefano Nicoletti

PhD Candidate @utwente 🇳🇱: logic, formal methods + safety & (cyber)security. Alumnus @uniurbit Phil, @LaStataleFilo | Fellow SILFS, @CEST_Official & VvL 🎓

[Stefano Nicoletti @nicoletti_ste]

📄📢 Best Paper Award at @sefm_conf, with a contribution on a new logic for quantitative security properties on attack trees!

Grateful to my co-authors at @UTwente: M.Lopuhaä-Zwakenberg, E.M. Hahn and @m_stoelinga.

See the paper here: https://t.co/0DH6SGeR4v

[Stefano Nicoletti @nicoletti_ste]

Yesterday I presented our new paper "Solving Queries for Boolean Fault Tree Logic via Quantified SAT" at the Workshop on Formal Techniques for Safety-Critical Systems!

Access it here: https://t.co/7vXdGGjYSm

Joint work with C. Saaltink, M. Volk, E. M. Hahn and @m_stoelinga.

[Stefano Nicoletti @nicoletti_ste]

Coming back to @uniurbit was amazing!

I had the pleasure to summarise and present our contributions on logics for risk assessment models - developed @UTwente with E.M. Hahn, M. Lopuhaä-Zwakenberg and @m_stoelinga - in the frame of the Triennial International SILFS Conference 🎓

[Oxford Comp Sci @CompSciOxford]

We are very proud to announce that Emeritus Professor Sir Tony Hoare has received the Royal Medal (Physical) for ground-breaking contributions that have revolutionised the computer programming field, including the development of 'Hoare logic'.

[UTwente Vacancies @UTwenteJobs]

PhD position on Model-driven System Engineering for Smart Diagnostics https://t.co/1aUufsGk2d

[Stefano Nicoletti @nicoletti_ste]

Thrilled to share that I am now a certified Junior Penetration Tester!

It's been a fun journey learning and practicing the fundamentals of offensive security and ethical hacking!

#ethicalhacking #offensivesecurity

https://t.co/xxGO9EoRnb

[MOSAIC @MOSAIC85231530]

Fourth day at the Como Lake Summer School on Logic for the new #AI Spring. Today we speak about "Logic for Categorization Theory" with Alessandra Palmigiano from Vrije Universiteit Amsterdam.

[MOSAIC @MOSAIC85231530]

Ready for part2 of Michael Wooldridge Tutorial on Multi Agent Systems (#MAS) at the Como Lake Summer School on Logic for the new #AI Spring

[Stefano Nicoletti @nicoletti_ste]

Trovate l'articolo qui:
https://t.co/ZzP2COfy7f

[Stefano Nicoletti @nicoletti_ste]

Appena pubblicato su "Odradek" l'articolo di @mattone_merlo e mio che sintetizza e amplia le nostre riflessioni a tema #AI e #creatività. Date uno sguardo e fateci sapere cosa ne pensate!

[Mattia Merlini @mattone_merlo]

The new special issue of "Odradek: Studies in Philosophy of Literature, Aesthetics, and New Media Theories" is about AI and Creativity. @nicoletti_ste and I had the pleasure to publish our first collaborative paper in Italian there https://t.co/dhSSJtYjOZ

[Mattia Merlini @mattone_merlo]

The new special issue of "Odradek: Studies in Philosophy of Literature, Aesthetics, and New Media Theories" is about AI and Creativity. @nicoletti_ste and I had the pleasure to publish our first collaborative paper in Italian there https://t.co/dhSSJtYjOZ

[Logic Uncertainty Computation and Information @LogicMilano]

The "Logic for AI Spring" Summer School kicks off in style with the Multi-Agent Systems Tutorial by @wooldridgemike https://t.co/4gPPeoVxOw

[Logic Uncertainty Computation and Information @LogicMilano]

Start of the 2nd Tutorial at the Logic for the AI Spring Lake Como Summer School on History and Culture of #AI by Stephanie Dick

[Stefano Nicoletti @nicoletti_ste]

Today I had the pleasure to present ongoing research on model-based safety-security co-analysis at #Sensei2022, co-located with #SAFECOMP2022.
Joining a place where the safety-security community could gather and discuss was so stimulating! Thanks to organizers and participants!

[Stefano Nicoletti @nicoletti_ste]

@FedericoBoem @m_stoelinga @DsnIeee Thanks! And for sure: let's organize and meet!

[Stefano Nicoletti @nicoletti_ste]

Thrilled to have presented our accepted paper - with M. Hahn and @m_stoelinga - on Fault Trees and logic at @DsnIeee #DSN2022!

An amazing opportunity to network with people from the beautiful community of dependable systems, in the evocative city of Baltimore 🇺🇲

[IEEE/IFIP DSN Conference 2026 @DsnIeee]

Starting DSN 2022!
Welcome to the flagship 52 int. conference on Dependable Systems and Networks (DSN-2022), scheduled from June 27st to 30th. A rich program on hot topics on resilient computing.

[Stefano Nicoletti @nicoletti_ste]

Don't miss this!👇🏻

[CEST @CEST_Official]

Tomorrow, June 22 at 2pm BST, @SunetraGupta, Professor of Theoretical Epidemiology at @UniofOxford, will give a lecture with the title "Using mathematical models to understand epidemics” at @IIPP_UCL for our joint series on responsible modeling. [1/2]

[Stefano Nicoletti @nicoletti_ste]

Last week I was in Milan for the 5th SILFS Postgrad Conference.
I met a lot of wonderful people and heard interesting talks from excellent philosophers and logicians.
I am also grateful for the opportunity to present some joint work with prof. Graziani and prof. Quaresma 👇🏻

[Stefano Nicoletti @nicoletti_ste]

In around 10 days I will be at @DsnIeee 2022 presenting joint work with M. Hahn and @m_stoelinga on #Logic and #FaultTrees.
You will find me at Research Track #13: Cyber-Physical Systems, 3:30 PM - 5:00 PM, on Wednesday June 29. Curious? Take a look here:
https://t.co/Kc2BXUJevF