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

• Artificial Intelligence
• Computer Security
• Multi-Agent Systems
• +۳ مورد دیگر

Dr. Chunyan Mu serves as a Senior Lecturer in the School of Natural and Computing Sciences at the University of Aberdeen, actively contributing to both academic instruction and cutting-edge research in computing science while currently accepting new PhD students. Her research program centers on Trustworthy AI and Safe Autonomy, with specialized expertise in formal verification of responsibility, accountability, and privacy mechanisms within multi-agent systems. She investigates resilience frameworks for autonomous intelligent systems and develops advanced methodologies for information flow security analysis, bridging theoretical computer science with practical security implementations. Analysis of her publication trajectory (2014-2025) reveals consistent innovation in applying formal methods to security-critical systems. Key thematic developments include probabilistic strategy logic for observability analysis, quantitative verification of opacity properties, and game-theoretic approaches to security verification, demonstrating increasing sophistication in handling multi-agent accountability and system resilience challenges. Dr. Mu currently supervises PhD candidates and offers a fully funded doctoral position focused on formal verification of safety properties in autonomous systems, providing comprehensive financial support including tuition coverage, £20,780 annual stipend, and dedicated research funding for candidates with strong backgrounds in formal methods and artificial intelligence.

Michael U. Gutmannمشاهده پروفایل

مدرس ارشد

• Machine Learning
• Bayesian Inference
• Likelihood-Free Inference
• +۹ مورد دیگر

Michael U. Gutmann is a Senior Lecturer in Machine Learning at the School of Informatics, University of Edinburgh, and a member of the Institute for Adaptive and Neural Computation. His research lies at the intersection of machine learning, statistics, and scientific applications, with a focus on developing inference methods for complex and implicit models. Education: PhD in Computational Neuroscience, University of Tokyo MSc in Engineering and Applied Mathematics, Swiss Federal Institute of Technology (ETH) Zurich MSc, Ecole Centrale Paris His primary research interests include Bayesian inference, likelihood-free inference, optimal experimental design, unsupervised learning, and applications in computational biology and neuroscience. He is best known for introducing Noise-Contrastive Estimation (NCE), a foundational technique for training unnormalized statistical models. His recent work spans variational inference, density ratio estimation, flow models for missing data, and AI-driven experimental design in behavioral and biological sciences. His publications, including in NeurIPS , ICML , JMLR , and eLife , demonstrate a strong emphasis on methodological innovation for scientific discovery. He has contributed to open-source tools such as ELFI (Engine for Likelihood-Free Inference) and developed practical implementations of robust inference algorithms. Scientific Awards: No specific awards listed in the provided texts. Michael Gutmann actively supervises students and collaborates with leading researchers in machine learning and computational biology. He has secured research funding from EPSRC and BBSRC for projects in generative modeling and infectious disease epidemiology. He teaches advanced courses such as Probabilistic Modelling and Reasoning and Data Mining, reflecting his deep engagement with both theoretical and applied aspects of machine learning. Labs and Research Groups: Institute for Adaptive and Neural Computation (ANC), University of Edinburgh Former affiliations with Department of Mathematics and Statistics and Department of Computer Science at the University of Helsinki and Aalto University

• Stochastic processes
• Biodemography
• Survival analysis
• +۴ مورد دیگر

David Steinsaltz is an Associate Professor of Statistics at the University of Oxford, affiliated with Worcester College. His research focuses on stochastic processes, biodemography, survival analysis, and Bayesian methods, with applications to aging, mortality, and population dynamics. He holds a PhD in probability theory from Harvard University, followed by postdoctoral work at UC Berkeley. His work bridges theoretical probability and applied statistics, addressing questions in demography, ecology, and epidemiology. Education: PhD in Mathematics (Probability Theory), Harvard University (1996); Postdoctoral Research, UC Berkeley (Departments of Demography and Statistics). Research interests include stochastic flows, Markov processes, and statistical methods for longitudinal data. He contributes to interdisciplinary projects, such as earthquake impact modeling and vaccine efficacy analysis. His collaborations span fields like biostatistics, ecology, and machine learning. He advises students on topics including survival analysis and demographic modeling.

Andrew Riceمشاهده پروفایل

استاد

• Programming Languages
• Machine Learning
• Artificial Intelligence
• +۴ مورد دیگر

