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

• Model Checking
• Symbolic Execution
• Compositional Verification
• +۷ مورد دیگر

Corina Pasareanu is an ACM Fellow and IEEE ASE Fellow serving as a Principal Scientist at Carnegie Mellon University's CyLab Security and Privacy Institute and Technical Professional Leader for Data Science at NASA Ames Research Center through KBR. Her work bridges formal methods, software verification, and artificial intelligence to ensure the safety and security of complex systems, particularly autonomous systems and machine learning applications. Dr. Pasareanu received her academic training at: Ph.D. in Computer Science, Kansas State University (2001) M.S. in Computer Science, University Politehcnica of Bucharest (1995) B.S. in Computer Science, University Politehcnica of Bucharest (1994) Her research focuses on developing formal verification techniques that can provide mathematical guarantees about the behavior of complex software systems. She specializes in applying model checking, symbolic execution, and compositional verification methods to challenges in autonomy, security, and AI safety. Her recent work addresses the verification of systems incorporating machine learning components, particularly neural networks used in safety-critical applications like autonomous vehicles. She investigates how to ensure these systems behave correctly even when their perception components have uncertainties or are subject to adversarial attacks. Analysis of her recent publications shows a strong trend toward verifying AI and machine learning systems, particularly focusing on neural networks in autonomous systems. Her work increasingly addresses the challenges of Large Language Models, examining both their vulnerabilities to attacks and methods to defend against them. She also continues to advance traditional software verification techniques while adapting them to modern programming languages and paradigms. Dr. Pasareanu has received numerous prestigious awards recognizing her contributions to the field: ACM Fellow IEEE ASE Fellow ETAPS Test of Time Award (2021) ASE Most Influential Paper Award (2018) ESEC/FSE Test of Time Award (2018) ISSTA Retrospective Impact Paper Award (2018) ACM Impact Paper Award (2010) ICSE 2010 Most Influential Paper Award (2010) As an advisor, Dr. Pasareanu mentors several PhD students and postdoctoral researchers, often in collaboration with other faculty members at CMU. Her students focus on cutting-edge research at the intersection of formal methods and AI safety. Her research is supported by substantial funding from diverse sources including NSF, DARPA, NASA, AWS, and industry partnerships. She leads multiple projects focused on AI security, formal verification of neural networks, and software analysis techniques. Dr. Pasareanu also plays a significant role in the broader research community, serving as Program/General Chair for major conferences including ICSE 2025, and as an associate editor for IEEE TSE and STTT. Dr. Pasareanu leads research teams working on projects like "Trinity: Neurosymbolic Learning and Reasoning" (DARPA) and "HUGS: Human-Guided Software Testing and Analysis" (NSF). Her work often involves interdisciplinary collaboration between computer scientists, formal methods experts, and domain specialists to address complex safety challenges in autonomous systems.

Ron Van der Meydenمشاهده پروفایل

استاد

• Computer Security
• Logic in Computer Science
• Logic of Knowledge and Belief
• +۹ مورد دیگر

Professor Ron Van der Meyden is a faculty member at the School of Computer Science and Engineering at the University of New South Wales, Sydney. His work focuses on the intersection of logic, security, and distributed systems, with particular expertise in blockchain technology and smart contracts. He leads the UNSW Interest Group in Blockchain, Smart Contracts and Cryptocurrency and organizes related seminar series. Professor Van der Meyden's research spans formal methods, computer security, and distributed systems. His work on epistemic logic has been influential in understanding knowledge-based systems and security protocols. He has made significant contributions to the formal verification of blockchain protocols and smart contracts, bringing rigorous mathematical approaches to these emerging technologies. His recent work explores the application of knowledge-based reasoning to consensus protocols and intersection management in autonomous systems. ACM Distinguished Scientist, 2009 As an advisor, Professor Van der Meyden has mentored numerous PhD and Masters students who have gone on to successful careers in academia and industry. His research is supported by grants including Australia's Economic Accelerator Grant for developing a commercial version of a software model checker and an AFOSR/DST Australia grant for verification and synthesis of fault-tolerant autonomous systems. He has received multiple ARC Discovery and Linkage grants over the years. Professor Van der Meyden leads the UNSW Interest Group in Blockchain, Smart Contracts and Cryptocurrency, fostering interdisciplinary research in this area. He has played key roles in major research centers including Smart Internet CRC and National ICT Australia (NICTA), where he established and led the Formal Methods program. His work on the formal verification of the seL4 microkernel and the Goanna static analysis tool has had significant practical impact.

