Invited Speakers

Unifying Speakers

Michael Ernst (University of Washington, USA)

Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. His primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. Ernst's research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work.

Ernst is an ACM Fellow (2014) and received the inaugural John Backus Award (2009) and the NSF CAREER Award (2002). His research has received an ACM SIGSOFT Impact Paper Award (2013), 8 ACM Distinguished Paper Awards (FSE 2014, ISSTA 2014, ESEC/FSE 2011, ISSTA 2009, ESEC/FSE 2007, ICSE 2007, ICSE 2004, ESEC/FSE 2003), an ECOOP 2011 Best Paper Award, honorable mention in the 2000 ACM doctoral dissertation competition, and other honors. In 2013, Microsoft Academic Search ranked Ernst #2 in the world, in software engineering research contributions over the past 10 years.

Kim G. Larsen (Aalborg University, Denmark)

Kim G. Larsen is a professor in the Department of Computer Science at Aalborg University within the Distributed, Embedded and Intellingt Systems Unit and director of the ICT-competence center CISS, Center for Embedded Software Systems. He is also director of the Sino-Danish Basic Research Center IDEA4CPS, the Danish Innovation Network InfinIT, as well as the newly founded innovation research center DiCyPS: Data Intensive Cyber Physical Systems. In 2015, he won an ERC Advanced Grant with the project LASSO for learning, analysis, synthesis and optimization of cyber physical systems. His research interests include modeling, verification, performance analysis of real-time and embedded systems with application and contributions to concurrency theory and model checking. In particular he is a prime investigator of the tool UPPAAL and co-founder of the company UP4ALL International. In 2013 he was the co-recipient of the CAV Award for the work on UPPAAL as "the foremost model checker for real-time Systems". Kim G Larsen became Honorary Doctor (Honoris causa) at Uppsala University, Sweden, in 1999. In 2007 he became Knight of the Order of the Denmark. In 2007 he became Honorary Doctor (Honoris causa) at ENS Cachan, France. In 2012 he became Honary Member of Academia Europaea. He is life-long member of the Royal Danish Academy of Sciences and Letters, Copenhagen, and a member of the Danish Academy of Technical Sciences, for which he served as vice-chairman for the group on Electro- and Information Systems. Since 2016 he has been appointed INRIA International Chair for a 5 year period. Also he has won the prestigious industrial Grundfos Award 2016.

FoSSaCS Invited Speaker

Joel Ouaknine (MPI-SWS, Germany, and University of Oxford, UK)

Joël Ouaknine is a Scientific Director at the Max Planck Institute for Software Systems in Saarbrücken, Germany, where he leads the Foundations of Algorithmic Verification group, and he also holds a part-time post as Professor of Computer Science at Oxford University. He earned a BSc and MSc in Mathematics from McGill University, and received his PhD in Computer Science from Oxford in 2001. He subsequently did postdoctoral work at Tulane University and Carnegie Mellon University, and has held visiting professorships at the Ecole Normale Supérieure de Cachan, France. In both 2007 and 2008 he received an Outstanding Teaching Award from Oxford University, and the following year he was awarded an EPSRC Leadership Fellowship, enabling him to focus (almost) exclusively on research for a period of five years. He is the recipient of the 2010 Roger Needham Award, given annually "for a distinguished research contribution in Computer Science by a UK-based researcher within ten years of his or her PhD", and in 2015 was awarded an ERC Consolidator Grant. His current research interests revolve around algorithmic problems about linear dynamical systems, and also include the automated verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, synthesis problems, complexity), logic and applications to verification, automated software analysis, concurrency, and theoretical computer science.

TACAS Invited Speaker

Dino Distefano (Facebook and Queen Mary University of London, UK)

Dino Distefano is Engineering Manager at Facebook and Professor of Software Verification at Queen Mary University of London. He is former Royal Academy of Engineering Research Fellow.   His research interests include programming languages, static analysis, logic, and program verification.

In 2009 he co-founded Monoidics Ltd, a London-based high-tech start-up providing automatic software verification to safety critical industries. Monoidics was acquired by Facebook in 2013. He has co-developed several software tools for program analysis and verification. The latest tool, the Facebook Infer program analyser, helps developers to identify bugs before software is shipped to users. 

Dino is the recipient of the Roger Needham Award 2012, given annually "for a distinguished research contribution in Computer Science by a UK-based researcher within ten years of his or her PhD”. He received the Royal Academy of Engineering Silver Medal 2014, given annually "for  an outstanding personal contribution to UK engineering by an early to mid-career engineer resulting in market exploitation". In 2016 he was the co-recipient of the CAV Award "for the development of Separation Logic and for demonstrating its applicability in the automated verification of programs that mutate data structures".

Unifying Public Lecture

Serge Abiteboul (INRIA and ENS Cachan, France)

Serge Abiteboul is a researcher at Inria, the Institut National de Recherche en Informatique et Automatique, and is currently  a member of the DI Lab at the École Normale Supérieure, Paris.He obtained his Ph.D. from the University of Southern California, and a "thèse d'Etat" from the University of Paris-Sud. He was a Lecturer at the École Polytechnique and Visiting Professor at Stanford and Oxford University. He has been Chaire Professor at Collège de France in 2011-12 and Francqui Chair Professor at Namur University in 2012-2013. He co-founded the company Xyleme in 2000. 

Serge Abiteboul has received the ACM SIGMOD Innovation Award in 1998, the EADS Award from the French Academy of sciences in 2007,  the Milner Award in 2013, and was PI of the Webdam ERC (2008-2013). He became a member of the French Academy of Sciences in 2008, and a member the Academy of Europe in 2011. His research work focuses mainly on data, information and knowledge management, particularly on the Web.

Invited Tutorials

Véronique Cortier (CNRS research director at Loria, Nancy, France)

Véronique Cortier is CNRS research director at Loria (Nancy, France). In 2003, she received her Ph.D. degree in Computer Science from the École Normale Supérieure de Cachan, from which she graduated. Her research focuses on formal verification of security protocols, in particular e-voting, using formal techniques such as first order logic or rewriting.

She has co-authored more than 80 publications on these topics. In 2010, she was awarded an ERC starting grant and in 2015, she received the INRIA - Académie des Sciences young researcher award.

Kenneth McMillan (Microsoft Research Redmond, USA)

Ken McMillan is a principal researcher at Microsoft Research in Redmond, Washington. He works in formal verification, primarily in model checking for hardware and software. He holds a BS in electrical engineering from the University of Illinois at Urbana (1984), an MS in electrical engineering from Stanford (1986) and a Ph.D. in computer science from Carnegie Mellon (1992). He is the author of the book "Symbolic Model Checking", and the SMV symbolic model checking system. For his work in model checking, he has received the ACM doctoral dissertation award, the SRC technical excellence award, the ACM Paris Kannelakis award, the Alan Newell award from Carnegie Mellon and the Computer-aided Verification Conference award. He was formerly a member of the technical staff at AT&T Bell Laboratories and a fellow at Cadence research labs.

Who's online

We have 63 guests and no members online

Site Hosted by