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

• 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.

• Cybersecurity
• Computer Forensics
• Network Security
• +۷ مورد دیگر

Dr Hasmukh Morarji is a Senior Lecturer in the School of Computer Science at Queensland University of Technology (QUT), Faculty of Science. He has been an academic at QUT for over 30 years and previously taught at the University of the South Pacific in Fiji and the University of Brunei Darussalam. He holds a PhD from the University of Kent and master's and bachelor's degrees from the University of Canterbury, New Zealand. His research and teaching focus on key areas in computing, including cybersecurity, computer forensics, software engineering, networks, and IT education. He has coordinated multiple units in programming, computer systems, and security, and currently leads the Master of Information Technology, Graduate Certificate in IT, and Graduate Diploma in IT programs. His recent publications reflect a strong trend in cybersecurity, particularly in threat information sharing, mobile malware modeling, SCADA security, and computer profiling for forensic applications. His work bridges theoretical models with practical security implementations, especially in critical infrastructure and educational environments. Barriers to cybersecurity threat sharing in developing nations Formal modeling of mobile malware propagation Security risks in IPv6 transition for SCADA systems Event-based computer profiling for digital forensics Human factors in critical infrastructure ICT risk Innovations in IT education and integrated learning environments Dr Morarji has not listed any scientific awards or honors in the provided text. He has supervised or co-authored work with several researchers but no formal students are listed. He has been actively involved in teaching and curriculum development across undergraduate and postgraduate levels, contributing significantly to IT education at QUT. He teaches current units such as IFN551 Computer Systems Fundamentals, IFN555 Introduction to Programming, and IFN556 Object-Oriented Programming. His earlier teaching includes foundational courses in programming and computer systems. No specific lab or research team affiliations are mentioned in the source material.

Kate Hunterمشاهده پروفایل

مدرس ارشد

• Interdisciplinary Performance Art
• Embodied Cognition
• Sound Studies
• +۹ مورد دیگر

Kate Hunter is a Senior Lecturer in Art and Performance at Deakin University, Melbourne, Australia. She works across theatre, performance, sound art, and installation, with a focus on the intersections of embodied cognition, verbatim methodologies, and digital/analog technologies. PhD in Performance Studies (Victoria University), exploring memory and neuroscience Graduate Diploma in Movement and Dance (University of Melbourne) Her research examines: Memory deformation and theatrical representation Posthuman dramaturgies of place DIY performer training ecologies Cognitive embodiment in physical theatre Climate change narratives through sound Recent artistic projects include: Near Sighted (2023) - an immersive sound/painting installation Lick (2024) - Venice Biennale audiovisual installation Sea Symphony (2024) - commissioned by Rawcus ensemble Scientific recognition includes: Vice Chancellor's Postgraduate Research Award (2009) Brisbane Powerhouse Award (2012) Kate contributes to: The Conversation academic publication platform Chamber Made's Hi Viz Satellites program (2022 Writer-in-Residence)

• 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.

Graeme Bestمشاهده پروفایل

مدرس

• Robotics
• Field Robotics
• Multi-Robot Systems
• +۵ مورد دیگر

