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
Availability:
Available for supervision
Dr Evgenii Nekhoroshev is a Postdoctoral Research Fellow at the School of Chemical Engineering and a member of the Pyrometallurgy Innovation Centre led by Prof. Evgueni Jak.
He graduated with a Master in Chemistry (chemical thermodynamics) from Lomonosov's Moscow State University, Deparment of Chemistry in 2012. His Master's Thesis was "Thermodynamic optimization of the NaOH-Al(OH)3-Na2SiO3-H2O system for applications in Bayer's process of bauxite treatment" as part of a bigger project initiated in collaboration with Rusal company aimed at utilisation/valorisation of red mud residues accumulated during the production of aluminium oxide from bauxite ores.
In 2019, he completed a PhD in Metallurgical Engineering at Ecole Polytechnique of Montreal, Canada within The Centre For Research in Computational Thermodynamics (CRCT), where he acquired expertise in FactSage software, multicomponent database development, and was included in the list of official collaborators of FactSage. His PhD thesis was "Thermodynamic optimization of the Na2O-K2O-Al2O3-CaO-MgO-B2O3-SiO2 system" sponsored by Glass Consortium including Corning and SCHOTT glass producers. The purpose of the database he developed was to assist the industry in designing new glasses with special properties: chemically hardened glasses (smartphones), technical glasses with high thermal and chemical resilience (boron-containing glasses), chemically inert glasses, etc.
Short after receiving his PhD, Dr Evgenii Nekhoroshev accepted a position at The University of Queensland as part of the Pyrometallurgy Innovation Centre's team where he has an official title of Theme Leader in Thermodynamic Computations, combining his broad expertise in metallurgy, chemical engineering, applied mathematics, and programming.
Dr Evgenii Nekhoroshev has always been passionate about formalisation and automation of big research tasks. He started working on developing an automated solver for thermodynamic optimisation during his PhD thesis which was improved and finalised using the ideas of Prof. Evgueni Jak about real-time derivative matrix optimization and sensitivity analysis applicable to large multicomponent systems. His contribution to the Centre allowed to make transition to a continuous optimization approach when experimental and modelling streams of work in the Centre are efficiently combined together. It allows to include the most recent experimental datasets into a self-consistent database update with minimal time delays.
I am a Cosmologist studying the properties of the Universe on the largest scales.
By mapping the positions of millions of galaxies, I investigate the unknown physics of the dark energy which drives the evolution of the Universe today, and the physics just after the Big Bang, when the ripples which grew under gravity to become galaxies were created.
I am actively participating in the key experiments designed to understand dark energy and gravity. I am co-chair of the Dark Energy Spectroscopic Instrument (DESI) lensing working group, and an active member of the Vera Rubin Observatory (LSST) and the Dark Energy Survey (DES). In the past, I had led science with the Sloan Digital Sky Survey, one of the major quests of contemporary physics that has spurred advancement in answering a range of fundamental questions about the origins of the universe.
I am passionate about communicating top-level research ideas to audiences outside our immediate academic sub-community. I have experience on a variety of media, including radio, public talks and lectures to local schools, science festivals and amateur astronomy groups, outreach activities at Stargazing Live events, as well as through written pieces.
I am an advocate for making STEM field accessible to everyone. During my career, I took part into different initiatives aiming to reduce structural barriers faced by different minorities in academia and inspire the next generation of STEM careers. I am part of the Women in Science Association with the aim to foster a community for young women in STEM, within and beyond the academic community. I worked and volunteered at N.G.O. centres, in Italy and Australia supporting young students to overcome educational inequality caused by poverty and other conditions.
Since 2021 I am on the Early Career Chapter committee for the Astronomical Society of Australia (ASA) to promote and assist the career development of early and mid-career researchers in the Australian astronomy community. I am also part of the Wellbeing ambassador program at University of Queensland, to promote and assist the career development of early and mid-career researchers in the Australian astronomy community.
School of Electrical Engineering and Computer Science
Faculty of Engineering, Architecture and Information Technology
Availability:
Available for supervision
Associate Professor Mark Utting's research interests include software verification, model-based testing, theorem proving and automated reasoning, programming language design and implementation. He received his PhD from UNSW on the semantics of object-oriented languages, and since then has worked as an academic at several Queensland universities, as well as Waikato University in NZ and the University of Franche-Comte in France. He is passionate about designing and engineering good software that solves real-world problems, has extensive experience with managing software development projects and teams both in academia and industry, and has worked in industry, developing next generation genomics software and manufacturing software. He is author of the book ‘Practical Model-Based Testing: A Tools Approach’, as well as more than 80 publications on model-based testing, software verification, and language design and implementation. His current research focus is on using software verification to give strong guarantees about the correctness of compilers, correctness of blockchain smart contracts, freedom from information leaks of ARM64 binary programs, and the correctness of AI-generated code.
Affiliate of Research Centre in Creative Arts and Human Flourishing
Research Centre in Creative Arts and Human Flourishing
Faculty of Health and Behavioural Sciences
Associate Professor
School of Electrical Engineering and Computer Science
Faculty of Engineering, Architecture and Information Technology
Availability:
Available for supervision
Media expert
Human-centred design of interactive systems
Stephen Viller is a researcher and educator in human-centred design methods, particularly applied to designing social, domestic and mobile computing technologies, and understanding how people's interactions in everyday settings inform the design of such technologies. He has over 20 years of experience in Computer Supported Cooperative Work (CSCW), Interaction Design, and Human-Computer Interaction (HCI) research, where he has focused on bridging disciplines and perspectives. He has concentrated on qualitative methods, particularly observational fieldwork, contextual interviews, diary studies and field trips, but also increasingly on more ‘designerly’ approaches such as cultural probes, low-fidelity prototypes, rapid prototyping and sketching.
Stephen is an Associate Professor and leader of the Human-Centred Computing discipline in the School of Electrical Engineering & Computer Science, and UQ's Theme Leader for the Digital Worlds and Disruptive Technologies theme in the QUEX Institute. From 2016-2019 he was the Director of Coursework Studies (Chair of T&L committee) and from 2011-2016 he was Program Director of the Bachelor of Multimedia Design and Master of Interaction Design. His publications span various interdisciplinary journals and conferences in HCI/CSCW and technology design. He has a BSc (Hons) Computation (UMIST), MSc Cognitive Science (Manchester) and PhD Computing (Lancaster).