جستجوی استاد راهنمای دانشگاهی

• Coding and Information Theory
• Cryptography and Cryptanalysis
• Information Security
• +۶ مورد دیگر

Associate Professor Serdar Boztas is affiliated with RMIT University's School of Science in Australia. His academic rank is Associate Professor. He is actively involved in teaching Information Theory, Cryptography and Security, Advanced Topics in Cryptography, and Smartcard Cryptosystems. His research interests span Coding and Information Theory, Cryptography, Information Security, Wireless Communications, and Complex Networks. Research highlights include work on Reed-Solomon codes, insider threat detection, and sequence design with applications in cryptography and signal processing. His recent publications focus on error correction, network security, and algorithmic improvements in coding theory. He has supervised PhD projects on Lightweight Encryption and Insider Threat Mitigation, with notable completed projects in malware analysis and cryptographic countermeasures. Service & Engagement: Committee roles in IEEE workshops, international conferences, and advisory boards (e.g., ISC, AAECC, SECIA). Teaching: Courses emphasize Information Theory, Cryptography, and Security applications. Grants & Funding: Active in securing research funding for projects in cybersecurity and communication systems. Boztas' work bridges theoretical foundations with practical applications in information security, network efficiency, and cryptographic systems. His contributions to sequence design and threat detection methodologies are widely recognized in the field.

Craig Hodgsonمشاهده پروفایل

استاد

• Low-Dimensional Topology
• Hyperbolic Geometry
• Geometric Structures on 3-Manifolds
• +۳ مورد دیگر

Dr. Craig Hodgson is a professor in the Department of Mathematics and Statistics at the University of Melbourne. He is a leading researcher in low-dimensional topology and hyperbolic geometry, with a focus on the structure and computational analysis of 3-manifolds. His work bridges theoretical mathematics and computational tools, advancing the understanding of geometric structures via Dehn surgery Cone-manifolds Veering triangulations Arithmetic invariants He supervises a dynamic group of students and collaborators, with notable contributions to Thurston's geometrization program Hyperbolic volume estimation Projective structures

• Algebraic Geometry
• Number Theory
• Computational Mathematics
• +۳ مورد دیگر

Andreas-Stephan Elsenhans is a Professor at The University of Sydney, specializing in Algebraic Geometry, Number Theory, and Computational Mathematics. His research focuses on cubic surfaces, K3 surfaces, Galois groups, and arithmetic geometry, with applications to Diophantine equations and algebraic invariants. Research Trends: Analysis of his publications reveals a consistent emphasis on algebraic surfaces (cubic and quartic), arithmetic geometry (Hasse principle, Brauer-Manin obstruction), computational methods for invariants, and connections to Galois theory. Key themes include moduli spaces, group theory, and cohomology. Contact: Email: andreas-stephan.elsenhans@sydney.edu.au Phone: 9351 3114 Fax: 9351 4534 Address: Carslaw Building, The University of Sydney

Rolf Drechslerمشاهده پروفایل

استاد

• Computer Science
• Formal Verification
• Circuit Design
• +۳ مورد دیگر

Rolf Drechsler is a Full Professor and Head of the Group of Computer Architecture at the University of Bremen since 2001, with additional role as Director of the Cyber-Physical Systems Group at DFKI Bremen since 2011. He holds a Dr. phil. nat. in computer science from Johann Wolfgang Goethe University Frankfurt and has held academic positions at Albert-Ludwigs University Freiburg and Siemens AG. Education: Diploma and Dr. phil. nat. in Computer Science (Johann Wolfgang Goethe University Frankfurt, 1992-1995) Previous Roles: Albert-Ludwigs University Freiburg (1995-2000), Siemens AG Munich (2000-2001) His research focuses on formal verification , circuit/system design , and data structures for hardware validation . He has pioneered work on polynomial verification methods, BDD-based synthesis, and quantum computing verification frameworks. Recent publications analyze memristor-based in-memory computing, RISC-V security, and LLM-assisted hardware validation. Key awards include ACM Fellow IEEE Fellow Berninghausen Teaching Award (2018) Multiple best paper awards at ICCAD, DATE, DAC, and DDECS He serves as Associate Editor in journals like IEEE Transactions on CAD and ACM Journal on Emerging Technologies. He co-founded the Graduate School of Embedded Systems and Data Science Center at University of Bremen.

