Andrea Lattuada
@utaal
Followers
542
Following
1K
Media
72
Statuses
1K
Systems software and first order logic. PhD from @SystemsGroupETH, then @vmwareresearch, from September: Research Group Leader at MPI-SWS.
Zürich, Switzerland
Joined September 2010
RT @OSGroupSWS: Today, Johanna Polzin from @CSatETH gave a talk on her ongoing work with Matthias Brun, @achreto , and @utaal , "Specifying….
0
6
0
RT @tianyin_xu: Xudong (@xu_dong_sun) will soon be on the job market. He is very determined to and well prepared for fundamental systems re….
0
13
0
RT @HerrDreyer: Two best paper awards at OSDI for projects using the Rust verification tool Verus!. Co-leader of the Verus project Andrea L….
0
7
0
RT @xu_dong_sun: Shout out to my AWESOME colleagues Wenjie Ma, @tylergu_jiawei , Zicheng Ma, @tchajed , Jon Howell, @utaal , Oded Padon, @_….
0
5
0
RT @lexi_lambda: it is a common misconception that the name “C++” is a joke implying that C++ is “one better than C”. in fact it implies th….
0
27
0
RT @LiveSpinoza: +++ MATTARELLA SI GIOCA L'ULTIMA CARTA: "OGGI HO CALCETTO" +++. [@leomorabito].
0
144
0
RT @bcantrill: I just accidentally typed "unsafe" as "unsage" and now I'm wondering if my subconscious is trying to warn me.
0
4
0
RT @cakesandcourage: a popular myth is that people who are Very Computer have computers that work. nothing could be further from the truth.….
0
6K
0
RT @e_mcguire_: The challenge I’m doing this month is called October and it’s where I just try to get through every day of October.
0
48K
0
RT @mattblaze: I have a lot more confidence in the reliability of services whose engineers say “I constantly worry that what happened at FB….
0
190
0
RT @waitbutwhy: "I wasn't depressed. I still had hope. Wasn't burned out, had energy. Wasn't lonely, I was with my family. I just felt a li….
0
115
0
RT @Quirinale: #Mattarella: non si invochi la libertà per sottrarsi alla #vaccinazione, perché quell’invocazione equivale alla richiesta di….
0
3K
0