Andrew Rice is a Professor of Computer Science at the University of Cambridge's Department of Computer Science and Technology, and holds the Hassabis Fellowship in Computer Science. He is also the Director of Studies in Computer Science at Queens' College. His research focuses on programming languages, software engineering, and machine learning applications in software development. He leads projects like Isaac Computer Science and ALTA (Automated Language Teaching and Assessment), advancing adaptive learning technologies. His work includes static analysis tools such as Error Prone at Google, energy efficiency studies in computing infrastructure, and contributions to the Computing for the Future of the Planet initiative. His teaching emphasizes practical skill development through flipped classrooms and video lectures, earning him the 2014 Pilkington Prize for teaching excellence. He has held visiting roles at Google and collaborated on energy consumption research for mobile devices and data centers. His research spans systems, networking, and natural language processing, with a strong focus on applying computational methods to real-world challenges. Key Projects: Isaac Physics/Computer Science, ALTA, Error Prone Static Analysis Research Themes: Programming Languages, Machine Learning, Energy Efficiency Awards: Pilkington Prize (2014)

Bruno Clerckxمشاهده پروفایل

استاد

• Wireless Communications
• Signal Processing
• MIMO Wireless Networks
• +۷ مورد دیگر

Prof. Bruno Clerckx is a Professor of Wireless Communications and Signal Processing at Imperial College London's Department of Electrical and Electronic Engineering, Faculty of Engineering. He leads the Communications and Signal Processing Group and the Wireless Communications and Signal Processing Lab. Education: M.Sc. and Ph.D. in Electrical Engineering from Université Catholique de Louvain, Belgium Doctor of Science (DSc) from Imperial College London Research Interests: Focuses on wireless communications and signal processing for next-generation networks, including MIMO systems, reconfigurable intelligent surfaces (RIS), rate-splitting multiple access (RSMA), and integrated sensing and communications (ISAC). His work emphasizes 6G technologies, full-duplex systems, and energy-efficient architectures. Key contributions include pioneering research on beyond-diagonal RIS and RSMA prototyping. Awards: 2021 Blondel Medal (France) 2021 Adolphe Wetrems Prize (Royal Academy of Belgium) Fellowships from IEEE and IET IEEE Communications Society Distinguished Lecturer (2021-2023) Labs & Teams: Heads the Wireless Communications and Signal Processing Lab, and is affiliated with the IEEE Special Interest Groups on RSMA and BD-RIS. Collaborates with global institutions including Stanford University, Tsinghua University, and Samsung Electronics. Industry Experience: Former CTO of Silicon Austria Labs and contributor to 4G/5G standards at Samsung. Holds 80+ patents and authored two books on MIMO systems.

• Wireless Communications
• Radar Systems
• Antenna Arrays
• +۶ مورد دیگر

Professor Athanassios Manikas holds the Chair of Communications & Array Processing in the Department of Electrical & Electronic Engineering at Imperial College London, part of the Faculty of Engineering. He is a Fellow of both the IET and IMA, and has held significant editorial roles including Associate Editor for IEEE Transactions on Aerospace and Electronic Systems. His research focuses on wireless communications, radar systems, antenna array processing, and applied mathematics, with over 50 supervised PhD students and 150+ Masters projects. He leads Imperial's research group in array processing and has extensive industry collaborations, including technical leadership of the University Defence Technology Centre in Signal Processing (2008-2013). Awards include the IEEE PIMRC 2022 Best Paper Award and recognition as an IEEE COMSOC Distinguished Lecturer (2016-2017). His work integrates differential geometry principles with array processing, as detailed in his monograph Differential Geometry in Array Processing . Professor Manikas has served as an expert witness in high-profile cases and contributes to academic governance roles such as the Royal Society's International Fellowship Committee. His research group is affiliated with the Space Lab at Imperial, focusing on innovative applications of array signal processing in aerospace and defense systems.

Sugata Mondalمشاهده پروفایل

مدرس

• Spectral Geometry
• Analysis of PDE
• Geometric Analysis
• +۳ مورد دیگر