Graeme Best is a Lecturer in robotics at the University of Technology Sydney's School of Mechanical and Mechatronic Engineering within the Faculty of Engineering and Information Technology. He joined UTS in April 2022 after working as a Postdoctoral Scholar at Oregon State University from 2018 to 2022, where he collaborated with Carnegie Mellon University and University of Washington on projects funded by DARPA, ONR, NSF, and NAVFAC. Dr. Best completed his PhD titled "Planning Algorithms for Multi-Robot Active Perception" at the University of Sydney's Australian Centre for Field Robotics. His educational background includes a BE (Electrical and Computer Systems) and BSc (Computer Science) from Monash University, both completed in 2014. His research focuses on developing fundamental algorithms for multi-robot systems, with particular emphasis on active perception, where robots plan their motion to obtain high-value observations. His work spans from theoretical algorithm development to full-scale system demonstrations across diverse environments including subterranean spaces, marine settings, precision agriculture, and planetary exploration. He has pioneered approaches such as decentralized Monte Carlo tree search, self-organizing maps for active perception, and spatiotemporal optimal stopping to address challenges like online planning, decentralized coordination, long planning horizons, and unreliable communication. Dr. Best's publication record shows a consistent trajectory of high-impact research in top robotics venues, with recent work focusing on behavior trees for intent communication, multi-room exploration, and resilient multi-sensor systems. His publications demonstrate strong interdisciplinary connections between theoretical computer science, control theory, and practical field robotics applications. Google Research Scholar Program Award (2023) DARPA Subterranean Challenge: Winner for the Tunnel Circuit (2019) DARPA Subterranean Challenge: Second Place for the Urban Circuit (2022) IEEE ICRA Best Paper Award on Multi-Robot Systems (2021) RSS Best Systems Paper Award, Finalist (2022) Dr. Best actively contributes to the robotics community through editorial roles at major conferences including IEEE ICRA, IROS, and MRS. He currently serves as Program Director for UTS's undergraduate Mechatronics major and teaches courses related to robotics software and algorithms. His funded research includes projects like the Multi-Robot Mission Control System for Maritime Autonomous Systems and the Online Behaviour Tree Synthesis for Adaptive Multi-Agent Coordination project funded by Google. He leads the UTS Motorsports Autonomous Vehicle team and supervises capstone projects, demonstrating his commitment to translating research into practical student experiences. His work on the DARPA Subterranean Challenge, where his team won the "Most Sectors Explored" award, exemplifies his ability to bridge theoretical research with real-world field applications.

• Cybersecurity
• Machine Learning
• Cryptography
• +۴ مورد دیگر

Dr. Aqeel Sahi is a Lecturer in Computing at the University of Southern Queensland , affiliated with the School of Mathematics, Physics and Computing . He holds a PhD in Cybersecurity and Machine Learning (2018) and an MSc in Computing from Universiti Utara Malaysia. His expertise spans Cybersecurity , Machine Learning , and Software Engineering . Key research focuses include cybersecurity algorithms, machine learning applications in network security, and innovative software methodologies. He has contributed to over 39 industry projects and 11 publications, with 500+ citations. Research Trends: His work emphasizes cloud security, DDoS mitigation, cryptographic protocols, and eHealth privacy. Recent studies include EEG-based motor imagery classification and parallel encryption modes for cloud data. Teaching: He teaches advanced courses like Algorithms and Data Structures , Object-Oriented Programming , and Master's-level Internetworking . Professional Affiliations: Active member of the IEEE and Australian Computer Society (ACS).

• Applied Mathematics
• Environmental Science and Management
• Operations Research
• +۶ مورد دیگر

Professor John Hearne is an Honorary Professor in the School of Science at RMIT University, specializing in Operations Research, spatial optimization, and natural resource modeling. His research focuses on applied mathematics, environmental science, ecological applications, and wildfire management. He has contributed to over 80 research outputs, including models for wildfire asset protection, flood evacuation planning, and healthcare logistics optimization. His work integrates stochastic programming, spatial analysis, and decision support systems to address real-world challenges in resource management and emergency response. Notable projects include optimizing prescribed burning strategies and developing algorithms for asset protection during wildfires. Professor Hearne is actively involved in supervising research students in areas such as routing problems, clinical decision support, and sustainable development. His academic contributions span environmental conservation, disaster management, and healthcare systems, with a strong emphasis on interdisciplinary approaches to complex problems. While no specific awards are listed, his extensive publications highlight a commitment to impactful research in operations research and environmental sciences.

• Education
• Teacher Education
• STEM Education
• +۳ مورد دیگر