Sanjoy Nandiمشاهده پروفایل

پژوهشگر ارشد

• Neuromorphic Computing
• Memristor Technology
• Electronic Materials Science
• +۳ مورد دیگر

Sanjoy Nandi is a Postdoctoral Fellow in the Department of Electronic Materials Engineering at the Australian National University (ANU), specializing in neuromorphic computing and memristor technology. He holds a PhD in Physics from the University of Chittagong (2017). His research focuses on designing novel memristive devices for neuromorphic systems, with particular emphasis on threshold switching, material properties of NbOx and V₃O₅ films, and integrating memristors with CMOS circuits. Nandi has published over 47 peer-reviewed articles, with an h-index of 14 and 161 citations. His work spans memristor-based spiking neural networks, thermosensitive dynamics, and optical tunable oscillators, contributing to advancements in neuromorphic hardware and solid-state electronics. Education: PhD in Physics (University of Chittagong, 2017). Research supervision is registered through ANU's Department of Electronic Materials Engineering. Research interests include memristor engineering, neuromorphic architectures, and nanoelectronics. Key projects involve exploring negative differential resistance in vanadium oxides and developing ternary logic systems using memristor-CMOS hybrids. His contributions also address thermal effects in cross-point devices and material interdiffusion impacts on switching characteristics. Labs/Teams: Collaborates within ANU's Electronic Materials Engineering research groups, focusing on interdisciplinary projects at the intersection of materials science and circuit design. Active in global collaborations through co-authored publications with institutions in Spain, Japan, and the UK.

Yanjun Zhangمشاهده پروفایل

پژوهشگر ارشد

• Cybersecurity
• Privacy-Preserving Technologies
• Federated Learning
• +۳ مورد دیگر

Dr. Yanjun Zhang is an Honorary Research Fellow at the School of Electrical Engineering and Computer Science, The University of Queensland. His research focuses on privacy-preserving technologies, federated learning, cybersecurity in IoT systems, and machine learning security. He holds a PhD in Privacy-Preserving Sharing for Genome-Wide Analysis from The University of Queensland (2021). Education: PhD in Information Technology, School of Information Technology and Electrical Engineering, The University of Queensland (2021) Research Interests: Designing secure collaborative machine learning frameworks Defending against adversarial attacks in cyber-physical systems Privacy preservation in distributed genomic and medical data analysis Compliance and ethics in virtual personal assistant applications Key Contributions: Developed privacy-preserving federated learning frameworks (AgrAmplifier, PrivColl) Conducted foundational studies on evasion attacks in IoT systems Created datasets for analyzing malicious browser extensions and Alexa skills Labs/Teams: Active contributor to UQ Cyber initiatives, including the 2021-2022 Seed Funding project on federated deep learning for medical imaging.

Fendy Santosoمشاهده پروفایل

پژوهشگر

• Cybersecurity
• Artificial Intelligence
• Autonomous Systems
• +۱۲ مورد دیگر

