User:Alexander Malkis

Alexander obtained his Diploma degree from the University of Saarland, Germany, in 2004/05, for a work on polyedges (in other terminology, bond animals). He continued his studies in Saarbrücken and Freiburg, obtaining his doctoral degree in 2010 at the University of Freiburg for a work on Cartesian abstract interpretation and the verification of multithreaded programs. Directly afterwards, he joined IMDEA Software to work on software-barrier verification and the precision of ownership reasoning. Since 2012 he is working at TU Munich, Germany, carrying out research on how to make multithreaded programs, architectures, and systems in general more secure, reliable, and trustworthy.