Andi Hanمشاهده پروفایل

مدرس

• Large Generative Models
• Riemannian Optimization
• Efficiency of Foundation Models
• +۳ مورد دیگر

Andi Han is a Lecturer in Data Science at the School of Mathematics and Statistics, University of Sydney . He earned his PhD in Business Analytics from the University of Sydney Business School in 2023 and served as a postdoctoral researcher at RIKEN AIP’s Continuous Optimization Team until 2025. Research Interests: Large generative models (diffusion models, large language models) Optimization on manifolds Efficiency of foundation models Graph neural networks for biology and chemistry Awards: DAAD AInet Fellowship (2025) PhD Completion Award (USYD, 2023) Best Paper Award (IEEE SCCI, 2022) University Medal (USYD, 2019) Business Analytics Prize (USYD, 2018) Teaching: STAT5002: Introduction to Statistics (Unit Coordinator & Lecturer, S2 2025) MATH1061: Mathematics 1A (Lecturer, S2 2025) His recent publications focus on Riemannian optimization techniques, diffusion models, and graph neural networks (GNNs), with applications in protein sequence generation, transformer optimization, and AI for science. Collaborative work spans institutions like RIKEN, Zhejiang Lab, and A*STAR. He actively organizes workshops, including Deep Generative Model in Machine Learning: Theory, Principle and Efficacy at ICLR 2025.

• Cryptography
• Network Security
• Wireless Sensor Networks
• +۵ مورد دیگر

Gonzalez Nieto, Juanma is a researcher at Queensland University of Technology specializing in Cryptography and Network Security . His work focuses on Denial-of-Service protection , Predicate Encryption , RFID Authentication , and Cloud Computing Security . He has co-authored numerous publications addressing these areas, often collaborating with academics like Colin Boyd and Mark Manulis. Research Interests : Designing secure protocols for wireless sensor networks and cloud environments Developing automated proof systems for cryptographic indistinguishability Enhancing RFID privacy and mitigating phishing vulnerabilities Constructing verifiable ciphertexts and forward-secure encryption Publication Trends : His articles span Cryptography , Network Security , and Cloud Computing , with subfields including client puzzles, predicate encryption, and geographic proofs. Many works address practical implementations of security mechanisms in real-world systems.

• Image Processing
• Signal Processing
• Data Compression
• +۴ مورد دیگر

Dr. Guang Deng serves as an Adjunct Associate Professor in the College of Engineering at La Trobe University, where he has maintained academic appointments since 1994. His technical expertise bridges communications engineering, signal processing, and advanced image analysis with practical applications in medical devices and computer vision systems. Academic Background: BSc from Sun Yat-Sen University MEng from Chinese Academy of Sciences PhD from La Trobe University Dr. Deng's research program centers on generalized linear image processing and statistical signal processing , with significant contributions to lossless image compression algorithms and noise reduction techniques specifically engineered for cochlear implant devices. His methodology combines theoretical mathematical frameworks with practical hardware implementation constraints, particularly evident in his recent work on fixed-point acceleration methods for resource-limited systems. His publication trajectory reveals consistent innovation in image filtering techniques, evolving from foundational work on discrete Laplacian operators to contemporary deep learning applications in marine imaging. Key thematic developments include the progression from traditional signal processing to hybrid approaches incorporating machine learning, with growing emphasis on real-world constraints like embedded system limitations and illumination variability in agricultural imaging. Funded Research Initiatives: Virtual Speech Pathologist (National ICT Australia, 2013-2016) ARC Centre of Excellence in Electromaterial Sciences (Australian Research Council, 2009-2013) Dr. Deng maintains active research collaborations across engineering and life sciences domains, particularly evident in his cross-disciplinary work on plant phenotyping systems and medical device signal processing. His current research demonstrates increasing focus on edge computing applications and biometric security systems alongside his longstanding image processing expertise.

