Prof Dirk Pattinson is a Professor in the School of Computing at Australian National University (ANU). His research focuses on modal logic, coalgebraic systems, automated reasoning, and formal methods. He holds a PhD in Computer Science and has supervised numerous research students. Research interests include coalgebraic logic, non-classical modal logics, automated theorem proving, and applications in computational social choice. His work bridges theoretical foundations with practical tools like the COOL reasoner for modal fixpoint logics. Notable contributions span over 70 peer-reviewed publications since 2008, with recent work on non-iterative modal resolution calculi (2024), Hennessy-Milner properties via topological methods (2022), and formal verification of voting systems (2021). His research often integrates algebraic, categorical, and coalgebraic perspectives.
Dr. Jo Lane is affiliated with the Australian National University as a member of the John Curtin School of Medical Research . She collaborates with the Maddess Group , focusing on diagnostics for eye diseases, though her research spans multidisciplinary areas including mathematical logic, artificial intelligence, and automated reasoning. Academic Rank : Researcher Research Themes : Logic, theorem proving, constraint modelling, and AI Her recent work explores paraconsistent mathematics, relevant arithmetic, conflict-resolution algorithms for SAT solvers, and optimization techniques. She contributes to tools like Scavenger and Logic for Fun, bridging logic with problem-solving frameworks. Key article trends include advancements in automated reasoning (e.g., conflict-driven clause learning), applications of logic to AI planning (non-Markovian rewards), and interdisciplinary efforts connecting mathematical theory to computational methods. Dr. Lane’s collaborations and publications highlight expertise in logic, computational complexity, and medical diagnostics, though no explicit awards or student advising details are provided in the text.
Barry Drake serves as an Adjunct Professor in the School of Computer Science at the University of Technology Sydney (UTS), where he is also affiliated with the Faculty of Engineering and Information Technology and the Data Science Institute. Additionally, he holds the position of Co-Chief Scientist at the Digital Health Cooperative Research Centre and participates in government advisory committees. His career bridges academic research and industry application, with significant experience in translating research into practical technology solutions for business and government sectors. Drake earned his PhD in Computer Science from UNSW Australia (1998-2003) and a BSc with First Class Honors in Computer Science from UTS (1991-1996). His educational background is complemented by a Certificate of Proficiency for Radio Fitter/Mechanic Electronic Systems from the Royal Australian Navy. His research focuses on algorithms and software for practical smart systems, with particular expertise in applications of AI and machine learning, probabilistic inferencing and knowledge compilation, learning probabilistic models, and fast-efficient near-neighbor searching in ultra-high dimensional spaces. His work demonstrates a clear trajectory toward health informatics applications , especially in health systems and delivery of health services, where he has made significant contributions through projects like the Lumos statewide linkage programme. The analysis of his publication record reveals a consistent pattern of research bridging theoretical computer science with practical healthcare applications. His recent work shows increasing focus on health data integration, patient journey modeling, and privacy-preserving synthetic data generation for healthcare applications, while maintaining his foundational expertise in probabilistic models and efficient search algorithms. Inventor on 20 filed patents ORCID identifier: 0000-0003-0572-9936 Drake actively supervises Masters and PhD students according to his profile, and his funded research portfolio includes multiple grants from the Digital Health CRC and NSW Health. His industry experience, particularly his 13 years at Canon Information Systems Research Australia where he served as Senior Principal Engineer and lead researcher for machine learning, informs his approach to technology research methods from a commercial perspective. His current projects focus on the impact of integrated care in New South Wales, synthetic data generation, and patient journey modeling. As Co-Chief Scientist at the Digital Health CRC, Drake contributes to a major national initiative focused on digital health innovation. His work with the Lumos programme has created Australia's first statewide linked data asset across primary care and other health settings, providing unique insights about cross-setting healthcare utilization. This initiative represents a significant contribution to health data infrastructure in Australia.
Wang You-Gan is an accomplished academic researcher with over three decades of publication history spanning from 1991 to 2024. His work demonstrates a strong foundation in statistical methodology with applications across multiple domains including environmental science, fisheries management, machine learning, and computational statistics. His research has been published in high-impact journals across statistics, computer science, environmental science, and biology. Wang You-Gan's primary research interests include statistical modeling, regression analysis (particularly support vector regression), longitudinal data analysis, machine learning applications, and environmental statistics. His work shows a clear evolution from early fisheries and environmental applications to broader computational statistical methods with applications in energy systems, genomics, and cloud computing. His research demonstrates strong methodological development coupled with practical applications. His recent publications (2022-2024) show a strong focus on advanced regression techniques, particularly support vector regression with innovations in handling heterogeneous variances, autoregressive processes, and automatic hyperparameter selection. He has also expanded into machine learning applications for energy demand forecasting, air quality prediction, and data center optimization. His work often bridges theoretical statistical development with practical implementation across diverse domains. Wang You-Gan has received significant citation impact for his methodological contributions, with several papers accumulating over 100 citations. His collaborations span multiple institutions and disciplines, indicating his work's broad relevance across fields. His research has important applications in environmental monitoring, energy systems management, computational biology, and cloud computing infrastructure. The consistent publication record over more than 30 years demonstrates his sustained contribution to statistical methodology and its applications.
