جست‌وجوی استاد و پژوهشگر

Tingting Biمشاهده پروفایل

مدرس

• Software Architecture
• Knowledge Engineering
• Responsible AI
• +۳ مورد دیگر

Tingting Bi is a Lecturer in the School of Computing and Information Systems at the University of Melbourne, equivalent to an Assistant Professor in the U.S. academic system. She concurrently holds an adjunct position at the University of Western Australia's School of Physics, Maths and Computing. Her research focuses on software architecture for AI-based systems, LLM applications in knowledge engineering, and responsible AI development. Bi earned her PhD from Monash University under Prof. John Grundy, and previously worked as a Research Scientist at CSIRO's Data61. She actively contributes to top-tier conferences such as ICSE and journals like TSE, serving on program committees. Her research interests span knowledge-based engineering, vulnerability detection in smart contracts, and decentralized intelligence systems. Notable awards include Distinguished Reviewer recognitions (2023-2024) and teaching excellence awards.

• Software Engineering
• Cybersecurity
• Static Analysis
• +۶ مورد دیگر

Rahul Gopinath is a Lecturer in the School of Computer Science at the University of Sydney. His research focuses on the intersection of Software Engineering and Cybersecurity, particularly in static and dynamic program analysis to enhance software reliability, security, and maintainability. Prior to his current role, he was a postdoctoral researcher at CISPA Helmholtz Center for Information Security in Germany and earned his Ph.D. in 2017 from Oregon State University, USA. He is a co-author of the influential textbook *Fuzzing Book*, which serves as a foundational resource for students entering the field of fuzzing. His research interests span static and dynamic analysis techniques, specification mining, fuzzing, parsing, grammar inference, mutation analysis, and automatic program repair. Rahul Gopinath’s recent work includes developing FormatFuzzer for binary file format testing, advancing input grammar mining techniques, and exploring capability-based access control systems. He actively contributes to international conferences such as ICSE, ISSTA, and FSE, and his publications address challenges in mutation analysis, test adequacy, and empirical software engineering. Current research supervision includes a project titled *Evaluating Fast Virtual Machine Implementation Techniques for Fuzzing* with student Jack LUO. His work has been recognized through collaborations and presentations at leading institutions, reflecting his commitment to advancing automated software testing and security practices.

• Theoretical Computer Science
• Combinatorial Optimization
• Algorithms
• +۴ مورد دیگر

Dr. Julian Mestre is an Associate Professor in the School of Computer Science at the University of Sydney. He holds a BE from the Universidad Católica de Argentina (UCA), and MSc and PhD degrees in Computer Science from the University of Maryland (UMD, USA). His research focuses on theoretical computer science, particularly the design and analysis of efficient algorithms for combinatorial optimization problems such as scheduling, routing, and matching. He previously served as a postdoctoral fellow at the Max Planck Institute for Informatics in Germany. **Education**: PhD in Computer Science, University of Maryland (2000s) MSc in Computer Science, University of Maryland Bachelor of Engineering (BE), Universidad Católica de Argentina **Research Interests**: Julian specializes in algorithms for combinatorial optimization, including approximation algorithms, scheduling, graph theory, and discrete mathematics. His work often bridges theoretical foundations with practical applications in areas like mobile app optimization, sensor networks, and distributed systems. **Grants**: 2015: Local Reoptimization for Turbocharging Heuristics (ARC Discovery Project) 2013: Universal Solutions for Scheduling Problems (ARC DECRA) 2012: Algorithms for Combinatorial Optimization on Uncertain Inputs (Group of Eight/Germany Grant)

• Compiler Optimization
• Static Program Analysis
• Datalog Systems
• +۵ مورد دیگر

Professor Bernhard Scholz is a faculty member in the School of Computer Science at the University of Sydney . He specializes in compiler optimization, static program analysis, Datalog systems, blockchain technology, and parallel processing. His research focuses on improving compiler efficiency, analyzing complex programs, and developing tools for smart contract security. He holds a professorial position and has been involved in significant projects like the Fantom blockchain partnership, which funds specialized blockchain research. His work includes developing the Soufflé Datalog compiler and tools like MadMax for smart contract analysis. Research interests span compiler design, formal verification, distributed systems, and energy-efficient computing. His recent work emphasizes blockchain security, Datalog scalability, and parallel execution optimization. Notable contributions include EVMTracer for Ethereum analysis and Julia Cloud Matrix Machine for cloud-based matrix computations. Key grants include ARC Discovery Projects on heterogeneous systems and smart contracts. Awards include industry partnerships and sustained research funding. He advises on large-scale program analysis and has collaborated globally with institutions like ETH Zurich and Fantom Foundation. Labs and collaborations include the University of Sydney's Blockchain Lab and Fantom-funded projects. His work bridges theoretical compiler research with practical applications in security and distributed systems.

• Multiphase Flow
• Fluid Mechanics
• Interfacial Phenomena
• +۴ مورد دیگر