Tayab Din Memonمشاهده پروفایل

مدرس ارشد

• Artificial Intelligence
• Machine Learning
• Signal Processing
• +۵ مورد دیگر

Tayab Din Memon serves as Senior Lecturer and Senior Learning Facilitator at Torrens University Australia's Design and Creative Technology school, where he leads initiatives in the Centre for Artificial Intelligence Research and Optimisation (AIRO). With over 15 years of academic experience spanning teaching, research, and management, he actively supervises PhD candidates in AI-driven sustainable infrastructure and education technology projects. Education PhD in Computer Engineering from Royal Melbourne Institute of Technology University (awarded July 16, 2012) Research Focus Dr. Memon's work bridges technical AI systems and educational innovation , with core expertise in machine learning for fault detection in railway infrastructure and generative AI applications in learning analytics. His signal processing research targets FPGA/SoC implementations for sustainable engineering solutions, while his education technology work pioneers student-teacher-GenAI interaction frameworks using Bloom's Taxonomy to enhance engagement and retention. Current projects include AI-powered condition monitoring systems and flipped learning reimagined through AI collaboration. Research Trends Analysis of his 2024-2025 publications reveals two converging streams: (1) AI in Education focusing on generative AI's role in future pedagogy through collaborative teacher-GenAI models, and (2) Embedded Systems Engineering developing sigma-delta modulation techniques for railway monitoring and image processing. Both streams emphasize sustainable infrastructure solutions and real-world hardware implementation on FPGA platforms. Academic Leadership As former Head of Electronic Engineering Department (implementing Washington Accord standards), Dr. Memon has coordinated online curricula using flipped learning pedagogy and served as Co-Principal Investigator for the Haptics, Human-Robotics, and Condition Monitoring System Lab under Pakistan's National Center of Robotics and Automation. His current grants focus on AI-driven sustainable infrastructure and educational technology innovation. Research Environment He leads the Centre for Artificial Intelligence Research and Optimisation (AIRO) at Torrens University, directing interdisciplinary teams that combine robotics, haptics, and machine learning. Previously, he spearheaded the 11-lab NCRA consortium developing condition monitoring solutions for railway wheelsets and track surfaces, with ongoing work extending to three-phase induction motors and wireless communication systems.

• Number Theory
• Algebraic Geometry
• Elliptic Curves
• +۲ مورد دیگر

Dr. Mark Watkins is an academic staff member at the University of Sydney's School of Mathematics and Statistics, affiliated with the Computational Algebra Research Group. His research focuses on Number Theory , Algebraic Geometry , and Computational Algebra , with a particular emphasis on elliptic curves, modular forms, and lattice theory. He has contributed to topics ranging from Selmer group distributions to combinatorial game theory in chess. PhD in Mathematics Member of the Computational Algebra Research Group Email: mark.watkins@sydney.edu.au Watkins' recent publications (2010–2022) explore advanced mathematical concepts such as quadratic twists of elliptic curves, spectral proofs of class numbers, and algorithmic chess strategies. His work bridges theoretical mathematics with computational tools, including contributions to the Magma software system for algebraic computations. He has no listed scientific awards but maintains active research collaborations with institutions globally. His research addresses fundamental questions in number theory and algebraic geometry, with applications to cryptography and computational methods.

• Digital Microelectronics
• Computer Engineering
• Computer Arithmetic
• +۴ مورد دیگر