Dr. Fendy Santoso is a leading researcher and Cyber-Physical Lead at the Artificial Intelligence and Cyber Futures Institute, Charles Sturt University, Australia. He also holds a Visiting Fellow position at the School of Engineering and Technology, UNSW Canberra, and has held visiting roles at the University of Cambridge and Cranfield University. His work bridges cybersecurity, AI, and autonomous systems, with significant impact in UAV security and cyber-physical resilience. Education: PhD in Electrical Engineering, University of New South Wales (Awarded: 21 Jun 2012) Master of Electrical and Computer Systems Engineering, Monash University (Awarded: 07 Jun 2007) Dr. Santoso’s research focuses on adversarial machine learning, UAV security, intrusion detection in robotic systems, and cyber-secure digital twins. His work integrates AI, control theory, and cybersecurity to enhance the resilience of autonomous systems. He has pioneered research in securing ROS-based platforms and defending against GPS spoofing and DoS attacks in unmanned vehicles. His recent publications (2020–2025) highlight a strong trend in applying deep learning, fuzzy logic, and physics-informed models to detect and mitigate cyberattacks in UAVs and UGVs. Key themes include intrusion detection systems, secure digital twins for agriculture, and intelligent transportation systems enabled by drones. His work is frequently published in IEEE Transactions and top-tier conferences. Scientific Awards and Grants: Vice-Chancellor’s Distinguished Early Career Travel Fellowship, University of Wollongong (2019) ARC Linkage Project Grant (LP230100083) on adversarial machine learning for UAVs (2024) CSIRO-funded AgriTwins project on cyber-secure digital twins for agriculture (2024) Dr. Santoso has secured over AUD 3 million in competitive research funding and actively supervises postgraduate students. He serves as a reviewer for the Australian Research Council and technical program committees of major AI and engineering conferences. His collaborative work spans defence organisations like DSTG and the U.S. Army Ground Vehicle Systems Centre, as well as international academic institutions. He is a Senior Member of IEEE and leads research in labs focused on cyber-physical systems, autonomous robotics, and AI-driven security frameworks. His team develops real-time detection tools for cyberattacks on military and agricultural robots, contributing to critical infrastructure resilience.

Moe Mojtahediمشاهده پروفایل

مدرس ارشد

• Construction Management
• Urban and Regional Planning
• Operations Research
• +۸ مورد دیگر

Dr Moe Mojtahedi is a Senior Lecturer at the School of Built Environment, University of New South Wales (UNSW). He earned his PhD in 2014 from the School of Civil Engineering at the University of Sydney. As a certified Project Management Professional (PMP) and Professional Engineer (PEng) accredited by Engineers Australia, Dr Mojtahedi bridges academic research with practical application in construction management and disaster risk reduction. PhD (University of Sydney, 2014) MEngSc (University of New South Wales) B.E. (Industrial), Professional Engineer (Australia) His research focuses on the intersection of construction management , urban resilience , and disaster risk reduction , particularly examining: Climate change adaptation in infrastructure Post-disaster recovery frameworks Lean construction methodologies Decision support systems for risk management Evacuation planning optimization Resilient hospital infrastructure Recent publications analyze trends in disaster science using computational modeling, prefabricated construction for industrial buildings, and AI/ML applications in aged care facility evacuation. His 2025 ChemistryOpen article explores sustainable reaction media for chemoselective processes, demonstrating interdisciplinary reach. Scientific recognition includes: Research Excellence Awards (Engineers Australia, 2012 & 2013) Best Conference Paper (ICES, Salford, 2017) Elsevier Outstanding Contribution Award (International Journal of Project Management, 2017) Learning and Teaching Excellence (UNSW, 2017) As a supervisor, he guides 7 PhD candidates and has mentored 4 graduates, including Mahmoud Ershadi (project management office effectiveness) and Kamyar Kabirifar (construction waste management). He contributes to policy discussions on aligning National Construction Code with UN Sendai Framework and advocates for disaster science integration in built environment practices. His media contributions examine hospital flood risks and climate change adaptation in Australia.

Simon Devittمشاهده پروفایل

استاد

• Quantum Computing
• Quantum Software
• Quantum Information
• +۴ مورد دیگر

