Maria Christakis
@mchri5taki5
Followers
662
Following
223
Media
12
Statuses
72
professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
Vienna, Austria
Joined September 2022
RT @vwuestholz: Our new fuzzer for zkVMs discovered a critical soundness bug in RISC Zero! 🔥. @RiscZero Thanks a lot for the shout-out! We'….
0
7
0
RT @vwuestholz: I am happy our Circuzz fuzzer keeps making the Noir infrastructure more secure! Circuzz uncovered another critical bug, com….
0
7
0
📢We are opening 10 PhD positions at the Vienna University of Technology (@tu_wien) as part of our newly funded doctoral college on Automated Reasoning!. Deadline: May 18, 2025.Start: October 2025 (or soon after).Details and application link:
1
10
25
RT @vwuestholz: I am thrilled that our fuzzer uncovered another critical bug in the Noir infrastructure, compromising both soundness and co….
0
24
0
RT @vwuestholz: I am excited that our fuzzer uncovered another critical bug in the Noir infrastructure, compromising both soundness and com….
0
9
0
RT @vwuestholz: I'm excited that our fuzzer uncovered another critical bug in the Noir zero-knowledge infrastructure, revealing a soundness….
0
12
0
RT @BjornerNikolaj: An internship at MSR, including RiSE, is a great opportunity to work on exciting research projects and mingle with othe….
0
21
0
📢3 papers accepted @ASE_conf on testing program analyzers and benchmarking Solidity fuzzers!. 👉👉👉
2
6
98
Network meeting of female professors in Austria, with @ERC_Research president @mleptin , here @tu_wien! Very inspiring, interesting, and informative! Thanks to our dean, Gerti Kappel, for organizing!
0
3
21
RT @issta_conf: Thank you all for joining #ISSTA24 and making it a success! 🎉 .Special thanks to the general chair @mchri5taki5 without who….
0
2
0
Thank you @izycheva for doing so much more than being a publicity chair! And especially for designing the beautiful conference logos!.
Thank you all for joining #ISSTA24 and making it a success! 🎉 .Special thanks to the general chair @mchri5taki5 without whom #ISSTA24 (literally) would not have happened ✨. yours truly, @izycheva, publicity chair of #ISSTA24👋.@yannicnoller, tag, you're it!.
1
1
18
RT @vwuestholz: Who finds potential million-dollar bugs in zero-knowledge infrastructure that's powering many layer-2 blockchains? Meet Rio….
0
9
0
RT @vwuestholz: This is the first result of a collaborative effort between @ConsensysAudits, @LineaBuild, and @tu_wien to catch critical bu….
0
2
0
RT @theosotir: Together with @mchri5taki5, @afd_icl, and John Regehr, we will be organizing a Dagstuhl seminar on "Testing Program Analyzer….
0
9
0
📢 The deadline is extended to June 13!.
The Vienna University of Technology (TU Wien) is inviting applications for a full professorship in programming languages and compilers:.
0
8
17
RT @LingmingZhang: Thanks for the invitation❤️ I'm honored to deliver a keynote talk at @issta_conf 2024. Looking forward to meeting everyo….
0
1
0
RT @issta_conf: The registration for ISSTA/ECOOP'24 is now live!. Early-bird rates apply until:.🗓️ July 31, 2024. 🔗 Registration: https://….
0
2
0
0
1
0
Thank you @byroncook and @BjornerNikolaj for your keynotes at the @CSecCenter kick-off @tu_wien! On the top left of the slide, covering symbolic model checking, a picture of our rooftop dinner in Vienna, together with Laura Kovacs!
1
3
44
