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

Rogério de Lemosمشاهده پروفایل

مدرس ارشد

• Resilient AI
• Self-adaptive software systems
• Authorisation infrastructures
• +۷ مورد دیگر

Rogério de Lemos is a Senior Lecturer in Computing Science and Director of Postgraduate Research (PGR) at the School of Computing, University of Kent. He previously served as an invited assistant professor at the University of Coimbra, Portugal, and as a Senior Research Associate at the Centre for Software Reliability (CSR) at the University of Newcastle upon Tyne, UK. Dr. de Lemos' research focuses on architecting resilient systems, particularly in resilient AI, self-adaptive software systems, and authorization infrastructures. He belongs to both the Programming Languages and Systems Group and the Cyber Security Group at the University of Kent. His specific research interests include: Software engineering for self-adaptive systems assurances and resilience evaluation Dynamic generation of processes Handling insider threats using self-adaptive authorization Architectural abstractions for fault tolerance Verification and validation of dependable software architectures Software development for safety-critical systems Dependability and bioinspired computing His publication trends show increasing emphasis on practical applications of self-adaptive systems in cyber security contexts, with recent work spanning network traffic analysis, cryptographic function detection, and cloud-edge security architectures. His research bridges theoretical foundations with practical implementations, particularly in cyber security and resilient systems architecture. Dr. de Lemos currently leads the "Collaborative and Confidential Information Sharing and Analysis for Cyber Protection" project funded by the European Union's Horizon 2020 Programme. His past projects include "ADAAS: Assuring Dependability in Architecture-based Adaptive Systems" and multiple collaborations with NCR on sensor fusion and fault tolerance. As Director of Postgraduate Research, he oversees the School of Computing's research degree programs and likely supervises PhD students in resilient systems and cyber security, though specific student names are not listed in the available information.

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

استاد

• Intelligent agents
• Multi-agent systems
• Trust and reputation
• +۳ مورد دیگر

Michael Luck is a Professor of Computer Science at University College London, specializing in intelligent agents, multi-agent systems, and trust and reputation frameworks. His work contributes to UN Sustainable Development Goals related to education and innovation. He holds a BSc and PhD from UCL (1988, 1993). Education: BSc (1988), PhD (1993) in Computer Science from UCL Research focuses on formal frameworks for agent systems, norms, trust mechanisms, and applications in genome analysis and grid computing. Recent projects include AQUAREOS (robotics collaboration), SAIS (AI assistants), and TrustATrip (reputation systems). Publications emphasize adaptive service environments, norm enforcement, and Bayesian trust models. He has been awarded Fellow of the British Computer Society (2005). Advising/Grants: Lead/co-investigator on 21 projects including EPSRC-funded initiatives. Supervised 14 students. Active in global conferences like AAMAS and contributed to standards via EPSRC Peer Review College.

• Electrical and Electronic Engineering
• Computer Hardware
• Computer Software
• +۷ مورد دیگر

Professor Peter Y. K. Cheung is a Professor of Digital Systems at Imperial College London, holding dual affiliations within the Department of Electrical and Electronic Engineering and the Dyson School of Design Engineering. His work focuses on reconfigurable systems, FPGA architectures, and high-level synthesis tools. He co-founded one of the UK's leading FPGA research groups with Professor Wayne Luk, addressing challenges in variability mitigation, reliability, and application-specific FPGA deployments. His research spans Field-Programmable Gate Arrays (FPGAs) Reconfigurable computing Neural network acceleration Cryptographic protocols Embedded systems He has pioneered techniques such as logic shrinkage for FPGA-based neural networks and developed frameworks like LUTNet for efficient inference. His contributions also include fault-tolerant FPGA designs and methodologies for distributed computation protocols. Key collaborations include work with the Department of Computing on FPGA-based AI acceleration and cybersecurity applications. His recent work explores edge computing, secure decentralized systems, and pandemic modeling using adaptive control strategies. Notable projects include the DSCS protocol for secure distributed computation, acceleration of gravitational wave detection algorithms, and energy-efficient CNN implementations. His research bridges hardware-software co-design with real-world applications in healthcare, finance, and aerospace.

