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

Sean Hortonمشاهده پروفایل

استاد

• Skill Acquisition
• Expert Performance
• Aging and Physical Activity
• +۳ مورد دیگر

Dr. Sean Horton is a Professor at the Faculty of Human Kinetics , University of Windsor , specializing in skill acquisition, aging studies, and adapted physical exercise. His work bridges expert performance maintenance across the lifespan with social determinants of physical activity in seniors. Ph.D., Queen’s University (2007) M.A., Queen’s University (2003) B.A., Queen’s University (1992) His research focuses on three core areas: lifelong skill maintenance (particularly in older athletes), age-related stereotypes affecting physical activity engagement, and adapted exercise programming for individuals with intellectual/developmental disabilities. Recent publications analyze pandemic impacts on caregiving systems and policy challenges in youth sports. Dr. Horton's collaborative work with Chad Sutherland and Community Living Essex County has produced the APEX program (Adapted Physical Exercise), addressing physical activity disparities for disabled populations. His 2018-2024 publications reveal interdisciplinary exploration of aging dynamics, social comparison, and policy frameworks. Email: hortons@uwindsor.ca | Office: H.K. Building, Room 110

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.

Adrian Russellمشاهده پروفایل

استاد

• Soil Mechanics
• Rock Mechanics
• Geotechnical Engineering
• +۵ مورد دیگر

Adrian Russell is a Professor of Geotechnical Engineering at the University of New South Wales (UNSW), specializing in soil mechanics, rock mechanics, and unsaturated soils. He holds a PhD in Civil Engineering (UNSW, 2005), a BE (Civil Engineering, UNSW, 1998), and a PGCert in Higher Education (University of Bristol, 2008). His research focuses on geotechnical engineering challenges in infrastructure systems, including tailings storages, foundations, and earthquake engineering. Russell collaborates extensively with industry partners such as Glencore and Wagstaff Piling to translate research into practical applications, such as soil-cement-fibre mix technologies and ore pass blockage prevention. He has led major grants, including a $1.5M project with Amira Global to prevent tailings dam failures, and holds an Australian Research Council Future Fellowship (2021–2024). Russell teaches advanced geotechnical courses like CVEN9521 and CVEN9513, emphasizing innovative problem-solving and practical applications. His research group includes 5 PhD students and 2 Research Associates, with former students now leading academic and industry roles globally. Russell invented a novel biaxial earthquake shaking table, granted patents, and advises on international guidelines for slope stability and tailings management. He frequently lectures at global conferences and serves on editorial boards such as Geotechnique and International Journal of Rock Mechanics and Mining Sciences . Key industry engagements include partnerships with mining companies to assess tailings liquefaction risks via cone penetration testing (CPT) and stability analyses. His work on unsaturated soil mechanics has been integrated into practical guidelines and training programs through the Australian Geomechanics Society. Russell also contributed to advancing understanding of particle mechanics, including fractal-based soil characterization and granular media behavior. His labs and facilities, such as the seismic shaking table, enable cutting-edge testing for infrastructure resilience under dynamic loads.

• Computer Science
• Software Security
• Object-Oriented Programming
• +۳ مورد دیگر

Arran Stewart is a Lecturer in the Department of Computer Science and Software Engineering at the School of Physics, Maths and Computing, University of Western Australia. His academic work focuses on secure software development, particularly in object-oriented programming and Java code analysis. Research Interests : Software Security and Vulnerability Detection Object-Oriented Programming Analysis Side-Effect Free Methods in Java Secure State Management Frameworks His publications between 1995 and 2017 demonstrate expertise in software engineering and legal systems, with recent work emphasizing secure coding practices and method classification in Java. While no scientific awards or student advisement details are explicitly mentioned in the provided texts, his research output spans interdisciplinary domains including computer science and legislative jurisprudence.

Brae Webbمشاهده پروفایل

مدرس

• Formal Methods
• Compiler Optimization
• Software Verification
• +۳ مورد دیگر