Dr. Sugata Mondal is a Lecturer in Pure Mathematics at the University of Reading's Department of Mathematics and Statistics, part of the School of Mathematical, Physical and Computational Sciences. He serves as the School Director of Postgraduate Research Studies. His research focuses on spectral geometry, analysis of partial differential equations (PDEs), geometric analysis, and hyperbolic geometry. He obtained his PhD from Université Paul Sabatier in Toulouse, followed by postdoctoral positions at the Max-Planck Institute in Bonn and Indiana University. Previously, he held a Reader position at TIFR, Mumbai until 2022. His academic qualifications include a BSc (Honors) in Mathematics from Ramakrishna Mission Vidyamandira (University of Calcutta) and an M.Math from ISI, Kolkata. His research explores geometric properties of Laplace eigenfunctions on domains and manifolds, with recent work addressing spectral instability, Schiffer's conjecture, and critical points on polygons. His publications span topics in spectral geometry, hyperbolic surfaces, and eigenvalue analysis. Dr. Mondal’s work bridges pure mathematics with geometric analysis, emphasizing the interplay between spectral theory and geometric structures. He teaches Real Analysis I (MA1RA1) and contributes to the Pure Mathematics and Analysis research groups at Reading.

Anil Madhavapeddyمشاهده پروفایل

استاد

• Environmental Computing
• Climate Change Informatics
• Distributed Systems
• +۵ مورد دیگر

Anil Madhavapeddy serves as Professor of Planetary Computing at the University of Cambridge's Department of Computer Science and Technology and directs the Cambridge Centre for Carbon Credits (4C). A Fellow of Pembroke College, he integrates systems research with environmental conservation through the Computer Laboratory's Environment and Energy Group. His career spans industry leadership (NetApp, Citrix, Intel), academic appointments (Cambridge, Imperial, UCLA), and entrepreneurial ventures (XenSource, Unikernel Systems, Docker). Madhavapeddy earned his PhD at Cambridge's Computer Laboratory in 2006. His research bridges computational systems and planetary-scale environmental challenges, with deep expertise in open-source development (OCaml, Xen, Docker, OpenBSD) and technology strategy advising for organizations including Zededa, Tezos Foundation, and Tarides. His work centers on environmental computing and climate informatics, leveraging distributed systems and functional programming to develop sensing infrastructure for conservation. Recent projects focus on carbon credit systems, AI-driven biodiversity monitoring, and sustainable computing architectures that minimize ecological footprints while maximizing analytical capability. Analysis of his 2025 publications reveals a concentrated effort on AI-integrated conservation tools, privacy-preserving carbon accounting, and energy-efficient computing. Key themes include spatial networking for ecological data, LLM-enhanced evidence retrieval in conservation science, and novel metrics for extinction risk assessment—demonstrating computational innovation applied to urgent planetary boundaries. No scientific awards were documented in the source material. Madhavapeddy advises multiple technology firms on strategic development while leading the Cambridge Centre for Carbon Credits, though specific grant funding details remain unreported. He actively contributes to the Environment and Energy Group at Cambridge's Computer Laboratory and directs the interdisciplinary Cambridge Centre for Carbon Credits (4C). His open-source leadership spans critical infrastructure projects including OCaml, Xen, and Docker, fostering collaborative development communities that underpin modern cloud and container technologies.

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.

George Britovsekمشاهده پروفایل

استاد

• Catalysis
• Sustainable Carbon Management
• Transition Metal Complexes
• +۳ مورد دیگر

Professor George Britovsek (FRSC) is a leading figure in catalysis and sustainable carbon management at Imperial College London . As Director of the MRes in Catalysis & Engineering and Head of Teaching in Inorganic Chemistry, he bridges academic leadership with cutting-edge research. His work focuses on transition metal complexes for converting ethylene , alkanes , biomass , and CO₂ into valuable chemicals and fuels through industrial collaborations. Education : M.Sc. (Technical University of Aachen, 1990), Ph.D. (Aachen, 1993) under Prof. W. Keim Postdoctoral Training : University of Tasmania (1994-1996), Imperial College London (1996-2000) His research interests span: Selective oxidation of alkanes using bio-inspired iron complexes Alkene conversions to functional polymers via novel catalysts CO₂ valorization into polymers and cyclic carbonates Biomass-derived feedstocks for chemical synthesis Recent catalysis trends highlight his work on: Designing Fe-N/C catalysts for epoxidation Developing PN3P pincer ligands for H₂ activation Creating degradable polyethylene via iron-catalyzed chain growth Modeling alternating α-olefin distributions in chromium systems Awards : Fellow of the Royal Society of Chemistry (FRSC) Students & Collaborators actively engage in: Photocatalytic polymer degradation Electrocatalytic CO₂ conversion Functionalized polymeric materials 3D-printed catalytic scaffolds His Britovsek Research Group operates at the Molecular Sciences Research Hub, White City Campus, advancing both homogeneous and heterogeneous catalysis through experimental and computational approaches.

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.

• Urban Water Systems
• Applied Fluid Mechanics
• Storm Drainage
• +۱۲ مورد دیگر