Professor Simon Devitt is Research Director of the Centre for Quantum Software and Information (QSI) at the University of Technology Sydney's Faculty of Engineering and Information Technology, School of Computer Science. He also holds several prestigious international appointments including InstituteQ Visiting Chair of Excellence in Quantum Technologies at Aalto University, Finland, and visiting positions at RIKEN in Japan. As a leading figure in quantum computing research, he directs the Australian Quantum Software Network and co-founded quantum education startup Eigensystems Pty Ltd. His educational background includes: PhD in Physics from University of Melbourne (2004-2007) BSc (Hons) in Physics from University of Melbourne (2000-2003) Professor Devitt's research spans quantum software, quantum architecture, and quantum error correction, with a focus on making quantum computing practical at scale. His work addresses fundamental challenges in quantum computing architecture when scaled to millions or billions of qubits. He has pioneered approaches to quantum error correction, resource estimation, and quantum network design, particularly through his leadership of the Quantum Technology at Scale (QTS) research group. His research bridges theoretical foundations with practical implementation challenges, aiming to shape the evolution of quantum technology over the coming decades. His recent publications demonstrate a strong focus on practical quantum computing challenges, with particular emphasis on error correction techniques, resource estimation, and quantum architecture. A significant portion of his work addresses the surface code and its variants, exploring ways to optimize qubit usage and error rates. He has also made important contributions to quantum networking, particularly through the concept of "quantum sneakernet," and to quantum education and standardization efforts that will be critical for the emerging quantum industry. His notable awards and recognitions include: Fellow of the Australian Institute of Physics Fellow of the Royal Society of New South Wales Warren Prize from the Royal Society of NSW InstituteQ Visiting Chair of Excellence in Quantum Technology Professor Devitt actively mentors numerous PhD students, postdocs, and researchers through his Quantum Technology at Scale group. His research is supported by significant funding from diverse sources including Google Academic Research Awards, Sydney Quantum Academy, DARPA, and the Japanese Society for the Promotion of Science. He has led projects on quantum sneakernet networks, quantum algorithm benchmarking frameworks, and quantum software tools that address critical challenges in the field. He leads the Quantum Technology at Scale (QTS) research group at UTS, which focuses on the design and architectural challenges of quantum computing and communications technology at scale. The group includes researchers working on quantum computing architectures, quantum networking (Rottnest Quantum Sneakernet project), and quantum software (Quokka project). The team collaborates extensively with international partners including Aalto University in Finland, University of New South Wales, Keio University in Japan, and industry leaders like Rigetti Computing.

• Mechatronics
• Autonomous Systems
• Biomedical Engineering
• +۷ مورد دیگر

Dr. Milan Simic is a Senior Lecturer in the School of Engineering at RMIT University, serving as Program Manager for the Master of Engineering (Management) degree. He holds editorial roles for the Knowledge Engineering Systems and Intelligent Decision Technologies journals and is Associate Director of the Australia–India Research Centre for Automation Software Engineering. With a PhD in Electronic Engineering from the University of Niš and a Graduate Diploma in Education from RMIT, Dr. Simic has extensive industry and academic experience in Australia and internationally. His research focuses on mechatronics, autonomous systems, biomedical engineering, robotics, intelligent transportation systems, and green energy. Notable projects include AI-driven railway system strategies, gait analysis for biomedical applications, and smart traffic control systems. He actively supervises PhD and master’s students in areas like autonomous vehicles and energy recovery systems. Dr. Simic’s work bridges engineering innovation with societal impact, emphasizing sustainable transportation solutions and smart city technologies. His contributions span journal editing, international collaborations, and curriculum development in engineering management.

• Water Resources Systems Management
• Groundwater and Surface Water Quality
• Saltwater Intrusion Control
• +۷ مورد دیگر

Bithin Datta is a Senior Lecturer in the Discipline of Civil Engineering at James Cook University (Australia), part of the College of Science and Engineering and the Division of Tropical Environments and Societies. He is affiliated with TropWATER (Centre for Tropical Waters and Aquatic Ecosystem Research), the Economic Geology Research Unit (EGRU) at JCU, and the CRC-for Contamination Assessment and Remediation of the Environment (CRC-CARE) at the University of Newcastle. Previously, he held Professor and Senior Professor positions at IIT Kanpur, India (1995-2009), and served as Head of the Civil Engineering Department and Head of the Postgraduate Environmental Engineering and Management Program. He has held Visiting Professorships at Dalhousie University (Canada), Denmark Technical University (Copenhagen), and the Asian Institute of Technology (Bangkok). Education: B.Tech (Hons) in Civil Engineering from IIT Kharagpur (India), Master’s degree in Civil Engineering (first rank in specialization), and a PhD in Civil Engineering from Purdue University (USA), specializing in Hydraulics and Systems Engineering. He is a Fellow of Engineers Australia (FIEAust). Research interests include water resources systems management, groundwater and surface water modeling, reservoir operation optimization, saltwater intrusion control, AI-driven environmental predictions, and ecological flow assessment. His work integrates simulation-optimization frameworks, machine learning (e.g., ANFIS, SVM), and hydraulic engineering principles to address contamination, climate change, and infrastructure challenges in tropical and coastal regions. His publications (178+ entries) focus on computational tools for groundwater contamination source identification, sustainable aquifer management, and reservoir environmental impacts. Notable projects include a $629,000 CRC-CARE-funded initiative for contamination monitoring networks and AI-based drought prediction models in tropical Queensland. Advising: Coordinated the Master of Engineering (Water Resources Management) at JCU and supervised over 30+ Master’s and 19 Ph.D. students across IIT Kanpur, JCU, and the University of South Australia. His research has been ranked #1 globally by ScholarGPS in Groundwater Pollution, Surrogate Models (AI/ML), and Saltwater Intrusion management. Labs/Teams: Core member of TropWATER, EGRU, and CRC-CARE, leading interdisciplinary projects on tropical water systems and geochemical contamination modeling in mine sites.

