Federico Mari

270 posts

Federico Mari banner
Federico Mari

Federico Mari

@_Federico_Mari

Associate Professor #uniroma4 #ModelChecking-based algorithms&tools for verification&synthesis of #MissionCritical #SafetyCritical #CyberPhysicalSystems.

Roma, Lazio Katılım Mayıs 2015
259 Takip Edilen125 Takipçiler
Federico Mari retweetledi
BiomechFOROIT
BiomechFOROIT@BiomechFOROIT·
Our lab is gearing up for a fantastic week at #SIAMOC2023 @Siamoc2 in Rome 🇮🇹. We're looking forward to catching up with old colleagues and cultivate new bonds. Let's dive into some amazing #movementanalysis and indulge in some delectable carbonara! 🍝🤝 siamoc2023.it
Rome, Lazio 🇮🇹 English
0
7
13
601
Federico Mari retweetledi
BiomechFOROIT
BiomechFOROIT@BiomechFOROIT·
#September1st Charged up and ready to get back to work! We hope to share new and old projects soon ⏳ Enjoy some pics from our #BiomecHolidays! 🗺️
BiomechFOROIT tweet media
English
0
6
12
649
Federico Mari retweetledi
Nicola Gigante
Nicola Gigante@gignico·
Ready for the Summer School in Reactive Synthesis at @uniud!
Nicola Gigante tweet media
English
1
1
8
356
Federico Mari retweetledi
BiomechFOROIT
BiomechFOROIT@BiomechFOROIT·
Today was 🔥 Congrats @maskul17 and Paolo Brasiliano for your successful PhD defenses. Two new PhDs in our lab💪🏻💪🏻
BiomechFOROIT tweet media
English
1
4
11
655
Federico Mari retweetledi
BiomechFOROIT
BiomechFOROIT@BiomechFOROIT·
Very interesting talk today by @DrCAWilkins. She is visiting our lab and today showed us how we can use #biomechanics to analyse 🏇 performance, with some practical application.
BiomechFOROIT tweet mediaBiomechFOROIT tweet media
English
0
2
8
2.2K
Federico Mari retweetledi
ISTC_CNR
ISTC_CNR@cnr_istc·
Come work with us! Several positions in AI, Robotics and Cognitive Sciences are available. To know more, join us on Monday, October the 3rd at 10am CET, where the positions and related projects will be announced. More information is available here: istc.cnr.it/en/media/news/…
ISTC_CNR tweet media
English
1
18
26
0
Federico Mari retweetledi
Nature Portfolio
Nature Portfolio@NaturePortfolio·
Continual learning, also known as lifelong learning, is the next step in the evolution of AI. But how do you create AI systems that can keep learning as they encounter new information? Learn more in this @Nature Outlook article. go.nature.com/3dKYB01
English
2
8
22
0
Federico Mari retweetledi
Focus
Focus@Focus_it·
Ciao #PieroAngela. Sei stato una vera guida per molti di noi, animati dalla passione per la scienza e mossi dalla curiosità di scoprire il perché delle cose che ci circondano.
Focus tweet media
Italiano
20
178
2.1K
0
Federico Mari retweetledi
Computer Science
Computer Science@CompSciFact·
'The P vs NP problem was first mentioned in 1956 in a letter from Kurt Gödel to John von Neumann.' -- Lance Fortnow
Deutsch
2
24
98
0