Professor Cedo Maksimovic is a leading academic in the Department of Civil and Environmental Engineering at Imperial College London, Faculty of Engineering. He is a Principal Research Fellow and heads the Urban Water Research Group (UWRG), with affiliations to the Environmental and Water Resource Engineering group, Grantham Institute, Space Lab, and Urban Systems Lab. His research focuses on urban water systems , including storm drainage, urban flooding, water supply, and the interaction between urban infrastructure and the environment. He has pioneered work in applied fluid mechanics , smart water infrastructure , and flood risk management , with innovations such as the AOFD method for urban surface flood modelling and intelligent sensor networks recognized by the ICE Telford Gold Medal. His recent research, as reflected in publications, spans urban pluvial flooding , leakage detection , integrated urban water management , and blue-green infrastructure . These works emphasize computational modelling, real-time monitoring, and climate resilience in urban environments. UNESCO/IAHR Lecturer of the Year 2001 ICE Telford Gold Medal (WINES project team) Prof. Maksimovic has led major projects funded by EPSRC, EU (Climate-KIC, Interreg), UNESCO, and ERANET_CRUE. He advises postgraduate students and has created international educational initiatives like the EDUCATE programme. He also serves as Editor-in-Chief of the Urban Water Book Series and co-founded the Urban Water journal. He leads the UNESCO-endorsed IRTCUD/CUW network with centres in Banjaluka, Belgrade, Cairo, Kuala Lumpur, London, Porto Alegre, Tehran, and Trondheim, promoting global collaboration in urban water research and education.

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

Tengyao Wangمشاهده پروفایل

استاد

• High-dimensional Statistics
• Change-point Analysis
• Sparse Signal Detection
• +۷ مورد دیگر

Tengyao Wang is a Professor in the Department of Statistics at the London School of Economics and Political Science (LSE), serving as the MSc Statistics (Financial Statistics) Programme Director. Prior to LSE, he held positions as a Lecturer at University College London and a Research Fellow at the Cantab Capital Institute for the Mathematics of Information, University of Cambridge. His research focuses on high-dimensional statistics, computational efficiency, and statistical limitations imposed by computational constraints. Education: PhD in Statistics under Prof Richard Samworth at the University of Cambridge, with earlier studies including a Part III Essay in Empirical Process Theory. Research interests include sparse signal detection, change-point analysis, dimension reduction, robust statistics, and applications in medical statistics, financial data analysis, and material discovery. Key contributions include methodologies for handling missing data, high-dimensional change-point detection algorithms, and statistical learning techniques. Publications span theoretical advancements and applied innovations, with recent work emphasizing deep learning with missing data, residual permutation tests, and semi-supervised learning via random projections. His work has been recognized with awards such as the Royal Statistical Society Research Prize (2019) and the Guy Medal in Bronze (2023). He is an Associate Editor of the Journal of the Royal Statistical Society, Series B (JRSS B), and actively contributes to open-source tools like the 'ocd' and 'MissInspect' R packages for changepoint detection and missing data analysis.

Andrew Friendمشاهده پروفایل

پژوهشگر

• Carbon Cycle
• Ecosystem Ecology
• Climate Science
• +۵ مورد دیگر

Andrew Friend is a Researcher at the University of Cambridge , affiliated with the Department of Geography . His work focuses on terrestrial ecosystem dynamics, particularly the interplay between vegetation, carbon fluxes, and climate systems. He develops process-based computer models to simulate vegetation growth, competition, and carbon cycle responses, while also conducting experimental and field studies in collaboration with institutions like the Sainsbury Laboratory, NIAB, and Forestry England. Friend’s research integrates plant physiological knowledge with global vegetation modeling . Key interests include source-sink carbon interactions, physiological diversity in ecosystems, and the impact of climate extremes on forest resilience. His models address challenges such as drought, temperature changes, and deforestation, with applications in predicting future carbon balances and informing climate mitigation strategies. The 15 most recent articles highlight his contributions to understanding Amazon deforestation tipping points , wood formation mechanisms , and fire/disturbance impacts on ecosystems . These works span climate science , forest ecology , and biogeochemical cycles , emphasizing multi-scale approaches from cellular processes to global systems. Friend collaborates with institutions like Forestry England (Thetford Forest studies), Sainsbury Laboratory , and the C-CLEAR Doctoral Training Partnership . His work bridges computational modeling, experimental validation, and field data to advance terrestrial carbon cycle science.