Faculty of Engineering, Architecture and Information Technology
Senior Lecturer
School of Electrical Engineering and Computer Science
Faculty of Engineering, Architecture and Information Technology
Availability:
Available for supervision
Media expert
Dr. Naipeng Dong is an expert in automatic formal verification of security and privacy in cryptographic protocols, Android applications and blockchain systems.
She has developed efficient automatic formal verification techniques with a focus on attacker reasoning and analysis on cryptogrpahic protocols, developed algorithms to verify fault-tolerance of systems with dishonest participants, and analysed systems in e-auction, e-health, Single-Sign-on authentication, and blockchain consensus.
Faculty of Engineering, Architecture and Information Technology
Senior Lecturer
School of Electrical Engineering and Computer Science
Faculty of Engineering, Architecture and Information Technology
Availability:
Available for supervision
Dr. Guowei Yang is a Senior Lecturer in the School of Electrical Engineering and Computer Science at The University of Queensland, Australia. His research interests lie in Software Engineering, and its synergy with Machine Learning and Programming Languages, with a focus on improving reliability and security of software and machine learning systems. Prior to joining UQ in 2021, he was a tenured Associate Professor in the Department of Computer Science at Texas State University, USA. He received his Ph.D. from The University of Texas at Austin, USA in 2013. To find out more details please check his homepage: https://guoweiyang.github.io.
Multiple scholarships are available! Dr. Guowei Yang is looking for highly motivated students (including PhDs, Masters, undergraduates), and visitors to join his research group. If you are interested and have background in software engineering, programming languages, formal methods, and/or AI, please send an email with your CV to guowei.yang@uq.edu.au. The University of Queensland is ranked in the top 50 globally according to major ranking systems, including QS (40) and U.S. News (41).
