Diego Raphael Amancio is an Associate Professor at University of São Paulo (Brazil). His research interest includes complex networks, machine learning, data mining, science of science, scientometrics, natural language processing and complex systems.
I 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 more than 60 papers published in journals and conference proceedings. My main research interests include software maintenance and testing, software reuse, software reverse engineering, and re-engineering, with a particular interest in software modularization.
I also served both as a member of the program and organizing committees of several international conferences, and as a reviewer of papers submitted to some of the main journals and magazines in the field of data and process mining, software engineering, software maintenance, program comprehension, and the application of computational intelligence approaches in the above fields.
Currently, I am an Assistant Professor at Giustino Fortunato University, holding the courses of "Foundations 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.
Daniele D'Agostino, Ph.D. is member of the “Computing Architectures and High Performance Computing of the Institute for Applied Mathematics and Information Technologies - Enrico Magenes (IMATI) of the National Research Council of Italy (CNR) since October 2001. The diffusion of parallel and distributed computing puts the activity on the research group at the forefront of many initiatives. The highlight is on the achievements of three related FP7 projects, DRIHMS, DRIHM, DRIHM2US, aimed at the design and implementation of a research e-Infrastructure for hydro-meteorology studies of extreme events.
He actively participated to the COST Action IC0805 Open European Network for High Performance Computing on Complex Environments, where IMATI has been Italian Member of the Management Committee. In 2014 he was a co-chair of the 22nd Euromicro International Conference on Parallel, Distributed and network based Processing. He co-authored more than 90 papers on international journals, books and conference proceedings. He acted also as co-guest editor of several special issues of ISI international.
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".
Marieke Huisman is a professor in Software Reliability, 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. In 2017, she received a personal Vici grant from the Dutch Science Organisation.
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.