Muhammad Aleem received his Ph.D. degree with distinction in computer science from Leopold-Franzens University, Innsbruck, Austria in 2012. His research interests include parallel and distributed computing comprise programming environments, multi-/many-core computing, performance analysis, cloud computing, and big-data processing. He has published more than 50 research papers in the reputed Journals and International conferences and authored 3 book chapters and 2 books. He is a co-director of the Parallel Computing and Networks (PCN) research group. He is currently working as Professor at National University of Computer and Emerging Sciences, Islamabad, Pakistan.
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.
Luca Ardito is an Assistant Professor at the Department of Control and Computer Engineering at Politecnico di Torino, where he works in the Software Engineering research group. He received BSc, MSc, and Ph.D. in Computer Engineering from Politecnico di Torino. His current research interests are mobile development and testing, green software, new programming language analysis, and empirical software engineering methodologies.
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.
Siqi Bu received the Ph.D. degree from the electric power and energy research cluster, The Queen’s University of Belfast, Belfast, U.K., where he continued his postdoctoral research work before entering industry. Then he was with National Grid UK as an experienced UK National Transmission System Planner and Operator. He is an Associate Professor with The Hong Kong Polytechnic University, Kowloon, Hong Kong, and also a Chartered Engineer with UK Royal Engineering Council, London, U.K.. He is Senior Member of IEEE. His research interests are power system stability analysis and operation control, including wind power generation, PEV, HVDC, FACTS, ESS and VSG.
He is an Associate Editor of IEEE ACCESS and CSEE JOURNAL OF POWER AND ENERGY SYSTEMS, a Guest Editor of IET RENEWABLE POWER GENERATION, ENERGIES and IET GENERATION, TRANSMISSION & DISTRIBUTION, and an Editor of IEEE OPEN ACCESS JOURNAL OF POWER AND ENERGY and PROTECTION AND CONTROL OF MODERN POWER SYSTEMS. He has received various prizes due to excellent performances and outstanding contributions in operational and commissioning projects during the employment with National Grid UK. He is also the recipient of Outstanding Reviewer Awards from IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, IEEE TRANSACTIONS ON POWER SYSTEMS, APPLIED ENERGY, RENEWABLE ENERGY, INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS and JOURNAL OF MODERN POWER SYSTEMS AND CLEAN ENERGY respectively.
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.