Linard Arquint

[Ajay @ajay9470]

It' true, you know! Say NO to formal verification

[Linard Arquint @LinardArquint]

@eeide @AndreasZeller Today I learnt 😅 But why is this then called ‚draft‘?

[Dina D. Pomeranz 🟣 @DinaPomeranz]

Falls irgendjemand verwirrt ist darüber, ob die SVP etwas ganz anderes sei als die AfD.

Als jüdische Schweizerin macht mir solche Hetze gegen religiöse Minderheiten enorm Angst.

[Linard Arquint @LinardArquint]

@kennyog @M__Haller @IEEESSP Congratulations! Well deserved

[Linard Arquint @LinardArquint]

Excited to be in San Francisco to present our paper at IEEE Symposium on Security and Privacy (S&P '23), bridging the gap between (Tamarin) protocol models and implementations (verified using Gobra & VeriFast).
Hit me up if you want to know more!
Thanks a lot to my co-authors!

[ETAPS Conferences (now on other platforms) @ETAPSconf]

The winners of the VerifyThis 2023 competitions are:
Jean-Christophe Filliatre and Andrei Paskevich for List Reversal, Linard Arquint and Joao Carlos Mendes
Pereira, for Gobra: first class predicates, ...

[IEEE S&P @IEEESSP]

The program for IEEE S&P 2023 is now available -- https://t.co/AiY2SiIis6.

Take a look for all the amazing work that will be appearing at the conference.

[Linard Arquint @LinardArquint]

@zornsllama Likewise!

[Linard Arquint @LinardArquint]

@zornsllama All the best for your new position! It was certainly not an easy decision

[ETH CS Department @CSatETH]

„Software is terrible. And big!“. Prof Jung about the challenges and how computers are changing.

[Linard Arquint @LinardArquint]

Why is USENIX the only conference not able to provide DOIs or at least reasonably short URLs for published papers? This just caused unnecessary overhead to keep links in references while uploading to arXiv that apparently does not know how to line-break URLs

[Linard Arquint @LinardArquint]

@__wi @VMI_ETH @CSatETH @ETH @ETH_en I‘ve actually no idea

[Linard Arquint @LinardArquint]

Enjoying a great day with @VMI_ETH around Schildhorn @CSatETH @ETH @ETH_en #summerretreat #twinterlaken #gobra

[Qasim Rashid, Esq. @QasimRashid]

Denmark's July 4, 2022 mass shooting was their first mass shooting since 1994

The July 4, 2022 Highland Park mass shooting was USA's first mass shooting since the July 4, 2022 Richmond mass shooting

1 mass shooting every 30 years vs 1 mass shooting every 3 hours. Gun Laws WORK

[ETH Zürich @ETH]

@BsBsc @btc We're a university, not a crypto currency 😉 #ServiceTweet

[Federico Viticci @viticci]

The state of machine learning on iOS in 2022 is:

HomeKit thinks there is a vehicle in my bedroom. It's a Roomba. Vroom vroom little guy

[Hanch Tarchup Jr. @misharipov]

incredible things are happening in Europe

[Linard Arquint @LinardArquint]

@__wi In case the link leads to a login prompt (as it does for me), you can find Arshavir‘s thesis in the full publication list here: https://t.co/JgTnFqLya6

[Linard Arquint @LinardArquint]

@__wi Awesome, congratulations!🍾

[ETH CS Department @CSatETH]

Inspired by what he had seen in the USA 🇺🇸, our Prof. emeritus Niklaus Wirth decided to get creative himself. Find a blast from the past behind door No. 8. https://t.co/F3xNGfAOG1 #40yearscseth @ETH_en @SRF @ETHBibliothek @kennyog