Brae Webb is an Associate Lecturer in the Faculty of Engineering, Architecture and Information Technology at The University of Queensland. His email is b.webb@uq.edu.au . His research focuses on formal methods, compiler optimizations, and software verification, with contributions to verification frameworks for compiler optimizations and formal semantics of programming language implementations. He has co-authored multiple publications at conferences such as FormaliSE, CPP, and ICFEM, and contributed to editions of the textbook Software Architecture . His work spans theoretical and applied aspects of software engineering, including the use of proof assistants like Isabelle/HOL for verifying term graph optimizations. Recent projects include analyzing GraalVM's intermediate representation and differential testing methodologies for compiler verification frameworks. Brae Webb's publications reflect a commitment to advancing formal verification techniques in compiler design and software systems. His textbook series on software architecture emphasizes practical design principles for scalable software systems.

• Spatial Linguistics
• Cognitive Semantics
• French and English Language Studies
• +۳ مورد دیگر

Mark Tutton is a Senior Lecturer in French and Francophone Studies at the School of International Studies and Education, University of Technology Sydney. With dual Australian and French citizenship, he coordinates the French language and culture program and has extensive experience in linguistics education across Australia and France since 2004. PhD in Linguistics (University of New South Wales, 2010) Graduate Diploma of Teaching and Learning (University of Southern Queensland, 2018) MA in Linguistics (University of Lille, 2005) MèsL (BA equivalent) in Linguistics (Sorbonne Nouvelle, 2004) BA in Communication and International Studies (UTS, 2001) His research focuses on spatial language and multimodal communication, particularly comparing English and French locative expressions through gestural and cognitive frameworks. Recent work explores foreign language anxiety in online learning environments and the impact of AI on language pedagogy. Articles span topics in spatial semantics, English-French contrastive linguistics, and technology-enhanced language learning. Key themes include metaphorical resource conceptualization, prospective location in motion verbs, and static/motion-framed locative expressions. Mark teaches French language and culture at all levels (A1-C1 ECFR) while advocating for concrete, relatable explanations of abstract linguistic concepts to enhance student learning experiences.

• Mobile Software Engineering
• Intelligent Software Engineering
• Software Security
• +۶ مورد دیگر

Xiaoyu Sun is a Lecturer in the School of Computing at Australian National University (ANU), specializing in Software Engineering with a focus on Mobile Software Engineering and Intelligent Software Engineering. She holds a PhD from Monash University (2023) and a Bachelor's degree in Computer Science from Beijing Normal University (2016). Her research emphasizes applying static code analysis, dynamic testing, and NLP techniques to enhance software security and reliability, particularly in Android systems. Current projects include tools for detecting compatibility issues and privacy leaks in mobile apps. Her research interests span code generation frameworks (e.g., A^3-CodGen), security management in open-source projects, and AI-enhanced software development practices. Collaborations with tech giants like Bytedance and Alibaba highlight her industry engagement. Xiaoyu is Co-Investigator in the Tech4HSE project (2025-2027), developing AI-based monitoring systems for workspace safety. She has published in top venues including ICSE, ASE, and IEEE Transactions on Software Engineering. Her work bridges academia and industry, addressing challenges in mobile app security, code reuse efficiency, and developer toolchain innovation. Ongoing efforts focus on AI-driven solutions for software engineering tasks and fostering transparent privacy practices in open-source AI applications.

• Geotechnical Engineering
• Soil Stabilization
• Machine Learning
• +۵ مورد دیگر

Professor Md. Mizanur Rahman is Dean of Programs and a Professor in Geotechnical Engineering at UniSA STEM, University of South Australia. His work spans geotechnical modeling, soil stabilization, and environmental remediation. Research Interests: Geotechnical Engineering Machine Learning for Predictive Modeling Environmental Remediation with Microbial Systems Critical State Soil Mechanics Climate Change Impact on Soil Behavior Selected Publications highlight innovations in subdomain adaptation networks for mechanical fault detection, microbial symbiotic systems for PAH degradation, and DEM simulations linking particle shape to soil instability. His editorial role and conference proceedings further demonstrate leadership in geotechnical research.

• Structural Engineering
• Masonry Structures
• FRP Strengthening
• +۳ مورد دیگر