Ivan Flechaisمشاهده پروفایل

دانشیار

• Security Engineering
• Human-Computer Interaction
• Usable Security
• +۳ مورد دیگر

Ivan Flechais is an Associate Professor in Software Engineering at the Department of Computer Science, University of Oxford. His work focuses on the intersection of security engineering and human factors, developing approaches that balance technical security requirements with usability considerations in real-world contexts. Dr. Flechais earned his BSc and PhD in Computer Science from University College London. He holds dual French-British nationality and was educated in France until university level. His academic journey reflects an international perspective that informs his research on security systems across different cultural contexts. Flechais's research centers on developing methods for creating secure systems that account for real-world usability constraints. His work addresses the complex challenge where security competes with other system requirements like functionality, usability, and efficiency. He is particularly known for developing the AEGIS design methodology, which provides a cost-effective approach to security design that incorporates usability considerations. His current research explores socio-organizational factors in secure systems design, with recent work focusing on smart home security and privacy, remote work security challenges, and the intersection of security culture with technical implementation. His publication record shows a strong trajectory in usable security research, with recent work (2020-2024) increasingly focused on smart home environments, privacy in domestic settings, and the security challenges of remote work. His research demonstrates consistent attention to the human element in security systems, examining how users interact with security mechanisms in real-world contexts across different cultural settings and technological domains. Smart home security and privacy challenges User experience of security mechanisms Socio-organizational aspects of security implementation Cross-cultural security and privacy considerations Security for distributed and remote work environments Dr. Flechais has supervised numerous PhD and Master's students, including Sarah Alromaih, Varad Vishwarupe, George Chalhoub, and Martin J. Kraemer, among others. His supervision work often focuses on the practical application of security principles in emerging technologies, with students frequently examining security challenges in smart homes, IoT devices, and remote work contexts. His research has been supported through various projects including webinos and Sponstaneous Security, which address security challenges in distributed mobile applications and ad-hoc network environments.

• Blockchain Security
• Smart Contracts
• Decentralized Finance (DeFi)
• +۳ مورد دیگر

Arthur Gervais is a Professor of Information Security at University College London's Department of Computer Science. His work focuses on blockchain systems, smart contract security, and decentralized finance (DeFi) risk analysis. He has published extensively on topics ranging from privacy technologies to systemic vulnerabilities in financial cryptography. Research Interests: Gervais investigates security challenges in blockchain ecosystems, including censorship mechanisms, zero-knowledge proofs, and DeFi liquidation risks. His interdisciplinary approach bridges computer science, cryptography, and financial systems. Publications Trends: Recent articles emphasize empirical studies of DeFi attacks, hybrid fuzzing for smart contract verification, and privacy trade-offs in blockchain mixers. His work spans conferences like ACM SIGMETRICS, IEEE Security & Privacy, and World Wide Web Conference.

Ivan Martinovicمشاهده پروفایل

استاد

• Cyber-Physical Systems Security
• Wireless Network Security
• Authentication Systems
• +۳ مورد دیگر

