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

Osbert Bastaniمشاهده پروفایل

دانشیار

• Machine Learning
• Neurosymbolic AI
• Program Synthesis
• +۱۰ مورد دیگر

Osbert Bastani is an Associate Professor at the Department of Computer and Information Science, University of Pennsylvania, leading the trustml@Penn research group. He is affiliated with the ASSET , PRECISE , and PRiML centers, and the PLClub research group. His research focuses on Trustworthy Neurosymbolic Systems , Synthesizing Neurosymbolic Programs , and Machine Learning for Programmer Productivity , with applications in verification, fairness, and human-AI collaboration. He received the NSF CAREER Award in 2023. His recent publications (2024-2025) emphasize AI Safety , LLM Robustness , and Algorithmic Fairness , including work on adversarial robustness, conformal prediction, and program synthesis. Students he has advised include Sagnik Anupam, Stephen Mell, Jason Ma, Shuo Li, and others. Awards: NSF CAREER Award (2023)

Lutz Schubertمشاهده پروفایل

پژوهشگر

• Operating Systems
• Distributed Computing
• Parallel Processing
• +۳ مورد دیگر

Lutz Schubert is a researcher at the Institute of Computer Science , University of Cologne. He focuses on efficient distributed and parallel execution environments for heterogeneous systems, notably the MyThOS operating system in collaboration with Brandenburg University of Technology, Cottbus-Senftenberg. His interdisciplinary work bridges computer science and digital archaeology , addressing modeling of non-deterministic events from sparse excavation data and exploring human behavior constraints in archaeological contexts. Research Interests Design of modular, scalable operating systems for distributed systems Optimization of execution environments for heterogeneous hardware Application of complex systems modeling to digital archaeology Statistical and probabilistic methods for archaeological interpretation Autonomic resource distribution and adaptation in computing Publication Trends : His work spans operating systems , parallel computing , and digital humanities , with recent emphasis on probabilistic reasoning in archaeology and adaptive OS design for multicore architectures. Labs & Collaborations : He collaborates with Brandenburg University of Technology on MyThOS and leads research in computational archaeology as chair of Computer Applications and Quantitative Methods in Archaeology (CAA) , Germany.

Peter Bühlmannمشاهده پروفایل

استاد

• High-dimensional Statistics
• Causal Inference
• Machine Learning
• +۳ مورد دیگر

Peter Bühlmann is a Professor at ETH Zürich within the Seminar für Statistik , focusing on high-dimensional statistics, causal inference, and machine learning. His work bridges theoretical advancements with practical software implementations in R packages like pcalg , mboost , and glmmlasso , impacting fields such as genomics, proteomics, and intensive care analytics. Key Contributions : Causal structure learning, stability selection, anchor regression, and deconfounding. Software : Developed widely used R packages for statistical modeling and causal inference. Teaching : Courses on high-dimensional statistics at ETH Zürich and international institutions. Research Trends : Recent articles emphasize causal robustness, domain adaptation, and applications in medicine. His work addresses challenges in heterogeneous data, missing values, and covariate shifts using methods like spectral deconfounding and residual prediction tests. Scientific Recognition : Co-author of a paper designated as a New Hot Paper (Meinshausen and Bühlmann, 2006) by Essential Science Indicators, indicating significant impact in high-dimensional multiple testing.

Insup Leeمشاهده پروفایل

استاد

• Cyber-physical Systems
• Real-time and Embedded Systems
• Safe Autonomy
• +۳ مورد دیگر

Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science and Director of the PRECISE Center at the University of Pennsylvania's School of Engineering and Applied Science. He holds a secondary appointment in the Department of Electrical and Systems Engineering and the Perelman School of Medicine’s Department of Biostatistics, Epidemiology, and Informatics. IEEE TCCPS Distinguished Leadership Award (2023) Fellow of the AAAS (2022) Test of Time Award, Runtime Verification (2019) Fellow of the ACM (2017) Best Paper Awards at IEEE ICPS, ACM/IEEE ICCPS, and MEMOCODE His research focuses on cyber-physical systems , real-time and embedded systems , safe autonomy , and internet of medical things , with applications in healthcare and connected systems. He advises PhD students including Eric Lu, Kaustubh Sridhar, Sooyong Jang, and Jean Park (co-advised with Kevin Johnson). Recent publications address safety monitoring for learning-enabled systems, model-free control synthesis using reinforcement learning, and multilingual toxicity guardrails for large language models. His team collaborates with institutions like Hillrom and Penn Nursing to optimize medical device usage in clinical settings.