Professor Mark Masia is a faculty member in the School of Engineering at the University of Newcastle, specializing in structural engineering and masonry systems. He holds a PhD from the University of Newcastle, with research focused on masonry structural behavior, FRP strengthening, and seismic retrofitting. His career spans over two decades, including roles as Lecturer, Senior Lecturer, and Professor at the University of Newcastle. Research interests include experimental and numerical modeling of unreinforced masonry (URM) structures, FRP-strengthened masonry, and the development of design methods for URM. Teaching expertise covers statics, structural mechanics, and design of masonry, concrete, and timber structures. Administrative roles include Program Convenor for Civil Engineering and leadership in academic committees. Key Contributions: Development of semi-interlocking masonry systems for improved seismic performance. Investigations into corrosion effects on masonry wall ties and durability enhancement. Advancements in probabilistic modeling and reliability assessment of masonry structures. Publications span over 100 peer-reviewed articles, focusing on masonry mechanics, material characterization, and structural safety. His work bridges experimental testing, numerical analysis, and practical engineering applications.

Umer Izharمشاهده پروفایل

مدرس ارشد

• MEMS Sensors and Actuators
• Robotics and Automation
• Mechatronics Engineering
• +۳ مورد دیگر

Dr. Umer Izhar is a Senior Lecturer in Mechatronics Engineering at the University of the Sunshine Coast (UniSC), Queensland, Australia. He holds a Ph.D. in Electrical Engineering from Lehigh University (USA) on a Fulbright Scholarship. Previously, he worked as an Assistant Professor at NUST, Pakistan, and contributed to developing the Mechatronics curriculum at Central Queensland University (CQU). His research focuses on MEMS sensors/actuators, robotics, and automation, with applications in environmental monitoring, medical imaging, and assistive technologies. Dr. Izhar teaches courses like Engineering Statics and IoT, and coordinates the Bachelor of Engineering (Mechatronic) (Honours) program. His work includes patents in powerline communication and IoT-based compliance systems. Education: Ph.D. (ElecCompEng, Lehigh University), MSc (ElecCompEng, LU), MSc (MechatronicsEng, UET Pakistan), BE (MechatronicsEng, NUST, Pakistan). Research Interests: Design/fabrication of MEMS-based sensors, robotics automation, micro mechatronics, and brain temperature monitoring sensors. He has published widely in journals and conferences, with notable works on robotic systems for environmental monitoring and electrothermally actuated MEMS braille dots. Awards: Recipient of the Fulbright Scholarship Award. His research has led to patents like the 'Powerline Communication Impedance Conditioning Circuit' and IoT solutions for pandemic compliance. Advising & Grants: Coordinates the Mechatronics Honours program and oversees research projects in MEMS and robotics. Collaborates on grants focused on embedded systems education and renewable energy integration. Labs/Teams: Engages in multidisciplinary projects at the School of Science, Technology and Engineering, focusing on applications in healthcare, environmental monitoring, and assistive technologies.

• Cybersecurity
• Software Engineering
• Artificial Intelligence
• +۳ مورد دیگر

Ruitao Feng is a Lecturer in IT (Cybersecurity) at the Faculty of Science and Engineering, Southern Cross University. He holds an adjunct role as a Research Fellow at Nanyang Technological University (Singapore). His expertise spans cybersecurity, software engineering, and AI-driven security solutions. He earned his Ph.D. in Computer Science from NTU (2016–2021) and a Bachelor’s degree from Tianjin University (2010–2014). His research focuses on security and quality assurance in software systems, particularly leveraging AI4Sec & SE for intrusion detection, malware analysis, and vulnerability detection. He actively collaborates with students and researchers to advance these fields. He teaches courses like DATA2001 Database Systems and INFO6002 Cybersecurity Essentials . Ruitao is recruiting self-motivated Ph.D. candidates with strong programming skills and seeks honors/minor thesis students from SCU. His work has been published in top-tier conferences/journals (CORE A/A*, CCF A) in computer security and software engineering.

Ansgar Fehnkerمشاهده پروفایل

دانشیار

• Automated System Verification
• Software Verification Tools
• Model Checking
• +۵ مورد دیگر

Ansgar Fehnker is an Associate Professor (Teaching and Leadership) in the School of Computing at Macquarie University. His research focuses on automated system verification tools, including model checking and static analysis, with applications in cyber-physical systems, blockchain technology, and educational software. He has held previous roles at the University of Twente (2016–2021), University of the South Pacific (2012–2016), and National ICT Australia (2004–2012). Research interests include: Formal methods for software verification Static analysis for C/C++ Blockchain protocol analysis Educational technology for programming education Recent publications emphasize AI-driven educational tools and hands-on training systems for programming. His work bridges theoretical formal methods with practical educational applications.

• Programming Languages
• Information Security
• Software Security
• +۱۲ مورد دیگر