Peter Hudson is a Professor at Queensland University of Technology, specializing in teacher education, mentoring, and STEM education. His research focuses on curriculum integration, rural education challenges, and the development of effective mentoring programs for pre-service teachers. He has collaborated extensively with schools and communities to enhance teacher preparedness and retention, particularly in rural areas. Research Interests : Mentoring pedagogical practices STEM education in primary and secondary schools Rural and remote teacher recruitment Curriculum design and interdisciplinary learning Articles Trends : Recent work emphasizes mentoring effectiveness, teacher preparedness, and addressing rural education disparities. His studies often combine qualitative and quantitative methods to evaluate educational interventions and policy impacts. Grants & Labs : Involved in initiatives like the Mentoring for Effective Teaching (MET) program, aiming to bridge university-school collaboration. His work supports professional learning communities and teacher induction strategies.

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.

Alex Potaninمشاهده پروفایل

دانشیار

• Programming Languages Design
• Software Security
• Type Systems
• +۵ مورد دیگر

Roles & Affiliations: Associate Professor at the Australian National University (ANU), School of Computing. Previously held positions at Victoria University of Wellington (2006–2013), Carnegie Mellon University (visiting scholar), and Kyoto University (sabbatical). Served as editor for multiple journals and conference proceedings, including OOPSLA and APSEC. Education: PhD in Programming Languages (Victoria University of Wellington, 2006) BSc(Hons) in Mathematics (Victoria University of Wellington) Research Interests: Focuses on foundational aspects of programming languages, including ownership, immutability, and capabilities. Designs secure languages like Wyvern (collaboration with CMU) and contributes to Rust's lifetime parameters. Explores module systems, effects, and verified software. Recent work addresses reproducibility debt in scientific software and quantum computing models. Article Trends: Recent publications emphasize reproducibility challenges, reactive system verification, and deductive program synthesis. Highlights include systematic reviews on reproducibility debt and formal methods for secure reactive systems. Awards & Recognition: ECOOP 2024 Distinguished Artifact Award FORTE 2022 Best Paper Award ESEC/FSE 2007 Distinguished Paper Award Advising & Grants: Supervises 15+ current students across PhD, Masters, and Honours. Co-leads projects on secure module systems and verified traits. Collaborates with industry (e.g., Alibaba's CUE language) and academia (CMU, KIT). Labs & Teams: Active in the Wyvern project, secure language design initiatives, and international collaborations on formal verification and programming language semantics.

• Artificial Intelligence for Software Engineering
• Software Engineering Analytics
• Process Analytics
• +۳ مورد دیگر

Hoa Khanh Dam is a Professor in the School of Computing and Information Technology at the University of Wollongong, Australia. He serves as Director of the Decision System Lab and holds leadership roles including Deputy Head of School (Research) and Head of Postgraduate Studies. His research focuses on integrating Artificial Intelligence with Software Engineering to enhance software quality, cybersecurity, and productivity. Key areas include AI-driven solutions for project management, autonomous systems resilience, and privacy engineering. He actively supervises PhD and MPhil students exploring AI applications in software development and quantum computing. Recent funding includes a project on 'Monitoring and Safeguarding Deep Reinforcement Learning Systems.' Research interests span AI for software engineering, process analytics, service-oriented architectures, and cybersecurity resilience. His work addresses challenges such as adversarial machine learning, explainable vulnerability prediction, and GDPR-compliant privacy policies. The Decision System Lab under his direction develops AI tools for decision-making in complex environments, including adversarial search strategies and normative multi-agent systems. Teaching and supervision include advanced topics like AI-driven chatbots for university systems, quantum code generation, and CRM application development. His publications emphasize practical AI applications in software lifecycle management, including defect prediction, agile iteration planning, and robotic process automation optimization.

David Cooperمشاهده پروفایل

مدرس ارشد

• Software Engineering
• Educational Technology
• Collusion Detection
• +۳ مورد دیگر

