Stefano Nicoletti

200 posts

Stefano Nicoletti banner
Stefano Nicoletti

Stefano Nicoletti

@nicoletti_ste

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

เข้าร่วม Mayıs 2016
320 กำลังติดตาม112 ผู้ติดตาม
ทวีตที่ปักหมุด
Stefano Nicoletti
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: arxiv.org/pdf/2309.09231
Stefano Nicoletti tweet mediaStefano Nicoletti tweet media
English
0
3
12
483
Stefano Nicoletti
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: dl.acm.org/doi/10.1145/36… Joint work with C. Saaltink, M. Volk, E. M. Hahn and @m_stoelinga.
Stefano Nicoletti tweet mediaStefano Nicoletti tweet mediaStefano Nicoletti tweet media
English
0
0
5
120
Stefano Nicoletti
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 🎓
Stefano Nicoletti tweet media
English
0
0
3
135
Stefano Nicoletti รีทวีตแล้ว
Oxford Comp Sci
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'.
University of Oxford@UniofOxford

Four Oxford University researchers have been honoured with @royalsociety Awards for their outstanding contributions to science and medicine 🏅 Congratulations to: - Prof Hagan Bayley FRS - Prof Artur Ekert FRS - Sir Antony Hoare FREng FRS - Prof Herman Waldmann FMedSci FRS

English
0
11
30
6.9K
Stefano Nicoletti รีทวีตแล้ว
UTwente Vacancies
UTwente Vacancies@UTwenteJobs·
PhD position on Model-driven System Engineering for Smart Diagnostics dlvr.it/Sv8hRJ
UTwente Vacancies tweet media
English
0
1
0
158
Stefano Nicoletti รีทวีตแล้ว
MOSAIC
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 tweet media
English
0
4
7
0
Stefano Nicoletti รีทวีตแล้ว
MOSAIC
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
MOSAIC tweet media
English
0
4
6
0
Stefano Nicoletti
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 odradek.cfs.unipi.it/ind.../odradek…

Italiano
1
0
1
0
Stefano Nicoletti รีทวีตแล้ว
Mattia Merlini
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 odradek.cfs.unipi.it/ind.../odradek…
English
1
1
1
0
Stefano Nicoletti รีทวีตแล้ว
Logic Uncertainty Computation and Information
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
Logic Uncertainty Computation and Information tweet media
English
0
2
7
0
Stefano Nicoletti
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 tweet mediaStefano Nicoletti tweet media
English
0
0
2
0
Stefano Nicoletti
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 🇺🇲
Stefano Nicoletti tweet mediaStefano Nicoletti tweet mediaStefano Nicoletti tweet mediaStefano Nicoletti tweet media
English
1
0
4
0
Stefano Nicoletti รีทวีตแล้ว
IEEE/IFIP DSN Conference 2026
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.
IEEE/IFIP DSN Conference 2026 tweet media
English
0
4
11
0
Stefano Nicoletti
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 tweet media
English
0
0
1
0

ค้นพบ

@m_stoelinga @uniurbit @UTwente @mattone_merlo @wooldridgemike @FedericoBoem @DsnIeee @elonmusk