Prof. Ivan Martinovic is a Professor of Computer Science at the University of Oxford's Department of Computer Science, holding a Fellowship at the institution. He specializes in cyber-physical systems security, wireless network security, and behavioral biometrics. His research focuses on authentication mechanisms, intrusion detection, and trade-offs between security and performance in systems like satellite communications, EV charging infrastructure, and aviation networks. Education: PhD (TU Kaiserslautern); MSc (TU Darmstadt, Germany). Prior roles include postdoctoral research at UC Berkeley (2011) and UC Irvine (2009–2010), supported by a Carl-Zeiss Foundation Fellowship (2009–2011). He has also been an associate lecturer at TU Kaiserslautern. Research Interests: Cyber-physical systems security, wireless networks, behavioral biometrics (e.g., continuous authentication via physiological signals), robust communication protocols, and analysis of security vs. performance trade-offs in distributed systems. Technologies include software-defined radios, NFC/RFIDs, and EEG/eye-tracking devices. Scientific Awards: Carl-Zeiss Foundation Fellowship (2009–2011). Advising & Grants: No explicit student listings; however, his work involves interdisciplinary collaborations and has been funded by government and industrial grants. His research spans labs and teams focused on satellite cybersecurity, smart infrastructure security, and biometric systems. Labs/Teams: Engages with groups exploring satellite communication security, EV charging infrastructure vulnerabilities, and behavioral authentication systems, though specific lab names are not disclosed in the text.

Prakash Muraliمشاهده پروفایل

دانشیار

• Quantum Computing
• Quantum Architecture
• Resource Estimation
• +۳ مورد دیگر

Prakash Murali is an Associate Professor in the Department of Computer Science at Cambridge University, specializing in quantum computing, quantum architecture, and resource estimation. He previously worked as a quantum architect at Microsoft, where he contributed to the Azure Quantum Resource Estimator. He earned his Ph.D. in Computer Science from Princeton University in 2021, with a dissertation recognized by the ACM SIGARCH/IEEE CS TCCA Outstanding Dissertation Award. His research focuses on bridging the gap between quantum algorithms and hardware through compiler and architecture innovations. His awards include the ACM SIGARCH/IEEE CS TCCA Outstanding Dissertation Award (2022), Communications of ACM Research Highlights (2022), and the IBM PhD Fellowship (2021). He leads a research group comprising PhD students (e.g., Sanaa Sharma and Dmitry Filippov), MPhil candidates, and undergraduate researchers. Key contributions include the TriQ compiler framework for quantum systems and the TimeStitch technique for decoherence mitigation. His work has been adopted in industry compilers and has influenced quantum benchmarking practices.

Simon Dobsonمشاهده پروفایل

استاد

• Complex Systems
• Sensor Systems
• Data Analytics
• +۳ مورد دیگر

Simon Dobson is a Professor of Computer Science and Deputy Head of the School of Computer Science at the University of St Andrews. His research focuses on complex systems, sensor analytics, computational tools for simulation, and data analytics. He leads grants exceeding EUR30M, including a £5M EPSRC-funded programme in Sensor Systems Software. He is a Fellow of the Royal Society of Edinburgh (2020) and advises the Scottish government. Education: BSc (University of Newcastle), DPhil (University of York), both in Computer Science. Professional: Chartered Engineer, Fellow of the British Computer Society. Research Interests: Complex systems, network science, higher-order networks, epidemiological modeling, and sensor data integration. Teaching: CS4203 (Computer Security), CS5728 (Complex Systems Modelling). Supervises PhD/MSc projects. Awards: Includes RSE Fellowship, BCS Fellowship, and multiple leadership roles in conferences and committees.

Jeremy Gibbonsمشاهده پروفایل

استاد

• Functional Programming
• Programming Languages
• Software Engineering
• +۳ مورد دیگر

Jeremy Gibbons is a Professor of Computing at the University of Oxford, affiliated with the Department of Computer Science within the Faculty of Computer Science. He serves as Director of the Professional Programmes, overseeing part-time postgraduate degrees in Software Engineering. His roles include Chair of the Faculty of Computer Science (2012–2016), Director of the Software Engineering Programme, and Fellow of Kellogg College. Gibbons' research focuses on programming methodologies, particularly functional and object-oriented languages, with an emphasis on program calculation, design patterns, and bidirectional transformations. He leads the Algebra of Programming research group and is Editor-in-Chief of the Journal of Functional Programming and The Art, Science, and Engineering of Programming . Education includes a D.Phil. from Oxford University. His work spans formal methods, domain-specific modeling for clinical trials (e.g., CancerGrid project), and semantic frameworks for software systems. He has advised numerous students and contributed to open-access initiatives in publishing. Key collaborations include roles in ACM SIGPLAN and IFIP Working Groups 2.1 and 2.11. Research interests emphasize foundational aspects like profunctor optics, categorical programming, and algorithm design. Notable projects include datatype-generic programming and metadata-driven engineering for clinical trials. His work bridges theoretical computer science with practical applications in software architecture and system design.

