  Daniel Gruss (@lavados) is a PostDoc at Graz University of Technology. He finished his PhD with distinction in less than 3 years. He has been involved in teaching operating system undergraduate courses since 2010. Daniel's research focuses on software-based side-channel attacks that exploit timing differences in hardware and operating systems. He implemented the first remote fault attack running in a website, known as Rowhammer.js. He spoke at top international venues, including Black Hat USA 2016, Usenix Security 2015 & 2016, ACM CCS 2016, the ChaosCommunication Congress 2015, and many more. His research team was one of the four teams that found the Meltdown and Spectre bugs published in early 2018.  Laura Kovács is a full professor at the Faculty of Informatics of Vienna University of Technology (TU Wien). She also holds a part-time professorship at the Department of Computer Science and Engineering of the Chalmers University of Technology. She has a diploma in computer science and math from the West University of Timisoara, Romania and a PhD with highest distinction in computer science from the Research Institute of Symbolic Computation (RISC-Linz) of the Johannes Kepler University Linz, Austria. In her research, Laura Kovács deals with the design and development of new theories, technologies, and tools for program analysis, with a particular focus on automated assertion generation, symbolic summation, computer algebra, and automated theorem proving. She is the co-developer of the Vampire theorem prover. In 2014, she received the Wallenberg Academy Fellowship and an ERC Starting Grant.  Hanspeter Mössenböck is a professor of Computer Science at the Johannes Kepler University Linz. For more than 15 years, his team cooperates with Oracle (previously Sun Microsystems) on Dynamic Compilation and Compiler Optimizations as well as on Virtual Machine Technology. Many of the research results are now part of OpenJDK.  Thomas Pock, born 1978 in Graz, received his MSc (1998-2004) and his PhD (2005-2008) in Computer Engineering (Telematik) from Graz University of Technology. After a Post-doc position at the University of Bonn, he moved back to Graz University of Technology where he has been an Assistant Professor at the Institute for Computer Graphics and Vision. In 2013 Thomas Pock received the START price of the Austrian Science Fund (FWF) and the German Pattern recognition award of the German association for pattern recognition (DAGM) and in 2014, Thomas Pock received an starting grant from the European Research Council (ERC). Since June 2014, Thomas Pock is a Professor of Computer Science at Graz University of Technology (AIT Stiftungsprofessur "Mobile Computer Vision") and a principal scientist at the Center for Vision, Automation & Control at the Austrian Institute of Technology (AIT). The focus of his research is the development of mathematical models for computer vision and image processing as well as the development of efficient convex and non-smooth optimization algorithms. Ben L. Titzer is V8 team member at Google and a co-inventor of WebAssembly. His background and interests include JIT compiler technology, language design, and virtual machines. Prior to being a WebAssembly tech lead at Google, he was tech lead of the V8 compiler group at Google, designed the TurboFan JIT compiler, and also worked in Adwords. He was a core Maxine VM developer at Sun Labs where he built the C1X optimizing JIT. He received a PhD in Computer Science from UCLA in 2007 under Jens Palsberg and a Bachelor's from Purdue University in 2002. As a sometimes programming language designer, he designed the Virgil Programming Language. |  Christoph Dellago is a full professor of Computational Physics at the University of Vienna. After obtaining his PhD in physics in 1996 from the University of Vienna, he worked as postdoctoral researcher at the University of California at Berkeley. In 1999, he started as an assistant professor at the University of Rochester before returning to the University of Vienna in 2003. His research interests range from simulation methods for rare events to dynamical processes occurring in soft matter and fundamental questions in non-equilibrium statistical mechanics. Prof. Dellago has co-authored about 170 research papers in many journals including Science, Nature Nanotechnology, the Proceedings of the National Academy of Science of the USA, Physical Review Letters, and Nano Letters. He has served in various administrative positions, most recently as Dean of the Faculty of Physics of the University of Vienna and as Director of the Erwin Schrödinger Institute of Mathematics and Physics.  Tom Henzinger is president of IST Austria (Institute of Science and Technology Austria). He holds a PhD in Computer Science from Stanford University (1991), was assistant professor at Cornell University, professor at the University of California, Berkeley, director at the Max-Planck Institute for Computer Science in Saarbruecken, and professor at EPFL in Lausanne. His research focuses on modern systems theory, especially models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems. His HyTech tool was the first model checker for mixed discrete-continuous systems. He is an ISI highly cited researcher, a member of Academia Europaea, the German and Austrian Academies of Sciences, and a Fellow of the AAAS, the ACM, and the IEEE. He has received the Milner Award of the Royal Society, the Wittgenstein Award of the Austrian Science Fund, and an Advanced Investigator Grant of the European Research Council.  Sebastian Krinninger is an assistant professor at the University of Salzburg. His main research interest is the design of efficient graph algorithms, in particular for dynamic and distributed models. Sebastian completed his PhD at University of Vienna in 2015, where he was supervised by Monika Henzinger. During and after his PhD studies, he had research stays at Microsoft Research, the Simons Institute for the Theory of Computing, and the Max Planck Institute for Informatics.  PhD TU Graz, Biomedical Engineering, 2000 Schrödinger Fellow, Technical University Valencia, 2001 and University of Calgary, 2002 Schrödinger Return Fellow, Medical University of Graz, 2003-2006 Marie Curie Fellow and Visiting Faculty, Johns Hopkins University, USA, 2006-2008 Academic Fellow (tenure track), University Oxford, UK, 2008-2014 Assoc. Prof., Medical University of Graz, 2011 Prof. of computational Cardiology, Medical University of Graz, 2018. Expertise: Modeling cardiac function (electrophysiology, mechanics and hemodynamics) high performance computing  Alastair Reid is a Senior Principal Engineer in Arm’s Research Department currently working on formal specification of the Arm Processor Architecture. He has worked on formal verification of Arm processors, formalizing ARM’s architecture specification, vectorizing compilers, vector ISAs, a language and compiler for programming heterogeneous parallel system, software-defined radio, testcase generation, architectural coverage analysis, CPU simulators and the ARMv8 architecture. Prior to Arm, he worked on component-based operating systems at the University of Utah and on Haskell compilers at Yale University and the University of Glasgow. In his spare time, he builds his own computer keyboards. |
