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

Michael O'Boyleمشاهده پروفایل

استاد

• Heterogeneous Code discovery and Optimisation
• Neural Machine Translation and Neural Synthesis
• Deep Neural Network system stack
• +۷ مورد دیگر

Michael O'Boyle is a Professor at the University of Edinburgh's School of Informatics, where he serves as Director of the ARM Research Centre of Excellence and the EPSRC Centre for Doctoral Training in Pervasive Parallelism. Holding an EPSRC Established Career Research Fellowship, he leads pioneering work in compiler technology for heterogeneous architectures, bridging theoretical advances with practical high-performance computing applications. Professor O'Boyle's research spans multiple cutting-edge areas including heterogeneous code discovery and optimization, neural machine translation for program synthesis, deep neural network system stack optimization, software-defined hardware, and compiler/architecture co-design. His approach integrates constraint analysis, program synthesis, and machine learning to address complex challenges in high-performance computing across diverse hardware platforms. His recent publications reveal a strong trend toward integrating machine learning with traditional compiler techniques, particularly in neural program synthesis, tensor optimization, and architecture-aware compilation. This work represents a paradigm shift in compiler design, moving from rule-based systems to learning-based approaches that can automatically adapt to diverse hardware targets. IEEE/ACM CGO 2025 Distinguished Paper Award for 'Tensorize: Fast Synthesis of Tensor Programs from Legacy Code' IEEE/ACM CGO 2024 Test of Time Award ACM GPCE 2023 Best Paper Award for 'C2TACO: Lifting Tensor Code to TACOM' ACM ASPLOS 2021 Distinguished Paper Award IEEE HPCA 2021 Best Paper Award for 'Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads' Professor O'Boyle has successfully mentored numerous PhD students who have secured prominent positions in academia (including at Cambridge, Edinburgh, Leeds, and McGill) and industry (including Meta, NVIDIA, Qualcomm, Huawei, and Microsoft). His research is supported by significant funding from EPSRC, ARM, and European projects including Bonseyes and Transmuter, demonstrating strong international recognition and industry impact. He leads the influential Compiler and Architecture Design (CArD) Group at the University of Edinburgh and is a founder of the HiPEAC Network of Excellence, which has grown into a major European initiative connecting researchers and practitioners in high-performance and embedded computing.

Timothy M. Jonesمشاهده پروفایل

استاد

• Compilers
• Computer Architecture
• Binary Modification
• +۳ مورد دیگر

Timothy M. Jones is a Professor of Computer Architecture and Compilation at the University of Cambridge Computer Laboratory, where he leads research in systems-level computing. He is also a Fellow at Gonville and Caius College, contributing to academic leadership and student mentorship within the collegiate system. His primary affiliation with the Computer Laboratory positions him at the forefront of systems research within the university. Dr. Jones's research focuses on extracting various forms of parallelism (thread-level, data-level, memory-level) to enhance computational performance while addressing energy efficiency and reliability challenges. His work spans compiler design, binary translation, and microarchitecture optimization, with specific interest areas including: Compiler technologies for functional and parallel programming Hardware reliability and fault tolerance mechanisms Binary analysis and instrumentation frameworks Memory system optimization and virtual memory management Security enhancements through binary modification Runtime systems for heterogeneous architectures Analysis of his recent publications reveals strong emphasis on systems-level innovation, particularly in fault tolerance techniques, binary analysis tools, memory optimization, and parallel execution frameworks. His work consistently bridges theoretical computer science with practical hardware implementation challenges. Dr. Jones maintains active participation in the academic community through conference leadership roles, including serving as Program Co-Chair for CGO 2026 and committee positions at premier venues including ISMM, CGO, and ECOOP. He contributes to open-source academic resources through GitHub and maintains professional engagement via Twitter.

• Computational Fluid Dynamics (CFD)
• Turbulence Simulation
• Wind Farm Optimization
• +۵ مورد دیگر

Professor Sylvain Laizet is a faculty member in the Department of Aeronautics at Imperial College London, part of the Faculty of Engineering. He holds a PhD and Habilitation à Diriger des Recherches from the University of Poitiers in France, specializing in Computational Fluid Dynamics (CFD). His research focuses on turbulent flows and their engineering applications, including wind farm optimization, quantum algorithms for fluid mechanics, and machine learning integration in CFD. Key research areas include: Wake-to-wake interaction in wind farms Bayesian optimization for drag reduction and energy efficiency Immersed boundary methods for moving objects Quantum computing for solving PDEs in fluid dynamics His work leverages high-order numerical methods and large-scale simulations, with contributions to frameworks like Xcompact3D and WInc3D. Recent publications emphasize quantum algorithms, turbulence entrainment, and data-driven optimization strategies for renewable energy systems. Scientific contributions span over 50 peer-reviewed articles in top-tier journals, focusing on advancing CFD methodologies and their applications in environmental and industrial fluid mechanics. His team collaborates globally, including partnerships in France and Brazil.