Alastair Beresfordمشاهده پروفایل

استاد

• Computer Security
• Privacy
• Mobile Systems
• +۵ مورد دیگر

Alastair Beresford is Professor of Computer Security and Head of the Department of Computer Science and Technology (The Computer Laboratory) at the University of Cambridge. He is also the Robin Walker Fellow in Computer Science at Queens' College, Cambridge. His leadership spans both academic administration and research innovation within one of the world's leading computer science departments. Professor Beresford's research focuses on the security and privacy of large-scale distributed computer systems, with particular emphasis on networked mobile devices such as smartphones, tablets, and laptops. His work examines both device-level security and the privacy implications of interactions between mobile devices and cloud-based services. His methodological approach combines critical evaluation of existing products, development of novel prototype technologies, and empirical measurement of human behavior in security contexts. His recent publications reveal a strong focus on confidentiality computing, anonymity networks, mobile security, and secure group communication. Notable projects include Pudding (private user discovery in anonymity networks), CoverDrop (secure whistleblower-journalist communication), and research on the practical viability of anonymity networks on smartphones. His work consistently bridges theoretical security concepts with practical implementations that have led to real-world security improvements in iOS, Android, and OpenSSH. Scientific Awards: Andreas Pfitzmann Best Student Paper Award (PETS 2022) for work on secure initial contact between whistleblowers and journalists Professor Beresford leads several major collaborative research initiatives including the Centre for Mobile, Wearable Systems and Augmented Intelligence (co-directed with Prof Cecilia Mascolo), the Cambridge Cybercrime Centre, and the Raspberry Pi Computing Education Research Centre. He also serves as technical director for the Isaac Learning Platform, which has supported over 500,000 users making more than 120 million question attempts since 2015. His research has practical impact, with findings leading to security fixes in major commercial products including iOS 12.2 (CVE-2019-8541), watchOS 5.2, Android 11, and OpenSSH 9.8 (CVE-2024-39894).

Mihaela van der Schaarمشاهده پروفایل

استاد

• Machine Learning
• Artificial Intelligence
• Healthcare
• +۸ مورد دیگر

Mihaela van der Schaar is the John Humphrey Plummer Professor of Machine Learning, Artificial Intelligence, and Medicine at the University of Cambridge, leading the van der Schaar Lab. She holds dual affiliations with the Department of Applied Mathematics and Theoretical Physics (DAMTP) and the Centre for Mathematical Imaging in Healthcare. Her research focuses on healthcare AI, machine learning, and operations research. She has authored over 250 journal articles and 275 conference papers, with notable contributions to synthetic data for privacy, causal inference, and clinical decision-making. Her work has led to 35 U.S. patents, including foundational innovations in streaming video compression (MPEG-4 standards). Awards include the Oon Prize (2018), IEEE Fellow (2009), and recognition as the UK's most-cited female AI researcher (2019). Leadership roles include Director of the Cambridge Centre for AI in Medicine and Co-Director of the European Laboratory for Learning and Intelligent Systems. She has mentored global academic leaders and pioneered initiatives like the Inspiration Exchange for early-career researchers. Key projects include predictive models for hospital resource allocation during pandemics and AI tools for personalized medicine. Publications span machine learning theory, healthcare applications, and interdisciplinary fields like network science. Her lab's impact includes tools like AutoPrognosis (automated ML for clinical prediction) and SynthCity (synthetic healthcare data generation).

Laura Toniمشاهده پروفایل

دانشیار

• Large-scale signal processing for machine learning
• Graph signal processing
• Reinforcement learning
• +۹ مورد دیگر