Trevor Campbellمشاهده پروفایل

دانشیار

• Bayesian Inference
• Bayesian Nonparametrics
• Machine Learning
• +۵ مورد دیگر

Trevor Campbell is an Associate Professor in the Department of Statistics at the University of British Columbia (UBC), Vancouver. He holds a Ph.D. in Machine Learning and Statistics from MIT and a B.A.Sc. in Aerospace Engineering from the University of Toronto. His research focuses on automated, scalable Bayesian inference algorithms, Bayesian nonparametrics, and streaming data analysis. Campbell is a core contributor to probabilistic programming tools like Pigeons.jl and has developed influential methods for coreset-based Bayesian inference. Education : Ph.D. in Machine Learning and Statistics (2016), MIT M.S. in Aeronautics and Astronautics (2013), MIT B.A.Sc. in Aerospace Engineering (2011), University of Toronto Research Interests : His work emphasizes scalable Bayesian computation, including variational inference, MCMC optimization, and coresets. He develops algorithms that balance statistical accuracy with computational efficiency, particularly for large-scale datasets. His recent work explores adaptive samplers (e.g., AutoStep, autoMALA) and theoretical guarantees for coreset methods. Applications span astrophysics, materials science, and network analysis. Awards & Grants : NSERC Discovery Grant (2025) Blackwell-Rosenbluth Award (2021) PIMS Early Career Award (2023) Google Perception Academic Funding (2020) Advising & Labs : He supervises a team of PhD and M.Sc. students at UBC, focusing on Bayesian methodology and computational tools. His lab collaborates with institutions like SFU and MIT on projects involving distributed sampling and probabilistic modeling. He co-organizes workshops on Bayesian computation and serves on editorial boards for Bayesian Analysis and TMLR.

• Machine Learning
• Explainable AI
• Neural Networks
• +۳ مورد دیگر

Jonas Fischer is the head of the Explainable Machine Learning group at the Max Planck Institute for Informatics, Department of Computer Vision and Machine Learning. His research focuses on interpreting complex machine learning models, particularly in genomics and healthcare, aiming to enhance robustness and alignment with human decision-making. Prior to his role at MPI, he was a postdoctoral fellow at Harvard University's Department of Biostatistics, where he worked on interpretable models for gene regulatory systems in cancer. Education: PhD in Computer Science from Saarland University (2022), with a thesis titled More than the sum of its parts , exploring the intersection of pattern mining and deep learning. He has contributed to advancing methods in neural network pruning, federated learning, and low-dimensional embeddings (e.g., dtSNE, Mercat). His work bridges computational biology, data mining, and machine learning, with applications in DNA methylation analysis, graph-based differential networks, and biomedical informatics. Key research areas include: (1) Explainable AI and neural network interpretability, (2) Biomedical applications of machine learning (e.g., gene regulatory networks, cancer genomics), (3) Low-dimensional embeddings and visualization techniques, (4) Federated learning for privacy-preserving collaborative models, and (5) Pattern mining for error analysis in NLP and classification tasks. Publications span top venues like NeurIPS, ICLR, Bioinformatics, and Genome Biology. His group develops tools such as BONOBO for omics data integration and node2vec2rank for scalable graph analysis. He actively collaborates with biomedical researchers to address challenges in data-driven healthcare and precision medicine.

Han Liuمشاهده پروفایل

استاد

• Artificial Intelligence
• Computer Systems
• Statistical Machine Learning
• +۴ مورد دیگر