• Quantum Physics
• Quantum Computing
• Quantum Error Correction
• +۳ مورد دیگر

Dr. Dominic Williamson is a theoretical quantum physicist and DECRA Research Fellow at the School of Physics, University of Sydney. He specializes in quantum phases of matter and their applications to quantum error correction and computing. His work bridges condensed matter theory and quantum information science, focusing on fracton topological phases and fault-tolerant quantum architectures. Education: PhD in Physics from the University of Vienna (2017); Postdoctoral research at Yale University, Stanford University, and IBM Quantum. Current roles include faculty membership at the University of Sydney’s Quantum Science Group and prior industry experience at IBM and PsiQuantum. Research interests: Topological phases of matter, quantum error correction codes (e.g., fracton codes, QLDPC systems), fault-tolerant quantum computing architectures, and non-Abelian anyon systems. Recent breakthroughs include low-overhead quantum architectures and novel approaches to parallelized logical measurements. Grants: 2022 ARC Discovery Early Career Researcher Award for topological phases in quantum computation. Collaborations include projects on gauging logical operators and quantum code surgery. Professional activities: Editor for Quantum , frequent speaker at international conferences, and mentor for students at all levels (undergraduate to postdoctoral). Active in open-source research and public engagement through platforms like arXiv and Google Scholar.

Leila Moslemi Naeniمشاهده پروفایل

مدرس ارشد

• Project Management
• Fuzzy Methods
• Mathematical Modelling
• +۵ مورد دیگر

Dr. Leila Moslemi Naeni is a Senior Lecturer at the University of Technology Sydney (UTS), School of Built Environment, with a dual appointment in the Faculty of Design, Architecture and Building. She previously served as a Lecturer at UTS (2016-2018) and Sessional Lecturer at Curtin University (2015-2016). PhD in Computer Science (University of Newcastle, 2017) MSc in Industrial Engineering (Sharif University of Technology, 2007) BSc in Industrial Engineering (Iran University of Science and Technology, 2004) Her research focuses on project management under uncertainty, integrating fuzzy systems and mathematical modeling with applications in construction, ESG reporting, and disruptive technologies. She developed innovative methods for statistical control charts in project monitoring and leads research on leveraging blockchain and digital tools for sustainable infrastructure. Recent publications highlight her work on resource-constrained scheduling algorithms, ESG integration in megaprojects, and gamification in project management education. She serves as Review Editor for Frontiers in Environmental Science and on the Editorial Board of Smart and Sustainable Built Environment . 2016 PMI NSW Research Award 2022 Walt Lipke Award 2013 FEBE Postgraduate Research Prize As an active research mentor, she supervises PhD students in machine learning applications, disaster management technologies, and social infrastructure investments. Her teaching emphasizes simulation-based learning, collaborating with Oulo University (Finland) to quantify educational value.

• Artificial Intelligence
• Knowledge Graphs
• Semantic Technologies
• +۵ مورد دیگر