• Computer Architecture
• Security
• RISC-V
• +۳ مورد دیگر

Peter Rugg is a Researcher at the Department of Computer Science and Technology, University of Cambridge. His primary focus is on applying the CHERI security architecture to the RISC-V instruction set, advancing hardware-software co-design for secure computing. He holds a PhD thesis available via Apollo and technical reports. Teaching contributions include supervising Part II projects such as 'Parallelising Sequence Alignment' (2019-20) and 'Dynamic Binary Translator from Arm to RISC-V' (2020-21). He has also taught courses on Digital Electronics, Discrete Mathematics, Computer Architecture fundamentals, Cybersecurity principles, Cryptography, Hoare Logic, and Model Checking. Affiliated with the William Gates Building at the University's main campus, Rugg's work bridges academic research and practical implementation in secure processor architectures.

• Theoretical Chemistry
• Quantum Chemistry
• Computational Chemistry
• +۶ مورد دیگر

Yoshifumi Nishimura is an Assistant Professor at Waseda University’s Research Institute for Science and Engineering and concurrently serves in Tokyo University of Science’s Faculty of Science, Division of Applied Chemistry. He completed both his bachelor’s (2008) and doctoral degrees (2013) in chemistry at Nagoya University, followed by post-doctoral research at National Chiao Tung University, Taiwan, and a project-researcher position at the Institute for Molecular Science. Education: Doctor of Science, Nagoya University, 2013 Bachelor of Science, Nagoya University, 2008 Research Interests: Nishimura develops linear-scaling quantum chemical methodologies, especially the divide-and-conquer density-functional tight-binding (DC-DFTB) approach, enabling million-atom simulations on supercomputers. His work spans proton-transfer dynamics in water, ice and proteins, CO₂ absorption chemistry, battery electrolytes, photochemical events in retinal proteins, and growth mechanisms of carbon nanotubes and graphene nanoribbons. Awards: CSJ Presentation Award, Chemical Society of Japan, 2017 President’s Award, Nagoya University, 2008 Software & Leadership: He is the lead developer of the open-source DCDFTBMD package, which has been optimised for the K-computer and Fugaku, and he serves on the editorial committee of the 分子シミュレーション学会 journal “アンサンブル” and on organising committees of domestic theoretical-chemistry conferences.

Radu Calinescuمشاهده پروفایل

استاد

• formal methods
• software engineering
• self-adaptive systems
• +۷ مورد دیگر

Radu Calinescu is Professor of Computer Science at the University of York, UK, where he serves as Principal Investigator for the UKRI Trustworthy Autonomous Systems Node in Resilience and leads the Trustworthy Adaptive and Autonomous Systems and Processes (TASP) Research Team. His academic career includes previous positions as Lecturer in Computer Science at Aston University (2009-2012), Senior Researcher at the University of Oxford (2008-2009), and part-time Lecturer at Oxford (2005-2009). Professor Calinescu's research focuses on formal modelling, analysis, verification and controller synthesis for autonomous and self-adaptive systems, with particular emphasis on parametric and probabilistic model checking, automated and model-driven software engineering. His work applies these approaches to robotic, cyber-physical, embedded and service-based systems, with a strong commitment to using formal methods at runtime to enhance the resilience and safety of critical autonomous systems. His extensive publication record spans top-tier journals including IEEE Transactions on Software Engineering, Journal of Systems and Software, and Automated Software Engineering. His research demonstrates consistent focus on verification techniques for adaptive systems, with increasing attention to safety-critical applications in recent years. His work bridges theoretical formal methods with practical applications in robotics and autonomous systems. British Computer Society Distinguished Dissertation Award for his DPhil thesis on Autonomic-Independent Loop Parallelisation Principal Investigator for multiple major projects including Continual Verification and Assurance of Robotic Systems under Uncertainty (ORCA Hub/EPSRC), Safety of AI Techniques (AAIP/Lloyd's Register Foundation), and CSI:Cobot Program Committee Co-Chair for major conferences including SEFM 2021, SEAMS 2020, and SERENE 2019 Professor Calinescu actively supervises numerous PhD students and postdoctoral researchers, with current team members including Faisal Alhwikem, Xinwei Fang, Mario Gleirscher, James Harbin, and Colin Paterson. His research group is based at the Ron Cooke Hub in York, a purpose-built facility housing world-class research groups and startups. His former students have gone on to academic positions at institutions worldwide and industry roles at major technology companies.