Dr. David Cooper is a Senior Lecturer in the School of Elec Eng, Comp and Math Sci (EECMS) at Curtin University, part of the Faculty of Science and Engineering. He holds a role in the Office of the Provost and is based at Curtin Perth Campus. His expertise lies in software engineering education and development of tools for academic purposes. Research Interests: Cooper focuses on software engineering pedagogy, automated assessment systems (e.g., TokenDiff for plagiarism detection), educational technology, and developer cognition. His work emphasizes practical tools like Textema for academic content generation and automated lab testing systems. Publications: His research spans software inspection techniques, cognitive aspects of collaborative coding, and educational methodologies in computing education. Key areas include Bloom's Taxonomy applications in software quality analysis and developer comprehension studies. Labs/Tools: Developed TokenDiff (source code collusion detector), Textema (LaTeX academic toolset), and automated feedback systems for coding assignments. These tools reflect his commitment to enhancing both teaching practices and software engineering processes.

• Cybersecurity
• Machine Learning
• Cryptography
• +۳ مورد دیگر

Dr. Aqeel Sahi is a Lecturer in Computing at the University of Southern Queensland's School of Mathematics, Physics and Computing. He holds an MSc from Universiti Utara Malaysia and a PhD in Cybersecurity and Machine Learning from USQ. With over 15 years of teaching experience, Dr. Sahi instructs courses including Algorithms and Data Structures, Object-Oriented Programming, and Web Technologies. His research spans cybersecurity, machine learning, cryptography, and software engineering, with particular focus on developing advanced security algorithms and machine learning applications for network protection. Recent publications demonstrate strong emphasis on AI-driven security solutions, healthcare applications, and network defense mechanisms. Dr. Sahi maintains professional memberships with IEEE and ACS, bridging academic and industry expertise through his background as a senior software engineer.

• IT-based innovations
• Organizational contexts
• Mobile technology impact
• +۴ مورد دیگر

Helana Scheepers is a Professor and Department Chair of Business Technology and Entrepreneurship at Swinburne University of Technology's School of Business, Law and Entrepreneurship. She holds a PhD from Aalborg University (Denmark) and has extensive international academic experience across South Africa, Denmark, Canada, and Australia. Her research focuses on IT-based innovations in organizational contexts, including mobile technology impact, e-government adoption, and social media strategies. She has supervised over 24 doctoral and master's students, emphasizing topics like AI, ERP systems, and digital disruption. Notable grants include projects with the Victorian government on social enterprise evaluation platforms and economic impact studies for medical alert services. Awards include Swinburne's Vice-Chancellor's Award for Culture and Values. She has led over 80 publications in journals like Information and Management and International Journal of Project Management , with key contributions in AI implementation frameworks, e-government sustainability, and B2B marketing strategies. Her professional roles include program committee memberships (e.g., PACIS 2017) and leadership in academic networks like the Swinburne Women’s Academic Network (SWAN). Current initiatives include collaborative infrastructure development for public health and AI-driven business value creation.

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

مدرس

• Large-scale Data Analysis
• Bioinformatics
• Clustering Algorithms
• +۱ مورد دیگر

Dr. Timothy Chappell is a Lecturer in the School of Computer Science at Queensland University of Technology. His research focuses on developing efficient algorithms for large-scale data analysis, particularly in bioinformatics and remote sensing applications. He develops methods for clustering, similarity search, and metagenomic analysis that scale to massive datasets. Dr. Chappell's recent work includes the Crackling method for rapid CRISPR guide RNA design, metagenomic geolocation using read signatures, and parallel K-Tree clustering for extreme-scale datasets. He has applied these methods to diverse domains including urban flood mapping using satellite data, microbiome analysis, and biological sequence clustering. He teaches programming principles (CAB302) and systems programming (CAB403). Dr. Chappell maintains collaborations with government and industry partners, including developing change detection tools for Queensland's Department of Natural Resources.