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

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.

Gernot Heiserمشاهده پروفایل

استاد

• Operating Systems
• Microkernels
• Cybersecurity
• +۸ مورد دیگر

Scientia Professor Gernot Heiser is a leading researcher in trustworthy computing systems at the University of New South Wales, where he holds the John Lions Chair of Operating Systems. He is the founder and leader of the Trustworthy Systems Research Group, recognized globally for applying formal methods to ensure security and safety of real-world computing systems. His work spans operating systems, cybersecurity, and dependable systems. Professor Heiser completed his academic qualifications with a BSc in Physics from Freiburg in 1982, an MSc in Physics from Brock in 1984, and a PhD in Computer Engineering from ETH Zurich in 1991. He has been an academic at UNSW since completing his PhD and became a full professor in 2002. He was awarded the title of Scientia Professor in 2011, UNSW's highest academic honor. His research focuses on fundamental solutions to cybersecurity challenges through trustworthy systems. Key areas include microkernels and microkernel-based systems, highly-secure and dependable systems, high-assurance systems, analysis and prevention of cyber threats, real-time systems, virtualization, embedded and cyberphysical systems, and architectural support for operating systems. Professor Heiser's work has resulted in practical applications, most notably the seL4 microkernel, which is the world's first operating-system kernel with a proof of implementation correctness and security enforcement. Notable awards include: Fellow, Engineers Australia (2022) Member of the German Academy of Sciences Leopoldina (2022) ACM Software System Award (2022) ACM SIGOPS Hall of Fame Award (2019) Fellow of the IEEE (2016) Fellow of the ACM (2014) Professor Heiser actively supervises honours, MPhil, and PhD students in his research areas, with projects typically requiring strong backgrounds in operating-system internals or formal methods. He has co-founded Open Kernel Labs in 2006, leading to the L4-embedded microkernel being deployed on billions of mobile devices, including the secure enclave of iOS devices. His research group, the Trustworthy Systems group, was created in 2003 at NICTA and has been wholly at UNSW since 2021.

Larissa Meinickeمشاهده پروفایل

مدرس ارشد

• Formal Methods
• Program Verification
• Concurrency Theory
• +۷ مورد دیگر

Larissa Meinicke is a Senior Lecturer in the School of Electrical Engineering and Computer Science at The University of Queensland, within the Faculty of Engineering, Architecture and Information Technology. She is actively engaged in research and student supervision, with a focus on formal methods, program verification, and computer security. Her work bridges theoretical computer science and practical software engineering, particularly in concurrent and secure systems. Research Interests: Dr. Meinicke specializes in formal specification and development of computing systems, with particular emphasis on probabilistic systems, computer security, refinement and concurrent algebras, and real-time and fault-tolerant systems. Her work employs mathematical notations and algebraic techniques to ensure correctness and reliability of software. Recent Research Trends: Her recent publications (2024–2016) demonstrate a sustained focus on concurrent program algebras, particularly through rely/guarantee reasoning, cylindric algebra, and trace models. These works aim to formalize concurrency in systems like seL4, enabling correct and secure multicore software. Themes include information flow, security capabilities in Java, and fairness in concurrent execution. Scientific Funding and Projects: She has been awarded several competitive grants, including ARC Discovery and Linkage Projects, as well as defense-related funding from DSTG and ANU. Notable projects include verifying concurrent data structures for seL4, designing secure concurrent systems, and analyzing Java security conformance. Supervision and Collaboration: Dr. Meinicke serves as Principal Advisor for PhD candidates working on concurrent refinement algebras and valuation models. She collaborates extensively with leading researchers such as Emeritus Professor Ian Hayes, Annabelle McIver, and Carroll Morgan. Her supervision includes both theoretical and applied aspects of formal methods. Labs and Research Groups: She is a member of the Division of Systems and Software Engineering Research, contributing to the Specification and Development of Probabilistic Systems research group at UQ. This team focuses on rigorous mathematical modeling for reliable and secure software systems.

Johannes Aman Pohjolaمشاهده پروفایل

مدرس

• Interactive Theorem Proving
• Program Verification
• Concurrency Theory
• +۳ مورد دیگر

Dr Johannes Aman Pohjola is an education-focused academic affiliated with the University of New South Wales, School of Computer Science and Engineering. He holds a PhD and MSc in Computer Science from Uppsala University, Sweden. Education: MSc (2010), PhD (2016), Uppsala University Affiliation: University of New South Wales, School of Computer Science and Engineering His research spans interactive theorem proving, program verification, and concurrency theory. Recent work includes verified systems programming (Pancake), compiler verification (PureCake), and formal semantics for HOL with ad-hoc overloading. Publications emphasize mechanized proofs and functional programming languages like CakeML. Scientific awards include the Best Paper Award at FORTE/DisCoTeC 2019. Collaborations with researchers in formal verification and systems programming highlight his interdisciplinary contributions.

• Operating Systems
• Real-Time Systems
• Security
• +۴ مورد دیگر

Gernot Heiser is Scientia Professor and John Lions Chair of Operating Systems at the University of New South Wales (UNSW) in Sydney, Australia, leading the Trustworthy Systems research group focused on mathematically proven secure systems development. His research centers on operating systems, real-time systems, security, and safety through formal verification methodologies, pioneering the world's first fully verified general-purpose microkernel (seL4) with machine-checked proofs of implementation correctness, timeliness, and security enforcement. This work bridges theoretical formal methods with practical system security for critical infrastructure. Professor Heiser's accolades include: ACM Fellow for contributions to high-assurance systems IEEE Fellow for leadership in secure operating systems ATSE Fellow for technology and engineering excellence 2019 ACM SIGOPS Hall of Fame Award for the seL4 microkernel breakthrough He maintains significant industry impact through co-founding Open Kernel Labs (acquired by General Dynamics in 2012), whose OKL4 Microkernel shipped in billions of mobile chips and iOS secure enclaves. Current roles include Chief Scientist at HENSOLDT Cyber (Munich) and Chief Scientific Officer at Neutrality (Geneva), while founding chairman of the seL4 Foundation drives ecosystem development for security-critical deployments. Leading UNSW's Trustworthy Systems group, he champions rigorous research quality over publication quantity, producing high-impact work averaging 100+ citations per paper within five years, and frequently mentors junior researchers on achieving academic excellence through methodological precision.