Professor Geoffrey Evans is an Honorary Professor in the School of Engineering (Chemical Engineering) at the University of Newcastle. He has over 30 years of research experience in multiphase systems, focusing on free surface phenomena, bubble-particle interactions, fluid mechanics, and industrial applications such as mineral processing and water treatment. Education: PhD and Bachelor of Engineering (Honours) in Chemical Engineering from the University of Newcastle. Research Interests: Multiphase flow dynamics, interfacial phenomena, particle technology, mineral processing, and sustainable engineering. His work combines experimental techniques (e.g., PIV, CFD) with theoretical modelling to address industrial challenges like flotation cell design, bubble dispersion, and turbulence effects. Awards: CSIRO External Medal (1990), John A Brodie Medal (2004), and a Best Paper Award in Multiphase Flow (2014). His research has led to patented technologies in emulsion production and gas dispersion systems. Teaching & Supervision: Supervised over 60 Honours and 10 PhD students. Involved in curriculum development, including the UniChe program ($1.65M grant). Recognized for postgraduate supervision and IChemE accreditation roles. Administration: Former Head of Department (1999–2001), Assistant Dean roles, and member of international conference committees. Focus on industry partnerships and sustainable engineering. Labs & Collaborations: Leads research in multiphase systems at Newcastle, collaborating with industries like CSIRO and ORICA. Active in global initiatives like the Australian Research Council Iron Ore Hub.

Christian Jakobمشاهده پروفایل

استاد

• Climate Modelling
• Tropical Convection
• Weather and Climate Interactions
• +۳ مورد دیگر

Professor Christian Jakob is a leading academic in climate science and meteorology at Monash University's School of Earth, Atmosphere and Environment. He holds the position of Professor for Climate Modelling and has been affiliated with Monash since 2007. Previously, he worked at the European Centre for Medium-Range Weather Forecasts (1993–2001) and the Australian Bureau of Meteorology (2002–2007). His research focuses on climate modelling, tropical convection, and energy/water cycle dynamics in global atmospheric models. Education: PhD in Meteorology from Ludwig Maximilians University, Munich (2001). Research Interests : Tropical convection mechanisms, weather-climate interactions, and evaluation of climate models. His work contributes to the UN Sustainable Development Goals (SDGs) related to climate action and environmental sustainability. Awards : Ascent Award (American Geophysical Union, 2016) Fellow of the Australian Meteorological and Oceanographic Society (2017) Morton Medal (Australian Meteorological and Oceanographic Society, 2018) Grants & Projects : ARC Centre of Excellence for the Weather of the 21st Century (2024–2031) National Environmental Science Program Phase 2 Climate Systems Hub (2020–2026) Co-chair of WCRP Digital Earths Lighthouse Activity (current) Labs/Teams : Leads major international collaborations, including roles in the World Climate Research Programme (WCRP) and the Global Energy and Water Cycle Experiment (GEWEX). His work integrates global climate models with observational data to address critical climate science challenges.

Tony Voمشاهده پروفایل

مدرس ارشد

• Engineering Education
• First-Year Student Success
• Digital Learning Technologies
• +۴ مورد دیگر

Dr. Tony Vo is a Senior Lecturer in the Department of Mechanical and Aerospace Engineering at Monash University. He transitioned from computational fluid dynamics research to engineering education, focusing on first-year student success, digital learning technologies, and cross-disciplinary projects. His work emphasizes improving educational outcomes through innovative pedagogy and student engagement strategies. Education: PhD in Mechanical Engineering (computational fluid dynamics of rotating flows), post-doctoral research in fluid mechanics and heat transfer applications. Research interests include: First-year engineering student retention and success Technology integration in education (e-assessment tools, physical/digital learning models) Undergraduate curriculum design and assessment frameworks TA training and mentorship programs Recent projects include: Interactive Labs Prototype for Mass-Spring-Damper Systems (2025-2027) STEM sustainability entrepreneurship program targeting youth (2025-2026) Key achievements: Recipient of Monash's Vice-Chancellor's Teaching Excellence Award (2018) Dean's Award for Programs Enhancing Learning (2024) Advisor to Precious Plastic Monash student initiative His research publications span both contemporary education innovations and foundational fluid mechanics studies, reflecting his dual expertise in engineering science and pedagogy.

• Cryptography
• Information Security
• Symmetric Encryption
• +۱۱ مورد دیگر

