Anastasia Isychev
@izycheva
postdoc @tu_wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
ID:1322853571675770882
01-11-2020 10:51:01
358 Tweets
355 Followers
107 Following
Made my way back to Saarbrücken to attend Debasmita Lohar’s PhD defense (which was a surprise for her hehe), and deliver her well-deserved graduation hat. Congratulations, Dr.Lohar! 🥳
🎆 What a night! At #SciBall24 💃, we presented guests with our logic riddle “Climate Journey” 💚. Special thanks to all volunteers at the VCLA stand, Anastasia Anastasia Isychev, Michele Michele Collevati, and Tommaso Tommaso Mannelli Mazzoli, and to puzzle author Anouk Michelle Oudshoorn! Wissenschaftsball
Please share! We will hold the 'Fuzzing Summer School 2024' at NUS Computing in Singapore! We are excited to feature speakers such as Abhishek Arya, Marcel Böhme👨🔬, Mathias Payer, Thuan Pham, and Andreas Zeller. Apply by 16 Feb 2024. fuzzing.comp.nus.edu.sg CC Umang Mathur Abhik Roychoudhury
13 of us (including myself, Ilya Sergey and some great other people) are standing for the ACM SIGPLAN Member-at-Large this year. Please vote in a few months when the electronic voting starts and please RT! acm.org/elections/sigs…
anyone want a free registration for ACM CCS 2024 ? Denmark visa delayed and ACM CCS 2024 doesn't allow refund. But, they are kind enough to allow me to transfer the registration to someone else... DM me pls
I love it when things work out: (coincidentally) timed my nostalgic visit to Saarbrücken just right to congratulate Debasmita Lohar on her thesis submission! 🥳