Jamie became Master

Jamie successfully defended her Master thesis and concluded her Master studies

TCS @ ESOP & OOP­SLA

Two new papers accepted: "On the Hardness of Analyzing Quantum Programs Quantitatively" will be presented at ESOP, while "Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs" will be presented at OOPSLA.

Arnold vis­its

Ohad vis­its

TCS @ PLDI and FSCD

TCS @ "Proof and Com­pu­ta­tion"

Wel­come to Jamie and Manuel!

Two PhD Posi­tions in AUTOSARD avail­able