Han Liu is a Professor in the Department of Computer Science at Northwestern University's McCormick School of Engineering. He directs the MAGICS (Modern Artificial General Intelligible and Computer Systems) Lab and the Center for Foundation Models and Generative AI at Northwestern, with prior roles as director of the Deep Reinforcement Learning Center at Tencent AI Lab and professor at Princeton and Johns Hopkins Universities. PhD in Machine Learning and Statistics from Carnegie Mellon University (2012), advised by John Lafferty and Larry Wasserman Han Liu's research focuses on integrating artificial intelligence with computer systems, particularly through foundation models and probabilistic graphical models. His work aims to revolutionize science, engineering, and business by deploying statistical machine learning methods in edge and cloud computing environments. Recent research trends include transformer-based models, modern Hopfield networks, genomic foundation models, and theoretical analysis of attention mechanisms. His 2025 publications explore topics like species differentiation with DNA embeddings, universal approximation capabilities of transformers, and metaverse spatial reasoning. Alfred P Sloan Fellowship in Mathematics IMS Tweedie New Researcher Award ASA Noether Young Scholar Award NSF CAREER Award Presidential Early Career Awards for Scientists and Engineers Han Liu serves as associate editor for the Journal of American Statistical Association, Electronic Journal of Statistics, Technometrics, and the Journal of Portfolio Management. He has directed research centers at Northwestern and contributed to major conferences as area chair (NeurIPS, ICML, ICLR).

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

استاد

• Machine Learning
• Bayesian Optimization
• Gaussian Processes
• +۳ مورد دیگر

Michael A Osborne is Professor of Machine Learning at the University of Oxford and leads the Bayesian Exploration Lab . He serves as Director of the EPSRC Centre for Doctoral Training in Autonomous Intelligent Machines and Systems and co-directs the Oxford Martin AI Governance Initiative. His research focuses on Bayesian optimization, Gaussian processes, and probabilistic numerics with applications in quantum devices, battery modeling, and AI governance. Key Positions: Professor of Machine Learning, University of Oxford Official Fellow, Exeter College Co-founder of Mind Foundry Lead Researcher, Oxford Martin Programme on Technology and Employment Research Themes: Probabilistic modeling for quantum systems Uncertainty quantification in energy storage AI safety and societal impact analysis Automated experimental design Quantum device calibration Probabilistic numerical methods Technical Contributions: Bridging reality gap in quantum devices Efficient Bayesian quadrature techniques Personalized neurostimulation algorithms Automated measurement protocols Quantum-classical hybrid ML

• Bayesian statistics
• Stochastic simulation
• Markov chain Monte Carlo
• +۵ مورد دیگر

Professor Chris Holmes is a Professor of Biostatistics at the University of Oxford, where he moved from Imperial College London in February 2004. He is a Fellow at St Anne's College and works in the Department of Statistics. His research focuses on applications and statistical methods development in genomic sciences and genetic epidemiology, holding a prestigious Programme Leaders Grant in Statistical Genomics from the Medical Research Council. Prior to his position at Oxford, Professor Holmes completed his doctorate in Bayesian statistics at Imperial College London, investigating novel nonlinear pattern recognition methods. This was followed by a post-doctoral position and then a lectureship at Imperial. Before his academic career, he worked in industry for several years in scientific computing, developing techniques for real-time pattern recognition models in defense and SCADA systems. Professor Holmes has a broad interest in the theory, methods and applications of statistics and statistical modeling, with a particular foundation in Bayesian statistics which he views as providing a unified framework for stochastic modeling and information processing. His specific research interests include: Bayesian statistics and stochastic simulation Markov chain Monte Carlo methods Pattern recognition and nonlinear, nonparametric methods Spatial statistics Statistical genetics and genomics Genetic epidemiology His recent publications (2023-2025) demonstrate a strong focus on the intersection of biostatistics, artificial intelligence, and healthcare applications. His work spans multiple domains including AI-driven disease classification in neurology, genomic data analysis for health equity, machine learning tools for healthcare prediction, and addressing bias in medical AI systems. A notable trend across his research is the application of advanced statistical methods to solve pressing problems in genomics, epidemiology, and medical diagnostics, with an increasing emphasis on health equity and the ethical implications of AI in healthcare. Professor Holmes currently supervises PhD students Oscar Clivio, Sahra Ghalebikesabi, and Natalia Garcia Martin. His research is supported by multiple grants, including the MRC Programme Leaders Grant in Statistical Genomics which funds his work in statistical genomics. He is actively involved in three research groups at Oxford that reflect the breadth of his scholarly interests: Computational Statistics and Machine Learning Statistical Genetics and Epidemiology Statistical Theory and Methodology