Associate Professor Braden Phillips is the Deputy Dean of Learning and Teaching in the Faculty of Sciences, Engineering and Technology at the University of Adelaide. He holds a joint appointment in the School of Electrical and Electronic Engineering. His academic career includes roles as a lecturer at Cardiff University (2000–2002) and founding partner of Current Dynamics, an electronic hardware design venture. Phillips specializes in digital microelectronics and computer engineering, with research focusing on computer arithmetic, cognitive computing architectures, and high-level digital logic synthesis. He has contributed to educational scholarship through work on active learning, scalable assessment, and inclusive pedagogy. His supervisory record includes over a dozen PhD students in areas spanning embedded systems, reconfigurable computing, and low-power design. Phillips’ research has been published in leading journals and conferences, addressing challenges in hardware optimization and algorithmic efficiency. Education: PhD in Computer Engineering (thesis: 'An Optimised Implementation of Public Key Cryptography for Smart Card Processors') Teaching: Coordinated courses in analog/digital electronics, embedded systems, and microelectronics design. Affiliations: Adelaide Education Academy, Diversity and Inclusion in Teaching Community of Practice. Research Themes: His work bridges hardware design and educational innovation, with recent emphasis on cognitive architectures and curriculum design. Key contributions include approximate computing methodologies, decimal floating-point arithmetic implementations, and minimal-weight digit conversion algorithms.

• Post-Quantum Cryptography
• Zero-Knowledge Proofs
• Isogeny-Based Cryptography
• +۳ مورد دیگر

Professor Craig Costello is a leading cryptographer at the Queensland University of Technology (QUT) , affiliated with the Faculty of Science and the School of Computer Science . His work focuses on post-quantum cryptography , particularly isogeny-based and lattice-based cryptographic constructions , contributing to global efforts in securing digital infrastructure against quantum computing threats. Notable research trends include: Advancements in supersingular isogeny key exchange (SIKE/SIDH) Exploration of pairing-friendly abelian varieties for cryptographic cycles Efficient genus 2 isogeny algorithms and Kummer surface optimizations Development of twin smooth integer detection for cryptanalysis His publications emphasize quantum-resistant protocols , mathematical foundations , and practical cryptographic implementations . Contact: craig.costello@qut.edu.au

John Anthony Gerard Robertsمشاهده پروفایل

استاد

• Dynamical Systems
• Ordinary Differential Equations
• Difference Equations
• +۵ مورد دیگر

Professor John Anthony Gerard Roberts is a distinguished academic in the School of Mathematics and Statistics at the University of New South Wales (UNSW) in Sydney, Australia. He holds the position of Professor with research focus in dynamical systems, integrable systems, and arithmetic dynamics. Roberts has held significant leadership roles including Deputy Head of School (2012-2020) and School Research Director (2007-2020). He is also a Chief Investigator of the ARC Centre of Excellence MASCOS and has served as Vice-President of the Australian Mathematical Society (2016-2017). Roberts' research interests span multiple areas within dynamical systems theory. His primary focus areas include: Integrable dynamics - studying systems with special properties like solvability, conservation laws, and slow growth of observables Arithmetic dynamics - merging dynamical systems with number theory, particularly over finite fields and discrete spaces Time-reversal symmetry - investigating symmetry properties in dynamical systems Discrete integrable systems - extending integrability concepts from continuous to discrete systems His work represents an interdisciplinary approach that connects pure and applied mathematics, physics, and computer science. Analysis of Roberts' recent publications reveals a continued focus on the intersection of algebraic geometry, number theory, and dynamical systems. His research shows particular interest in growth properties of discrete systems, signatures of integrability over finite fields, and the arithmetic structure of dynamical systems. The publications demonstrate a consistent trajectory from fundamental theoretical work to applications in understanding complex system behaviors. Scientific recognition includes: Foreign Sabbatical Fellowship from the Spanish Ministry of Science (2012) Isaac Newton Institute Visiting Fellow (2009) IAS Visiting Fellow (2006) AMSI/MASCOS Research Fellow (2006) UNSW John Yu Fellow (2004) Roberts has actively supervised numerous graduate students, with recent PhD projects focusing on arithmetic dynamics and integrable systems. His research collaborations span international institutions, including work with mathematical societies and research centers across Australia, Europe, and North America. He has organized significant academic events, notably the Workshop on Algebraic, Number Theoretic and Graph Theoretic Aspects of Dynamical Systems at UNSW in 2015. His academic leadership extends to committee service, including membership on the EDI Committee of the Australian Mathematical Society. Roberts maintains an active research program that continues to advance understanding in dynamical systems theory and its applications.