Dr Yi Lu is a Senior Lecturer at the Queensland University of Technology (QUT), Faculty of Science, School of Computer Science. He serves as Deputy Academic Lead (HDR) for the School of Computer Science, contributing to higher degree research leadership. His academic journey includes a PhD in Computer Science from the University of New South Wales (2008) and prior roles as a Lecturer at UNSW (2007–2013) and Principal Researcher at Oracle Labs (2013–2019). PhD in Computer Science, University of New South Wales, 2008 Bachelor of Information Technology (Honours), Queensland University of Technology, 2002 Dr Lu's research lies at the intersection of programming languages and information security, with a focus on theoretical and practical aspects of software security. His work includes type systems for object synchronization, ownership types, information flow control, and the application of deep learning to vulnerability detection. He has made significant contributions to static analysis, points-to analysis, and secure multithreaded programming. His recent publications span topics such as threat hunting in industrial control systems, nontransitive security types, and multi-class vulnerability prediction using graph neural networks. These works reflect a strong trend toward combining formal methods with machine learning to enhance software security, particularly in complex and critical systems. Dr Lu has been involved in significant research initiatives, including the Cyber Security Cooperative Research Centre and the ARC Linkage Project on Java language-based security conformance. His industry experience at Oracle Labs led to patented solutions for real-world cybersecurity problems, demonstrating the practical impact of his research. He supervises research projects on fine-grained vulnerability detection, reproducible deep learning workflows, and open-source supply chain analysis. His teaching includes courses such as Principles of Software Security and Object-Oriented Design, aligning closely with his research expertise. Dr Lu is affiliated with the School of Computer Science at QUT, a research-active unit within the Faculty of Science, contributing to cybersecurity education and innovation in Australia.

• Information Retrieval
• XML Search Engines
• Text Search Engines
• +۸ مورد دیگر

Shlomo Geva is an Adjunct Professor in the School of Computer Science at Queensland University of Technology's Faculty of Science. His research focuses on information retrieval systems, particularly in specialized areas including XML search engines, text search engines, link discovery, and document computing. His academic work spans multiple disciplines within computer science, with particular emphasis on information retrieval technologies and their applications. Professor Geva's research interests include clustering algorithms, cross language information retrieval, focused information retrieval, information retrieval systems, link discovery mechanisms, search engine technologies, text indexing and retrieval methods, and XML indexing and retrieval techniques. His work demonstrates a consistent focus on improving the efficiency and effectiveness of information access systems across various data formats and domains. His recent publications reveal a trend toward applications of information retrieval techniques in diverse fields including remote sensing, bioinformatics, and data stream processing. The research shows an evolution from traditional information retrieval problems toward more specialized applications requiring advanced clustering algorithms and efficient data processing techniques for large-scale datasets. Professor Geva has successfully supervised numerous doctoral students whose research topics include indoor environment mapping by robots, cross-language information retrieval, natural language query interfaces for XML, evolvable hardware, and autonomous robot behavior systems.

Matias Quirozمشاهده پروفایل

مدرس ارشد

• Computational Statistics
• Bayesian Methods
• Machine Learning
• +۴ مورد دیگر

Matias Quiroz is a Senior Lecturer at the University of Technology Sydney (UTS) in the School of Mathematical and Physical Sciences. He joined UTS in July 2023 after previously serving as a Lecturer (2019–2022) and Senior Lecturer (2022–2023) at Stockholm University. His expertise lies in computational statistics, Bayesian methods, and machine learning. He holds a Ph.D. from Stockholm University (2015) and an M.Sc. in Engineering Mathematics from Lund University (2009). Research focuses on developing efficient MCMC algorithms for large datasets and variational approximations for high-dimensional models. He has contributed to areas like subsampling MCMC, spectral analysis of time series, and Bayesian inference for complex models. Quiroz is also an Associate Editor for Computational Statistics and Data Analysis and Econometrics and Statistics . Teaching responsibilities include courses such as Machine Learning: Mathematical Theory and Applications and Programming for Data Analysis. He has supervised students at various academic levels and has held editorial and leadership roles, including serving as the Young Stats representative for the NSW Branch of the Statistical Association of Australia since 2025. His work bridges Bayesian statistics with machine learning, emphasizing scalable computational methods. Notable research themes include high-dimensional state space models, dynamic linear regression, and algorithmic innovations for big data problems.