Alessio Lomuscioمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning Verification
• Neural Network Verification
• +۵ مورد دیگر

Alessio Lomuscio is a Professor of Safe Artificial Intelligence at Imperial College London, holding the prestigious Royal Academy of Engineering Chair in Emerging Technologies and recognized as an ACM Distinguished Member. He leads the Safe AI Lab, which focuses on developing methods and tools for the verification of AI systems to ensure their safe and secure deployment in applications of societal importance. His research spans verification and robust learning for neural networks and decision trees, robust machine learning in aviation and finance, monitoring of machine learning systems, assurance for autonomous systems and AI, and verification and validation of neuro-symbolic systems. Lomuscio has made significant contributions to formal verification methods for AI systems, particularly in the context of safety-critical applications. His recent publications demonstrate a strong focus on neural network verification techniques, with applications across multiple domains including finance, aviation, and autonomous systems. His work bridges theoretical advances in formal methods with practical applications in real-world AI systems, addressing critical challenges in AI safety and trustworthiness. Scientific Awards: Royal Academy of Engineering Chair in Emerging Technologies ACM Distinguished Member Lomuscio has served in numerous leadership roles, including as Co-Director (2023-present) and Deputy Director (2019-2023) of the UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence. He has also held positions as Director of Strategy and Planning (2017-2020), Member of Management Committee (2013-2020), and Deputy Head of Department (2016-2017). His editorial service includes roles as Associate Editor for Artificial Intelligence Journal and Editorial Board Member for Journal of Artificial Intelligence Research and Journal of Autonomous Agents and Multi-agent Systems. His research group actively mentors students and researchers, with current openings for PhD and postdoctoral positions focused on AI verification and safety. Lomuscio's work has established him as a leading figure in the field of safe and verifiable AI systems, with significant contributions to both theoretical foundations and practical applications.

Pascal Poupartمشاهده پروفایل

استاد

• Reinforcement Learning
• Probabilistic Models
• Natural Language Processing
• +۳ مورد دیگر

Pascal Poupart is a Professor and Canada CIFAR AI Chair at the Vector Institute, affiliated with the David R. Cheriton School of Computer Science at the University of Waterloo. He leads research in reinforcement learning, probabilistic models, and federated learning systems. Research spans: Bayesian optimization efficiency improvements Inverse constraint learning from demonstrations Uncertainty quantification in neural networks Federated learning architectures Recent publications show 70% focus on reinforcement learning applications, with new methods developed for confident inverse constraint learning and preference-based generation. Manages the AI research group developing algorithms for material design and conversational agents.

Andreas Vlachosمشاهده پروفایل

استاد

• Natural Language Processing
• Machine Learning
• Dialogue Modelling
• +۱۰ مورد دیگر

Andreas Vlachos is a Professor of Natural Language Processing and Machine Learning at the Department of Computer Science and Technology, University of Cambridge, and holds the Dinesh Dhamija Fellowship at Fitzwilliam College. His research spans dialogue modeling, automated fact-checking, imitation learning, semantic parsing, biomedical text mining, and trustworthiness in AI systems. PhD in Computer Science, University of Cambridge (supervised by Ted Briscoe and Zoubin Ghahramani) Lecturer at University of Sheffield Postdoctoral roles at UCL, University of Cambridge (NLIP group, Stephen Clark), and University of Wisconsin-Madison (Mark Craven) Current research focuses on evaluating and mitigating biases in language models, advancing fact-checking methodologies, and improving model robustness through interpolation, reinforcement learning, and causal reasoning. His work integrates natural logic, knowledge graphs, and multimodal evidence for verification tasks. Recent publications address uncertainty quantification, temporal planning benchmarks, and ethical framing of NLP artifacts. Grants from ERC, EPSRC, Facebook, Google, and the Alan Turing Institute fund his research team. Collaborations include Sebastian Riedel, Stephen Clark, and Mark Craven. Key projects explore disinformation detection, long-form generation, and confidence calibration in AI systems.

