2019 Invited Speakers

Fabio Casati is a professor of software engineering and machine learning at the University of Trento. Until 2006, he was technical lead for the research program on business process intelligence in Hewlett-Packard USA, where he contributed to several HP commercial products in the area of web services and business process management. He then moved to academia, where he started research lines on hybrid human-machine computations and on technologies for happiness and life participation, focusing on achieving direct positive impact on society through tangible artefacts adopted by the community. He is co-author of a best-selling book on Web services and author of over 250 peer-reviewed papers.

Witold Pedrycz is Professor and Canada Research Chair (CRC) in Computational Intelligence in the Department of Electrical and Computer Engineering, University of Alberta, Edmonton, Canada. He is also with the Systems Research Institute of the Polish Academy of Sciences, Warsaw, Poland. He is a foreign member of the Polish Academy of Sciences, IEEE fellow, and Fellow of the Royal Society of Canada. He holds numerous awards including  Norbert Wiener  (IEEE Systems, Man, and Cybernetics Society), IEEE Canada Computer Engineering Medal, Cajastur Prize for Soft Computing, Killam Prize, and Fuzzy Pioneer Award (IEEE Computational Intelligence Society). His main research directions involve Computational Intelligence, Granular Computing, data science, pattern recognition, and knowledge-based neural networks. He serves as an Editor-in-Chief of Information Sciences, Editor-in-Chief of WIREs Data Mining and Knowledge Discovery (Wiley), and Co-editor-in-Chief of Int. J. of Granular Computing (Springer) and J. of Data Information and Management (Springer).

Flora Salim is an Associate Professor in the Computer Science and IT department in the School of Science, RMIT University, Melbourne, Australia. She leads the IoT Analytics group, working on human mobility and behaviour analytics, context and activity recognition, urban computing, and applying machine learning for smart cities and smart buildings. She is a Victoria Fellow 2018, a highly-competitive merit-based award from the Victorian Government. She is the recipient of the RMIT Vice-Chancellor’s Award for Research Excellence – Early Career Researcher 2016 and RMIT Award for Research Impact – Technology 2018. Previously, she was an Australian Research Council (ARC) Postdoctoral Industry (APDI) Fellow in 2012-2015. Dr. Salim has been awarded two ARC linkage grants, a Discovery, and numerous national and international industry contracts, with the total amount awarded of over than $3M in the last 5 years, in collaboration with Microsoft, IBM, Northrop Grumman Corporations, Arup, City of Melbourne (CoM), Mornington Peninsula Shire (MPS), Siemens, Aurecon, and others. She received her PhD award from Monash University in May 2009. She is an Editorial Board member of Pervasive and Mobile Computing. She is an expert member of IEA EBC (International Energy Agency’s Energy in Buildings and Communities programme) Annex 79. She recently served as a TPC Vice-Chair of IEEE PerCom 2018 and an expert committee of the JPI Urban Europe and National Natural Science Foundation of China (NSFC) calls on Sustainable and Liveable Cities and Urban Areas. She is a regular reviewer for ACM TOIT, IEEE THMS, IEEE TKDD, IEEE T-ITS, IEEE TSC, IEEE TCC, PMC, and Springer DAMI journal.

Winner 2019 CORE John Makepeace Bennett Award for the Australasian Distinguished Doctoral Dissertation.

Dr Thomas Sewell is a researcher in the field of applied software verification, using formal methods techniques to guarantee the trustworthiness of real software. He has been a key contributor to the L4.verified project and its successors, working at NICTA, UNSW and CSIRO Data61. The L4.verified project used interactive approaches to prove the functional correctness of the seL4 microkernel. In his PhD work at UNSW, he used an SMT-based method to establish the correctness of binary programs produced by compiling C code. He also found particular applications of this binary analysis in the case of low-level embedded program with essential timing constraints. More recently, Thomas has moved to Chalmers University, Sweden, to join the CakeML project, which produces a verified compiler and runtime for a language similar to Standard ML.

Winner 2019 CORE Chris Wallace Award for Outstanding Research Contribution

Wenjie Zhang is an Associate Professor in the School of Computer Science and Engineering, the University of New South Wales. She received her bachelor and master degrees from Harbin Institute of Technology in 2004 and 2006, and her Ph.D. degree from the University of New South Wales in 2010.  Wenjie’s research interests include graph, spatial and uncertain data management. Her work receives 4 best paper awards from international conferences. Wenjie’s research is supported by 4 ARC discovery projects and 1 ARC DECRA project. She is also involved in an industry project with HUAWEI on cohesive subgraph analysis. Her recent research focuses on algorithms, indexes, and systems in large scale graphs and their applications especially in social network analysis.  Wenjie is an Associate Editor for IEEE TKDE, an area chair for ICDE 2019 and CIKM 2015, and a PC member for more than 40 international conferences and workshops.