Timothy Trudgianمشاهده پروفایل

استاد

• Analytic number theory
• Riemann zeta-function
• Distribution of primes
• +۱ مورد دیگر

Professor Timothy Trudgian is a leading mathematician in the field of analytic number theory , currently affiliated with the School of Physical, Environmental and Mathematical Sciences at UNSW Canberra . He also collaborates closely with the Number Theory Group at UNSW Sydney. With a BSc (Hons) from Australian National University (2005) and a DPhil from the University of Oxford (2010) , his work focuses on the Riemann zeta-function , distribution of primes , and primitive roots . He actively supervises PhD students and offers scholarships for high-achieving applicants. Education : BSc (Hons) - Australian National University (2005), DPhil - University of Oxford (2010) Research Areas : Analytic number theory Distribution of primes Primitive roots Riemann zeta-function Finite field arithmetic Computational number theory His recent publications and grants, including an Australian Research Council Future Fellowship (2016-2020) , emphasize explicit bounds and zero-free regions for zeta and L-functions. He supervises students such as Matteo Bordignon and Valeriia Starichkova , with a focus on collaborative research and international conferences. Professor Trudgian's work spans both theoretical and computational aspects of number theory.

• Computer Engineering
• Field-Programmable Gate Arrays (FPGAs)
• Financial Engineering
• +۴ مورد دیگر

Professor Philip Leong is a faculty member at the University of Sydney's School of Electrical & Information Engineering, serving as Director of the Computer Engineering Laboratory. He holds a B.Sc., B.E., and Ph.D. from the University of Sydney. His academic career spans roles at institutions like the Chinese University of Hong Kong and industry collaborations with companies like ST Microelectronics and CruxML Pty Ltd. Research Interests: Leong specializes in FPGA-based solutions for high-performance computing, financial systems, medical monitoring (e.g., Parkinson's disease), and environmental forecasting. He pioneers applications in edge-based machine learning, low-latency systems, and hardware-software co-design. Key Projects : Radio Frequency Machine Learning Edge-based Training of Deep Neural Networks using FPGAs Awards : 2005 FPT Best Paper Award 2007 & 2008 FPL Outstanding Paper Awards Teaching: He instructs courses in embedded systems, computer architecture, and digital logic (e.g., ELEC3607, ELEC5741). His lab focuses on custom hardware and parallel software to address real-world challenges like financial risk modeling and climate prediction. Labs/Teams: Leads the Computer Engineering Lab, affiliated with The Net Zero Institute, Sydney Nano Institute, and the Charles Perkins Centre.

Michael Norrishمشاهده پروفایل

دانشیار

• Formal Methods
• Interactive Theorem Proving
• Formal Semantics
• +۳ مورد دیگر

Dr. Michael Norrish is an Associate Professor at The Australian National University , affiliated with the School of Computing and the Mathematical Sciences Institute . He specializes in formal methods, interactive theorem proving (particularly with the HOL4 system), and formal semantics for complex systems. His work emphasizes rigorous software verification and foundational computer science research. Dr. Norrish holds a PhD in Computer Science from the University of Cambridge (1999) , along with a BA and BSc(Hons) from Victoria University of Wellington. His research has led to significant contributions in verified compilers (e.g., CakeML), formalized algorithms (e.g., AKS primality test), and reproducibility challenges in scientific software. Research Interests include: - Formal verification of theorem provers - Verified systems programming - Machine learning integration in automated reasoning - Reproducibility in computational research His recent articles focus on advancing theorem proving tools (e.g., HOL4), reproducibility debt in scientific software, and verified compiler frameworks like PureCake and Pancake. He co-organized the 15th International Conference on Interactive Theorem Proving (ITP 2024) and leads projects on AI trustworthiness in Health, Safety & Environment (Tech4HSE). Current projects include: - Tech4HSE: AI Trust & Trustworthiness (ANU, 2024–2029) - Formalization of mathematical algorithms in HOL4