Caterina Urban
@caterinaurban
Followers
401
Following
533
Media
16
Statuses
339
Research scientist at @inria_paris and @ENS_ULM. Left-handed š¤, in the footsteps of Alan Turing and Marie Curie. I want a dog š.
Paris, France
Joined February 2012
RT @DistriNet: Check out the upcoming summer school on Security Testing & Verification, July 7-10, Brussels. Organized by @DistriNet KU Leuā¦.
0
4
0
RT @ETAPSconf: Supervisors, has one of your students recently written an outstanding dissertation? Please nominate them for the ETAPS doctoā¦.
0
6
0
RT @symposiumSAS: You can follow SAS24 online on the ACM SIGPLAN YouTube Channel!!! Go "Live" and look for SAS around 9am PT at this link:ā¦.
0
5
0
RT @symposiumSAS: Caterina Urban will present "Abstract Interpretation-Based Certification of Hyperproperties for High-Stakes Machine Learnā¦.
0
3
0
RT @ShriramKMurthi: At this point it's obvious that the Nobel for Literature is going to ChatGPT.
0
299
0
RT @OtterGreg: Bonjour @Danone ,. Ma fille a une question Ć laquelle je n'ai pas la rĆ©ponse. Sur l'opercule des yaourt veloutĆ© aux fruits mā¦.
0
3K
0
RT @symposiumSAS: The program of SAS24 is now online with outstanding keynote speakers! It is time to register. Early registration expiresā¦.
0
4
0
RT @_pasquaMichele_: @caterinaurban is talking about formal methods applied to machine learning pipelines at #LipariAbsInt2024 š https://t.ā¦.
0
3
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
RT @NSAD_Workshop: We are excited to announce that @caterinaurban will give a keynote at NSAD 2024 on "Abstract Domains for Machine Learninā¦.
0
7
0
RT @dbenkhal: Day 3 of the EJCP : Caterina Urban, research scientist at INRIA research team, with a class on "Formal Methods for Machine Leā¦.
0
2
0
RT @benjamincode: Ća fait plusieurs semaines quāil māarrive de pas entendre mon rĆ©veil iPhone. Ća māĆ©tait jamais arrivĆ© jusque lĆ . Ce matinā¦.
0
742
0
RT @symposiumSAS: Hey! the deadline of SAS'24 (the 31st Static Analysis Symposium) has been extended to May 19th, AOE!! . .
0
2
0
RT @JamesLucasIT: People who accidentally found their doppelgƤngers in museums - a thread š§µ
0
25K
0
RT @TheStrugglingS4: We've all been there. the kitchen needs to be cleaned otherwise I can't work on my paper š
0
164
0
RT @alexandra8silva: Letās normalize the fact that women can go to conferences with or without their children, promote facilities for childā¦.
0
6
0