Henrik Sandbergمشاهده پروفایل

استاد

• Cyber-Physical Systems Security
• Power Systems
• Model Reduction
• +۶ مورد دیگر

Henrik Sandberg is a Professor at the Division of Decision and Control Systems , KTH Royal Institute of Technology , Stockholm, Sweden. He holds the title of Deputy Head of Division and is affiliated with the School of Electrical Engineering and Computer Science . Education: MSc in Engineering Physics (1999) PhD in Automatic Control (2004) from Lund University Postdoctoral position at Caltech (pre-2007) Research Interests: Focus on cyber-physical systems security , power systems , model reduction , and fundamental limitations of control systems . Key sub-areas include attack detection , networked control , privacy-preserving estimation , and resilient control architectures . Publications: Over 150 papers across IEEE Transactions and Automatica , covering topics like stealthy attacks , distributed control , LQG optimization , and thermodynamic costs in filtering . Recent work includes LWE-based encrypted control and Bayesian deception mechanisms . Scientific Awards: Best Student Paper Award Finalist at IEEE CASE 2014; Best Student-Paper Award at IEEE CDC 2004. Grants & Projects: Leads the DYNACON project (WASP Cybersec cluster) and collaborates on CERCES (critical infrastructure resilience). Serves as examiner for multiple advanced courses in cybersecurity and control systems. Contact: Email: hsan@kth.se Phone: +46 (0)8 790 7294 Room: A:607, Malvinas Väg 10, Stockholm

Daniel M. Royمشاهده پروفایل

استاد

• Machine Learning
• Statistics
• Probabilistic Programming
• +۷ مورد دیگر

Daniel M. Roy is a Full Professor at the University of Toronto, with cross-appointments in the Department of Computer Science, Department of Statistical Sciences, and Department of Electrical and Computer Engineering. He serves as Research Director at the Vector Institute and holds the CIFAR Canada AI Chair. Research Focus: Foundational principles of prediction, inference, and decision-making under uncertainty across machine learning, statistics, mathematical logic, applied probability, and computer science. Scientific Contributions: Key work in learning theory, statistical network analysis, probabilistic programming, and information-theoretic frameworks for generalization. Awards: ICML 2024 Best Paper Award for "Information Complexity of Stochastic Convex Optimization" and promotion to Full Professor in 2024. Student Advising: Actively mentors Ph.D. candidates and postdoctoral researchers with strong quantitative backgrounds, particularly at the intersection of machine learning, statistics, and computer science. Email: daniel.roy@utoronto.ca

Ajit Rajwadeمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning
• Signal Processing
• +۶ مورد دیگر

Ajit Rajwade is a Professor at the Department of Computer Science and Engineering , Indian Institute of Technology Bombay. His research spans Artificial Intelligence , Compressed Sensing , and Medical Imaging , with affiliations to the Centre for Machine Intelligence and Data Science and the Koita Centre for Digital Health . Education : PhD in Computer and Information Science and Engineering, University of Florida (2010) MSc in Computer Science, McGill University (2004) BTech in Computer Engineering, University of Pune (2002) His research interests focus on intelligent data acquisition, particularly in neural network analysis , graph signal processing , and medical imaging . He develops compressed sensing algorithms for inverse problems like tomography and MRI reconstruction , alongside applying group testing to pandemic response. Scientific awards include the Prof. S. P. Sukhatme Award (2024) and Departmental Teaching Excellence (2019). His publications demonstrate expertise in image restoration , noise modeling , and epidemiological algorithms . He has advised PhD students like Sabyasachi Ghosh and Jerin Geo James , with a focus on computationally efficient methods in medical imaging and machine learning .