Laura Toni is an Associate Professor in the Department of Electronic and Electrical Engineering at University College London's Faculty of Engineering Sciences. She serves as the leader of a research team focused on advanced signal processing and machine learning applications, documented at https://lasp-ucl.github.io . Additionally, she holds prestigious affiliations as an ELLIS (European Laboratory for Learning and Intelligent Systems) Member and Turing Fellow Alumni. PhD in Electrical Engineering, University of Bologna (2009) MS in Electrical Engineering, University of Bologna (2005) Professor Toni's research spans theoretical and applied aspects of machine learning with particular emphasis on graph-based approaches. Her work integrates signal processing techniques with modern AI methodologies to address complex problems in communication systems, multimedia processing, and scientific discovery. She has made significant contributions to reinforcement learning theory, graph signal processing, and their applications across diverse domains including drug discovery and immersive technologies. Analysis of her recent publications reveals a strong focus on graph-based machine learning approaches, with increasing emphasis on reinforcement learning applications. Her work demonstrates a progression from theoretical foundations to practical implementations, particularly in multimedia processing, network science, and drug discovery applications. Many of her recent papers combine graph neural networks with diffusion models and reinforcement learning for complex prediction and generation tasks. Professor Toni has received notable recognition through her ELLIS membership and Turing Fellow Alumni status, which represent significant achievements in the European AI research community. ELLIS (European Laboratory for Learning and Intelligent Systems) Member Turing Fellow Alumni As an academic leader, Professor Toni supervises postgraduate students and leads a research team at UCL, focusing on cutting-edge projects at the intersection of signal processing and machine learning. Her team has secured research funding through various channels including European initiatives and industry partnerships, enabling them to pursue ambitious projects in graph learning, reinforcement learning, and multimedia processing. The team actively collaborates with institutions worldwide, including previous connections with UCSD and EPFL. Professor Toni leads the LASP research group at UCL (https://lasp-ucl.github.io), which focuses on Large-scale Adaptive Signal Processing for intelligent systems. The team comprises researchers working on graph signal processing, reinforcement learning, and multimedia applications, with strong connections to both theoretical foundations and practical implementations across various domains including healthcare, communications, and immersive technologies.

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

استاد

• Digital Scholarship
• Cybersecurity
• Artificial Intelligence
• +۷ مورد دیگر

David De Roure is Professor of e-Research at the University of Oxford and Academic Director of both the Digital Scholarship initiative and the Laboratory for AI Security Research. He is also an Honorary Research Professor at the Royal Northern College of Music (RNCM), where he serves as Technical Director of the Centre for Practice & Research in Science & Music (PRiSM). His work bridges computer science, digital humanities, cybersecurity, and music through his distinctive interdisciplinary approach. De Roure received his PhD in 1990 supervised by David W Barron and Peter Henderson, with research in Lisp and distributed systems. Prior to joining Oxford in 2010, he was Professor of Computer Science at the University of Southampton and Director of the Centre for Pervasive Computing in the Environment. His career spans multiple institutions and research domains, reflecting his commitment to interdisciplinary work. De Roure's research focuses on new methods of digital scholarship, innovation in knowledge infrastructure, cybersecurity, and computational approaches to music. His work uniquely combines humanities (digital musicology), social sciences (social machines and web science), engineering (Internet of Things), and computer science (distributed systems, AI). A key theme is empowering human creativity through technology rather than replacing humans with AI. He emphasizes co-creation between humans and machines, particularly in music composition where he explores how algorithms can generate fragments for human assembly. His recent publications reveal a strong focus on AI security in IoT systems, digital scholarship methods, and the intersection of music with computational approaches. There's a clear trajectory from foundational work in social machines and web science toward current applications in cybersecurity and music-AI co-creation. His publications consistently bridge technical domains with humanistic inquiry, demonstrating his commitment to interdisciplinary scholarship that addresses real-world challenges. Fellow of the British Computer Society (FBCS) Fellow of the Institute of Mathematics and its Applications (FIMA) Fellow of the Royal Society of Arts (FRSA) Chartered IT Professional (CITP) Turing Fellow at The Alan Turing Institute (2018-2024) De Roure has co-founded three major interdisciplinary initiatives: PETRAS National Centre of Excellence for IoT Systems Cybersecurity (the world's largest socio-technical research center focused on IoT security), the Software Sustainability Institute (dedicated to improving research software), and PRiSM at RNCM. He was Director of the Oxford e-Research Centre from 2012-17 and has led numerous research projects including SOCIAM (The Theory and Practice of Social Machines), FAST (Fusing Audio and Semantic Technologies), and Transforming Musicology. The Laboratory for AI Security Research, which he directs, took its first PhD students in 2024. At Oxford, De Roure chairs the Digital Research Cluster at Wolfson College and oversees the Laboratory for AI Security Research. The PRiSM team at RNCM has produced numerous musical works and performances, including six premieres in New York in 2024. He has been involved in designing gesture recognition software used in many performances and has collaborated on public engagement projects including the Science Together project which released a Hip Hop album. His current work includes exploring Chladni Plates for new musical instrument design and developing algorithmically enhanced instruments.

Joe Pitt-Francisمشاهده پروفایل

دانشیار

• Computational Biology
• Mathematical Biology
• Cardiac Electrophysiology Modelling
• +۳ مورد دیگر

Joe Pitt-Francis is Associate Professor of Computer Science and Tutorial Fellow in Computer Science at St Edmund Hall, University of Oxford . Since 1999 he has tutored Oxford computer-science students and formally became a Tutorial Fellow of St Edmund Hall in 2024. His research lies at the intersection of computational biology and mathematical biology . Using sophisticated numerical techniques he constructs and analyses models of the heart , cancer and blood flow . A central strand of his work is software development for biological simulation; he is an active contributor to Chaste ( Cancer, Heart and Soft-Tissue Environment ), a large-scale C++ library that supports multiscale computational models in physiology and medicine. Across more than 60 peer-reviewed publications since 1998, his work has progressively advanced from foundational software-engineering papers describing Chaste’s architecture to highly-cited studies on cardiac electrophysiology , tumour-induced angiogenesis , microvascular haemodynamics and cell-cycle dynamics under hypoxia . The 2024-2025 corpus shows strong emphasis on multiscale frameworks , open benchmarking , and radiotherapy-induced vascular remodelling , positioning his group at the forefront of translational in-silico oncology. Contact: Email: Joe.Pitt-Francis@seh.ox.ac.uk

Alastair Keyمشاهده پروفایل

پژوهشگر ارشد

• Paleolithic Archaeology
• Stone Tool Technology
• Hominin Behavior
• +۳ مورد دیگر

Dr. Alastair Key serves as Director of Studies in Archaeology and Official Fellow in Archaeology at Queens' College, University of Cambridge. His research bridges Paleolithic archaeology, stone tool technology, and hominin behavioral evolution through experimental and computational approaches. Director of Studies and Official Fellow at Queens' College, Cambridge Specializes in Paleolithic stone tool analysis, Acheulean technology, and hominin adaptation Conducts experimental archaeology and computational modelling to assess tool functionality Key's research focuses on Acheulean handaxe production , lithic microwear patterns , and ergonomic constraints in prehistoric tool use . He has extensively published on topics including glacial-stage hominin occupations , Oldowan toolmakers , and machine learning applications to archaeological analysis . His recent publications (2025-2023) span diverse subfields: Acheulean chronology , hominin tool use biomechanics , experimental projectile testing , and computational morphometric methods . The work often integrates multidisciplinary datasets and open-source analytical tools to address fundamental questions about human technological evolution. Current research directions include stone tool sharpness quantification , handaxe social signaling potential , and cross-species tool use comparisons through primate studies.