Born in Rotterdam, PhD math. Utrecht 1976, with Leiden University till 1982,
with CWI Amsterdam till 1985, subsequently with the University of Amsterdam (UoA). Professor of software engineering since 1985, with Philips Research during 1988/9, visiting professor of informatics in Swansea. Currently director of Informatics Institute of the UoA Faculty of Science, Chair Informatics Section of Academia Europaea. Editor-in-chief of Science of Computer Programming. Also with Minstroom Research BV
Mario Luca Bernardi received the Laurea degree in Computer Science Engineering from the University of Naples Federico II, Italy, in 2003 and the Ph.D. degree in Information Engineering from the University of Sannio in 2007.
Since 2003 I have worked as a researcher in the field of software engineering writing several papers published in journals and conference proceedings. My main research interests include software maintenance and testing, software reuse, software reverse engineering and reengineering, with particular interest on software modularization.
I also served both as a member of the program and organizing committees of several international conferences, and as reviewer of papers submitted to some of the main journals and magazines in the field of data mining, software engineering, software maintenance and program comprehension.
Currently I am an Assistant Professor at Giustino Fortunato University, holding the courses of "Computer Science" and "Software Systems and Services" for the Avionics Science and Technologies master degree.
Dirk Beyer is Professor of Computer Science and has a Research Chair for Software Systems at the University of Passau, Germany. Before, he worked at Simon Fraser University, B.C., Canada, at EPFL in Lausanne, Switzerland, and at UC Berkeley, CA, USA. His research focuses on models, algorithms, and tools for the construction and analysis of reliable software systems. He is the principal designer and implementor of several successful tools, for example, CCVisu, CPAchecker, CrocoPat, and BLAST.
Senior Lecturer in Biological Sciences at the University of Huddersfield, since 2015. Previously Junior Research Fellow, College Lecturer In Biochemistry and various postdocs at the University of Oxford (2013-15). Working on DNA replication, genome integrity and transcription factors in human cancers (and also in prokaryotes). Additional interests in phylogenomics and novel protein expression systems.
David De Roure is Professor of e-Research at University of Oxford and Director of the Oxford e-Research Centre. He is a Strategic Advisor to the Economic and Social Research Council in the area of Social Media Data. Working on the intersection of humanities, social science, and computer science, David conducts research on social machines, computational musicology, large scale sociotechnical systems, cyber security and social computing.
Distinguished professor of computer science at Naval Postgraduate School. Past president of ACM. Past editor in chief of Communications of ACM. Currently editor of ACM Ubiquity. Author of ten books, most recent Great Principles of Computing (MIT Press 2015). Author of over four hundred scientific papers and articles.
Formal methods in software engineering, emphasizing specification and analysis of concurrent software systems. Broadening participation in Computing. Professor and past Chair of Computer Science at Michigan State University (MSU). Past professor of Computer Science at the University of California, Santa Barbara. ACM Distinguished Scientist. Past Associate Editor of ACM Transactions on Software Engineering and Methodology, IEEE Transactions on Software Engineering, and Communications of the ACM. Past Vice Chair and past Secretary/Treasurer of ACM Special Interest Group in Software Engineering. Past Co-Chair of Anita Borg Institute Advisory Board. Past member Executive Committee of NCWIT Academic Alliance. General chair, ISSTA'96. Program co-chair ICSE'03. Program chair, ISSTA'09. Program Co-chair, GHC'11. Co-chair, GHC'12. General chair, ICSE'16. 2015 MSU Excellence in Diversity Individual Award. 2014 MSU Service-Learning & Civic Engagement Award. 2013 University of Massachusetts Amherst Computer Science Department Outstanding Achievement and Advocacy Award for Outstanding Achievement in Education.
Amy Felty is a Professor in the School of Electrical Engineering and Computer Science at the University of Ottawa, and is the Director of the Software Correctness and Safety Laboratory. Prof. Felty is an expert in formal methods and has over 20 years of experience in applying them in domains such as programming language design, privacy and security, safety of mobile code, protocol verification, telecommunications software, and access control policy analysis.
Professor of Computer Science. Recent research projects include "RoadRunner : A Dynamic Analysis Infrastructure", "Cooperable Concurrency : A Concurrent Programming Methodology", "Concurrency Types for X10: Race-Freedom, Atomicity, and Determinism". "Atomicity" and "Hybrid Type Checking".
Professor of Software Engineering and Computational Models at the University of Bradford, UK.
Marieke Huisman is an adjoint Professor working in the Formal Methods and Tools group at the Univ. of Twente, Netherlands. She obtained her PhD in 2001 from the Univ. of Nijmegen, in the area of semantics and verification of sequential Java programs. She worked 8 years at INRIA Sophia Antipolis, France on verification of concurrent programs. In 2008 she joined the UT. In 2010 she received an ERC Starting Grant for the VerCors project on Verification of Concurrent Data Structures.
Prof. Kaiser's research interests lie at the boundary of software engineering and software systems, focusing on software reliability, privacy and security, and social software engineering. She served on the editorial board of IEEE Internet Computing for many years, was a founding associate editor of ACM TOSEM, and chaired an ACM FSE Symposium. She has directed her department's doctoral program since 1997. Prof. Kaiser received her PhD from CMU and her ScB from MIT.