Mark Reynolds

Professor, Head of School

University of Western Australia (UWA) · School of Physics, Mathematics and Computing

Limited Spots

H-index

175

Papers

6,115

Citations

—

Active Grants

University Profile Google Scholar

Research Areas

Artificial intelligenceMachine learningAutomated reasoningLogicModal / temporal logicLogical foundations of computer scienceFormal methods in softwareFormal specification and verification of concurrent systemsVerification of systemsReasoning about agent interaction and collaborationSoftware engineeringOptimisation

Potential Research Topics

• Oral microbiology and periodontitis research
• Dental Implant Techniques and Outcomes
• Periodontal Regeneration and Treatments

Recent Publications

Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2

Oxford University Press2000987 citations

SS-LSTM: A hierarchical LSTM model for pedestrian trajectory prediction

2018 IEEE Winter Conference on Applications of Computer Vision (WACV)2018630 citations

An axiomatization of full computation tree logic

The Journal of Symbolic Logic2001210 citations

Connexive modal logic

Advances in Modal Logic2004209 citations

The imperative future

Research Studies Press1996195 citations

AI Summary

Mark Reynolds是西澳大学计算机科学学院院长，在人工智能、机器学习和形式化方法领域享有国际声誉，H指数达37，发表论文175篇、累计被引6115次，研究深度和影响力兼具。他的研究涵盖逻辑基础、并发系统验证、智能体推理等前沿方向，特别在形式化规范和软件验证领域具有突出建树，非常适合有志于从事理论计算机科学和软件工程严谨研究的PhD申请者。作为学院主要负责人，Mark Reynolds拥有充足的资源和指导能力，有意招收博士生的申请者可重点关注他的研究方向。

Interested in working with Mark Reynolds?

Chat with Ola about this Professor →