Leonie Simpson is an Associate Professor in the School of Computer Science at Queensland University of Technology (QUT), Faculty of Science. Her research and teaching are centered on cryptography and information security, with a strong focus on symmetric encryption, key management, and secure communications. Her research interests include: Symmetric encryption algorithms for real-time communications Authenticated encryption and security-efficiency trade-offs Boolean functions in cipher design for cyber attack resistance Information security management and threat information sharing IoT and vehicular communication security Leonie has published over 80 articles and three book chapters on symmetric ciphers. Her recent publications emphasize lightweight cryptography for connected vehicles, anomaly detection in key management via metadata, and secure frameworks for post-quantum migration. These works reflect a consistent trend toward practical, efficient, and resilient cryptographic solutions for emerging technologies. She has supervised 12 PhD and 1 Master’s student to completion and currently mentors 5 research students. Her grants include leadership in the Cyber Security CRC and an ARC project on secure stream ciphers. She also serves on the editorial board of the journal Cryptography and has chaired major conferences like ACISP 2013 and 2023. Notable professional roles include: Theme Leader, Resilient Systems, Cyber Security CRC Editorial Board Member, Cryptography journal Program Co-chair, ACISP 2013 and 2023 Referee for top journals and conferences in cryptography She has led industry security analyses and served as an expert witness in a Federal Court case on cryptographic telecommunications. Her teaching includes unit coordination for Cyber Security and previous development of multiple information security and cryptography units at QUT.

Mark Uttingمشاهده پروفایل

دانشیار

• Software Verification
• Model-Based Testing
• Formal Methods
• +۵ مورد دیگر

Associate Professor Mark Utting is affiliated with the University of Queensland (UQ), specifically within the School of Electrical Engineering and Computer Science. He holds the rank of Associate Professor and focuses on software verification, model-based testing, and programming language design. His academic journey includes roles at multiple Queensland universities, Waikato University (NZ), and the University of Franche-Comte (France). He earned his PhD from UNSW on object-oriented language semantics. Utting has authored over 80 publications and the book 'Practical Model-Based Testing: A Tools Approach.' His current research emphasizes verifying compilers, blockchain smart contracts, ARM64 binaries, and AI-generated code. Key projects include the Algorand Centre for Sustainability Informatics and the BASIL project on secure information-flow logics. His research spans formal methods, theorem proving, and software engineering. Utting leads supervision in areas like compiler verification and smart contract analysis, with active involvement in grants such as the 'Directed and Incremental Analysis for DevSecOps' project. Utting collaborates on interdisciplinary projects, including energy grid simulations and cybersecurity strategies. His work bridges academia and industry, with past experience in genomics and manufacturing software development.

Rachael Hurdمشاهده پروفایل

مدرس ارشد

• Glaciology
• Geodesy
• Surveying (incl. hydrographic surveying)
• +۴ مورد دیگر

Dr. Rachael Hurd is a Senior Lecturer in Spatial Sciences at the University of Tasmania's School of Geography, Planning, and Spatial Sciences. With over 20 years of academic experience, she serves as Deputy Head of School and Course Coordinator for the Graduate Diploma of Land Surveying. Her expertise spans glaciology, geodesy, and Antarctic spatial science research. Education: Completed undergraduate and postgraduate studies in Surveying and Spatial Sciences at the University of Tasmania (1991-2002), with her PhD focusing on glaciological applications of satellite positioning in Antarctica. Her postgraduate research involved large-scale fieldwork in East Antarctica, analyzing glacier dynamics using GPS and geophysical methods. Research Interests: Specializes in GPS/GNSS data analysis, ice sheet dynamics observation, and tropospheric water vapor detection. Her work integrates spatial technologies to address climate change impacts on polar environments, with a focus on the Amery Ice Shelf and Lambert Glacier Basin. Funded Projects: Participated in the Australian Antarctic Program Partnership (2019-2029), a $50M initiative involving multiple institutions to study Antarctic climate and marine ecosystems. Awards: No specific awards listed, but recognized for contributions to Antarctic spatial science through collaborative projects and institutional leadership roles. Teaching & Supervision: Coordinates surveying courses including KGG306, KGG546, and professional placement programs. Engages students in practical applications of geospatial technologies through coursework and fieldwork. Service: Serves on the Tasmanian Land Surveyors Accreditation Board and Tasmanian Spatial Information Council, promoting standards and spatial data initiatives.

Xiao Chengمشاهده پروفایل

مدرس

• Programming Languages
• Software Engineering
• Software Security
• +۶ مورد دیگر

Xiao Cheng is a Lecturer in the School of Computing at Macquarie University, specializing in the intersection of Programming Languages and Software Engineering. His research focuses on enhancing software security and reliability through advanced analysis techniques. PhD in Computer Science and Engineering from the University of New South Wales Research interests include: Abstract interpretation and typestate analysis Integration of AI technologies like graph neural networks Malware detection in Android systems using DNN Recent publications address challenges in: Quantum search-optimized static analysis Dynamic malware label noise mitigation Recursion handling through topological ordering Scientific recognition includes: FSE 2024 ACM SIGSOFT Distinguished Paper Award OOPSLA 2020 ACM SIGPLAN Distinguished Paper Award Professional service includes: Web Chair for LCTES 2024 PC member for FSE 2026, ISSRE 2025, PAKDD 2025 Artifact Evaluation Committee for ICSE 2025 and ISSTA 2024