Dr Zhe Wang is a Senior Lecturer at the School of Information and Communication Technology, Griffith University, focusing on artificial intelligence, knowledge graphs, and semantic technologies. He earned his PhD in Computer Science from Griffith University (2011) and previously worked as a Research Fellow at the University of Oxford (2011-2013) on ontology-based systems. Research: Specializes in knowledge graph construction, rule mining for explainable AI, and integrating machine learning with logical reasoning. Led development of the scalable RLvLR rule-mining system and contributed to the HermiT ontology reasoner. Teaching: Instructs undergraduate and postgraduate courses including Introduction to Artificial Intelligence, Secure Development Operations, and Software Engineering Fundamentals. Grants: Funded by Australia's Economic Accelerator Ignite Grant (2025) for AI-driven marine life survey systems and Office of National Intelligence projects (2021-2022). Publications: Active in top venues like AAAI, ICASSP, and ISWC, with recent work on temporal knowledge graph reasoning, auction design algorithms, and neurosymbolic AI systems.

Lizhen Quمشاهده پروفایل

مدرس

• Natural Language Processing (NLP)
• Privacy-Preserving Methods
• Neuro-Symbolic AI
• +۴ مورد دیگر

Dr. Lizhen Qu is a Lecturer at Monash University’s Faculty of Information Technology, part of the AIM Lab. His research focuses on robust and privacy-preserving neuro-symbolic methods for NLP and multimodal applications, including causal reasoning in dialogue systems, legal AI, digital health, and social NLP. Previously, he worked at Data61/CSIRO and completed his PhD at Saarland University and the Max-Planck-Institute for Informatics. Education: PhD in Computer Science from Saarland University and Max-Planck-Institute for Informatics. Research interests include integrating deep learning with logical reasoning, causal discovery, and ethical AI applications. He leads projects like TMLGenAI (Trusted Generative AI) and HARNESS (Neuro-Symbolic Systems), addressing model robustness and societal impact. Projects: TMLGenAI (2024–2026), HARNESS (2023–2027), and Accessible Data Exploration for Blind People (2023–2027) Contributions: Developed benchmarks like LazyReview and ACCESS, and co-organized ACL and IJCNLP workshops Research trends span causal discovery in NLP, federated learning for legal systems (e.g., FedLegal), and multimodal security. His work aligns with UN SDGs for innovation and health.

Dong Gongمشاهده پروفایل

مدرس ارشد

• Computer Vision
• Machine Learning
• Deep Learning
• +۳ مورد دیگر

Dr. Dong Gong is a Senior Lecturer and ARC DECRA Fellow (2023-2026) at the School of Computer Science and Engineering (CSE), UNSW. He holds an adjunct position at the Australian Institute for Machine Learning (AIML), University of Adelaide. His research focuses on machine learning challenges in dynamic environments, including continual learning, foundation models, generative models, and applications in interdisciplinary areas like mining and agriculture. Research interests include learning with non-ideal supervision, foundation model adaptation, generative models, and interdisciplinary problems combining CV/ML with domain-specific applications. His work often addresses real-world scenarios such as mineral exploration and soil trait analysis using CV/ML technologies. Outstanding Reviewer: NeurIPS 2018 Outstanding Area Chair: ACM MM 2024 ARC DECRA Fellowship (2023-2026) Advising and grants: Actively supervises PhD/MPhil students in computer vision and ML. Collaborates with industry and government on research projects. Utilizes advanced infrastructure like UNSW's Katana supercomputing cluster and Gadi (NCI). Labs/Teams: Involved in interdisciplinary research groups at UNSW CSE and AIML, focusing on dynamic learning paradigms and real-world applications of AI.

Kirsten Winterمشاهده پروفایل

استاد

• Formal Verification
• Concurrent Programming
• Computer Security
• +۳ مورد دیگر

Dr. Kirsten Winter is an Honorary Senior Fellow at the University of Queensland's School of Electrical Engineering and Computer Science. Her research focuses on formal verification, concurrent programming, and weak memory models. She has contributed significantly to areas such as model checking, railway interlocking systems, and behavior trees. Her work spans theoretical foundations (e.g., linearizability, concurrency semantics) and practical applications in security and embedded systems. Recent projects include the Program Analysis Cell and BASIL: Boogie Analysis for Secure Information-Flow Logics. Winter has collaborated extensively with researchers like Graeme Smith and Robert Colvin. Her most recent publications address speculative execution vulnerabilities and compositional reasoning in weak memory architectures.