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

• Operations Research
• Machine Learning
• Optimization under Uncertainty
• +۴ مورد دیگر

Minseok Ryu is an Assistant Professor at the School of Computing and Augmented Intelligence, Arizona State University (ASU). He holds a Ph.D. in Industrial & Operations Engineering from the University of Michigan (2020). Prior to ASU, he was a postdoctoral appointee at Argonne National Laboratory’s Mathematics and Computer Science Division. His research focuses on optimization methodologies for decentralized and stochastic decision-making distributed algorithms for machine learning and operations research applications in healthcare systems and energy grids Teaching responsibilities include courses on applied deterministic operations research (IEE 574), optimization (IEE 622), and research practicums (IEE 792). His work emphasizes computational challenges in decision-making under uncertainty, with recent projects addressing nurse staffing optimization, federated learning frameworks (e.g., APPFL/APPFLX), and resilient power grid systems. He has no recorded academic awards but actively contributes to open-source software and cross-disciplinary research collaborations. Research interests bridge theory and practice, targeting social goods through optimization techniques like distributionally robust optimization, federated learning, and heuristic algorithms for energy and healthcare systems.

Kaki Ryanمشاهده پروفایل

استادیار

• Hardware Security
• Symbolic Execution
• Computer Science Education
• +۳ مورد دیگر

Kaki Ryan is a Teaching Assistant Professor at the Department of Computer Science, University of North Carolina at Chapel Hill. She holds a Ph.D. (2025), M.S. (2021), and B.S. (2020) from UNC, with a minor in AAAD. Her research focuses on hardware security, symbolic execution, and computer science education. Education Ph.D., 2025, UNC-Chapel Hill M.S., 2021, UNC-Chapel Hill B.S., 2020, UNC-Chapel Hill (Computer Science and Mathematics) Ryan's research centers on hardware security, particularly using symbolic execution to identify bugs and vulnerabilities in hardware designs. She also emphasizes broadening participation in computing and improving pedagogical strategies in computer science education. Her recent publications (2023-2025) explore symbolic execution techniques for hardware security verification, including query caching, information flow analysis, and path explosion mitigation. These works span conferences like ASPLOS, VTS, FMCAD, and workshops such as HASP. Scientific Awards John M. Glotzer Graduate Teaching Assistant Award (2020-2021) Tanner Award for Excellence in Undergraduate Teaching (2022) As an educator, Ryan has served as Instructor of Record for COMP 435 (Computer Security Concepts) and COMP 311 (Computer Organization) in Fall 2025. She has extensive teaching experience as a Graduate Teaching Assistant, Head Teaching Assistant, and Undergraduate Teaching Assistant for courses like COMP 210, COMP 110, and COMP 435, with a focus on data structures, security concepts, and programming fundamentals.

Raman Aroraمشاهده پروفایل

دانشیار

• Machine Learning
• Statistical Signal Processing
• Stochastic Approximation Algorithms
• +۱۶ مورد دیگر

Raman Arora is an Associate Professor in the Department of Computer Science at Johns Hopkins University, with affiliations to the Mathematical Institute for Data Science (MINDS), the Center for Language and Speech Processing (CLSP), and the Institute for Data-Intensive Engineering and Science (IDIES). His research spans theoretical and practical aspects of machine learning, focusing on robustness, privacy, representation learning, and optimization. Research Interests: Machine Learning Theory Representation Learning (e.g., Deep CCA, Multi-view Learning) Privacy-Preserving Machine Learning (Differential Privacy) Robustness in Deep Learning Online and Reinforcement Learning Stochastic Optimization Algorithms His recent publications, primarily in top-tier venues like NeurIPS, ICML, and ICLR, demonstrate a strong focus on the theoretical foundations of adversarial robustness, multi-task learning, offline reinforcement learning, and differentially private optimization. His work often bridges theory and practice, with applications in speech, language, and data-intensive systems. Scientific Awards and Honors: NSF CAREER Award (2020) ICML Test-of-Time Award Finalist (2023) for Deep CCA Member, Institute for Advanced Study (2019–2020) Visiting Scientist, Simons Institute (2019, 2020, 2022) Advising and Grants: Raman Arora has advised numerous PhD and master’s students, many of whom are now researchers at leading tech companies like Google, Meta, and Microsoft. His research is supported by significant grants from the NSF (including CAREER, BIGDATA, TRIPODS, and CRCNS awards), DARPA, and other agencies, focusing on foundational aspects of machine learning such as inductive biases, privacy, robustness, and computational neuroscience. Laboratory and Research Group: He leads a dynamic research group at Johns Hopkins, comprising current PhD students and postdoctoral researchers working on the intersection of theory and applications in machine learning. The group is actively involved in projects related to adversarial robustness, meta-learning, offline reinforcement learning, and private optimization.

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

• Computational Neuroscience
• Artificial Intelligence
• Machine Learning
• +۷ مورد دیگر

Raul Vicente Zafra is a Professor of Data Science at the University of Tartu, Faculty of Science and Technology, Institute of Computer Science, where he has been working since 2013. His research spans computational neuroscience, artificial intelligence, and data science, with a particular focus on bridging biological and artificial models of intelligence. Education: PhD in Physics (2001-2006), University of the Balearic Islands BSc in Physics (1997-2001) Professor Zafra's research interests center on computational neuroscience and artificial intelligence, with specific expertise in brain-computer interfaces, reinforcement learning, neural modeling, and explainable AI. His work bridges the gap between biological and artificial intelligence systems, exploring how neural principles can inform machine learning algorithms and vice versa. He has made significant contributions to understanding neural coherence, time interval learning in neural systems, and the application of information theory to brain-computer interfaces. His research often involves interdisciplinary collaboration between computer science, neuroscience, and medicine. Analysis of Zafra's recent publications reveals a strong focus on the intersection of artificial intelligence and neuroscience. His work spans explainable AI methods, brain-computer interfaces, reinforcement learning models that mimic cognitive processes, and neurophysiological studies of brain activity. A notable trend is his exploration of how biological principles of neural computation can inform and improve artificial intelligence systems, particularly in areas like time-based learning, consciousness modeling, and neural coherence. Scientific Awards: 2012: Attendee at the 62nd Lindau Nobel Laureate Meeting 2007: Quantum Electronics and Optics Division Prize of the European Physical Society for the best PhD Thesis in Applied Optics in Europe 2006: PhD Extraordinary Award of the Physics Department of the University of the Balearic Islands 2001: Physics Degree Extraordinary Award (First Class Honors, best GPA) 1997: Bronze Medal in the "8th Spanish Physics Olympiad" Professor Zafra has been principal investigator on numerous significant research projects including the Estonian Centre of Excellence in Artificial Intelligence, Cardiovascular Stress Impacts On Neuronal Function, and Bridging biological and artificial models of vision. His grant portfolio demonstrates strong funding support from the Estonian Research Council, European Commission, and other major funding bodies. He has supervised multiple PhD students and mentored early-career researchers in computational neuroscience and AI. His laboratory work focuses on developing computational models of neural systems and applying these insights to artificial intelligence. Current research directions include explainable AI methods, brain-computer interfaces, modeling of consciousness and cognitive processes, and the application of AI to healthcare challenges.

• Uncertainty Quantification
• Scientific Machine Learning
• Stochastic Optimization
• +۳ مورد دیگر

Hadi Meidani is a Clinical Associate Professor at the Carle Illinois College of Medicine , specifically within the Department of Biomedical and Translational Sciences at the University of Illinois at Urbana-Champaign . He teaches courses in Civil and Environmental Engineering, including topics like Systems Engineering & Economics , Machine Learning in CEE , and Uncertainty Quantification . Ph.D., Civil Engineering, University of Southern California (2012) M.S., Electrical Engineering, University of Southern California (2012) M.S., Structural Engineering, Sharif University of Technology (2005) B.S., Civil Engineering, K.N. Toosi University of Technology (2002) Dr. Meidani's research focuses on uncertainty quantification , scientific machine learning , and optimization under uncertainty for engineering systems. His work spans stochastic multiscale analysis , physics-informed machine learning , and model reduction techniques. His recent publications emphasize machine learning for infrastructure systems , graph neural networks , physics-informed models , and traffic assignment . Key trends include deep learning , multi-fidelity modeling , and neural operator transformers applied to metamaterial design , seismic reliability , and autonomous freight delivery .

Po-Ling Lohمشاهده پروفایل

استاد

• Statistical Learning
• Robust Statistics
• High-Dimensional Statistics
• +۳ مورد دیگر

Professor Po-Ling Loh is a faculty member at the University of Cambridge, affiliated with the Statistical Laboratory within the Faculty of Mathematics. Her research focuses on statistical theory and methodology, with applications in machine learning, robust statistics, and medical imaging. She holds a professorship position and contributes to advancing computational and theoretical frameworks for high-dimensional data analysis. Loh’s work addresses challenges such as robust regression, differential privacy, and efficient algorithms for complex models. Her educational background includes studies at Cambridge and further academic pursuits, though specific degree details are not provided here. Research interests span statistical learning, adversarial machine learning, and the mathematical foundations of robust algorithms. She actively publishes in top-tier journals and conferences, addressing topics like neural network regularization, privacy-preserving synthetic data, and network analysis. Notably, Loh collaborates on projects involving medical image analysis (e.g., bone age estimation via BAE-ViT) and has contributed to methodological advancements in hypothesis testing and privacy-constrained inference. Her research often bridges theory and practice, emphasizing computational efficiency and statistical rigor. While no specific grants or awards are listed, her prolific publication record reflects sustained academic impact in statistical and machine learning domains. Loh is associated with the Statistical Laboratory, contributing to its research initiatives and possibly advising students in high-dimensional statistics and related fields. Her work frequently intersects with interdisciplinary applications, such as medical imaging and network science, underscoring the practical relevance of her theoretical contributions.

Ram Vasudevanمشاهده پروفایل

دانشیار

• Optimization and control of nonlinear systems
• Legged robot locomotion
• Autonomous systems safety
• +۴ مورد دیگر

Ram Vasudevan is an Associate Professor and Associate Chair of Graduate Studies in the Department of Robotics at the University of Michigan. His research focuses on developing tools for safe and robust deployment of robotic systems, emphasizing optimization, nonlinear control, and real-world applications. Key areas include legged robot locomotion, shared control systems, and safety-critical autonomous systems. Research Interests: Optimization and control of nonlinear systems, locomotion of legged robots, shared control active safety systems, and automation of diagnostic/rehabilitative tasks. His ROAHM Lab prioritizes mathematical guarantees for robotic performance, with applications in medical robotics, autonomous vehicles, and soft robotics. Recent work emphasizes trajectory optimization, sensor fusion, and safety-aware control strategies. He has contributed to benchmarks for autonomous vehicle perception and novel methods in thermal image restoration using neural radiance fields. Awards: None explicitly listed in provided text. Labs/Teams: Directs the ROAHM Lab, collaborating on projects like robotic tail mechanics, real-time motion planning, and sensor data analysis. Active in academic conferences including RSS and ICRA.

• Topological Data Analysis
• Data Visualization
• Computational Topology
• +۵ مورد دیگر

Bei Wang Phillips is an Associate Professor in the School of Computing and a faculty member at the Scientific Computing and Imaging (SCI) Institute at the University of Utah. She holds a Ph.D. in Computer Science from Duke University and an undergraduate degree from the University of Bridgeport. Her research focuses on Topological Data Analysis (TDA), data visualization, computational topology, and machine learning, with applications in scientific data exploration and analysis. She has received prestigious awards including the NSF CAREER Award (2022) and the PECASE Award (2025). Her work spans projects funded by NSF, NIH, and DOE, including multiparameter TDA and topology-aware data compression. She advises numerous students and collaborates on interdisciplinary initiatives in astrophysics, climate science, and AI fairness. Education: Ph.D. in Computer Science, Duke University (2010) B.S. in Computer Science and Mathematics, University of Bridgeport (2003) Research Interests: Topological techniques for large-scale data analysis Integration of topological, geometric, and machine learning methods Applications in visualization, bioinformatics, and network analysis Key Projects: NSF-funded TDA research (DMS-2301361, OAC-2313124) DOE project on topology-preserving data compression Collaborations with NASA, Argonne National Lab, and Carnegie Institution of Washington Awards: Presidential Early Career Award for Scientists and Engineers (2025) NSF CAREER Award (2022) DOE Early Career Research Program (2020) Advising and Grants: Mentored over 30 students and postdocs Recipient of multiple NSF and DOE grants totaling millions

• Data Mining
• Matrix Factorizations
• Tensor Factorizations
• +۲ مورد دیگر

Evrim Acar Ataman is a Research Professor and Chief Research Scientist at Simula Metropolitan, where she serves as Head of the Department of Data Science and Knowledge Discovery. Her research focuses on advanced data mining techniques for complex, multi-modal datasets across biomedical and network domains. Her primary research interests include Data Mining , Matrix and Tensor Factorizations , and Data Fusion for multi-modal data analysis. She develops constrained and coupled factorization methods to extract interpretable patterns in applications spanning neuroimaging, metabolomics, and mobile network analysis, with emphasis on dynamic and longitudinal data structures. Her work integrates mechanistic models with data-driven approaches to enhance biological and system understanding. Analysis of her recent publications (2024-2025) reveals a dominant trend applying tensor and coupled matrix-tensor factorizations to biomedical data for biomarker discovery, particularly in metabolomics and neuroimaging. Key innovations include tracking evolving patterns in temporal data (tPARAFAC2), constrained fusion methods (dCMF), and integration of mechanistic models with tensor decompositions for longitudinal analysis. As Head of the Department of Data Science and Knowledge Discovery, she leads research in developing novel data mining methodologies and their real-world applications at Simula Metropolitan, with significant contributions to interpretable AI for complex systems.

Angjoo Kanazawaمشاهده پروفایل

استادیار

• Computer Vision
• Computer Graphics
• Artificial Intelligence
• +۶ مورد دیگر

Angjoo Kanazawa is an Assistant Professor in the Department of Electrical Engineering and Computer Sciences (EECS) at the University of California, Berkeley. She leads the Kanazawa AI Research (KAIR) lab under the Berkeley Artificial Intelligence Research (BAIR) umbrella and serves on the advisory board of Wonder Dynamics. Her research focuses on the intersection of computer vision, computer graphics, and machine learning, with a particular emphasis on 4D reconstruction of dynamic scenes, neural radiance fields (NeRF), and systems that model human-environment interactions from 2D visual data. Education : Ph.D., Computer Science (2017), University of Maryland, College Park BA, Mathematics and Computer Science (2012), New York University (NYU) Her work aims to build systems that can capture, perceive, and understand complex 3D/4D worlds from photographs and videos, enabling applications in scene reconstruction, motion analysis, and generative modeling. She has pioneered techniques for scaling NeRFs across GPUs (NeRF-XL), developing open-source tools like nerfstudio and gsplat. Her recent publications focus on topics like self-occluded avatar recovery (SOAR), decentralized diffusion models, and 4D reconstruction of articulated objects for robotics. Kanazawa's research has been recognized with prestigious awards including the IEEE CS TCPAMI Young Researcher Award (2024) , Sloan Research Fellowship (2023) , and Google Faculty Research Award (2021) . Her lab has trained numerous students who now hold positions at leading institutions and companies like Anthropic, Meta Reality Labs, and Luma AI. Key Scientific Awards : IEEE CS TCPAMI Young Researcher Award (2024) Sloan Research Fellow (2023) Hellman Fellow (2022) Bakar Fellows Spark Award (2022) Google Faculty Research Award (2021) Her KAIR lab collaborates extensively with industry partners and academic institutions, including the Max Planck Institute and Google Research. She has served as an advisor for PhD students and postdocs who now lead teams at UC Berkeley, MIT, Stanford, and Luma AI, while her teaching includes graduate courses like CS 280A (Computer Vision) and CS 294-173 (Learning for 3D Vision).

• Functional Analysis
• Artificial Intelligence
• Foundations of Computational Mathematics
• +۱۵ مورد دیگر

Professor Anders C. Hansen is a mathematician at the University of Cambridge and University of Oslo, leading the Applied Functional and Harmonic Analysis group. His work bridges functional analysis, artificial intelligence, and computational mathematics, focusing on the Solvability Complexity Index (SCI) hierarchy and stability issues in deep learning. He has held prestigious fellowships, including a Royal Society University Research Fellowship and Peterhouse Bye-Fellowship. Educated at the University of Cambridge, UC Berkeley, and the Norwegian University of Science and Technology Developed groundbreaking theories in compressed sensing and deep learning, revealing algorithmic instability paradoxes Organized workshops on computational mathematics and AI interpretability His research explores the SCI hierarchy , exposing computational barriers in AI, quantum mechanics, and inverse problems. Key projects include Smale’s 18th problem and analyzing neural network stability. His work has transformed understanding of compressed sensing, particularly in medical imaging. Recent scientific awards include the Whitehead Prize (2019), IMA Prize (2018), and Leverhulme Prize (2017). Collaborations span institutions like Caltech, MIT, and the University of Vienna. As an educator, he teaches NST Part IA Mathematical Methods , Part II Numerical Analysis , and a Part III course on Compressed Sensing . His group has mentored 17 PhD and postdoctoral researchers since 2012.

• Graph Algorithms
• Optimization
• High-Dimensional Geometry
• +۳ مورد دیگر

Yang P. Liu is an Assistant Professor at Carnegie Mellon University 's Department of Computer Science . He received his PhD from Stanford University under the supervision of Aaron Sidford and previously studied at MIT . Fields of Interest : Graph Algorithms, Optimization, High-Dimensional Geometry, Additive Combinatorics, Theoretical Computer Science. His research focuses on algorithmic design and analysis for graph problems, optimization, and combinatorics, with applications in machine learning and complexity theory. Recent work includes advancements in parallel repetition games , combinatorial lines , and dynamic graph algorithms . In 2024, his research spanned FOCS , STOC , and RANDOM conferences, addressing problems in k-CSPs , min-cost flow , and hypergraph sparsification . Earlier contributions (2023) included deterministic flow algorithms and spectral hypergraph techniques. Scientific Awards : NDSEG Fellowship (2018-2021), Google PhD Fellowship (2022-2023), FOCS Best Paper (2022), STOC Best Student Paper (2022), FOCS Best Student Paper (2021). He teaches CS 15-759 , a graduate course on convex optimization theory and applications, covering gradient descent, interior point methods, and algorithmic sparsification techniques.

• Software Verification
• Formal Methods
• Programming Languages
• +۵ مورد دیگر

Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.

Florentina Buneaمشاهده پروفایل

استاد

• Statistical machine learning theory
• High-dimensional statistical inference
• Optimal transport
• +۶ مورد دیگر

Florentina Bunea is a Professor in the Department of Statistics and Data Science at Cornell University’s Bowers College of Computing and Information Science, and an active member of the Graduate Fields of Statistics, Applied Mathematics, and Computer Science. She also serves on the Diversity and Inclusion Council of her college, championing workforce diversity in data-science disciplines. Education & Institutional Roles Professor, Department of Statistics and Data Science, Cornell University Member, Graduate Fields of Statistics, Applied Mathematics, Computer Science Member, Diversity and Inclusion Council, Bowers College of Computing and Information Science Research Interests Professor Bunea’s research lies at the intersection of statistical machine-learning theory and high-dimensional inference. She develops rigorous methodology supported by sharp theoretical guarantees to tackle core problems in modern data science. Recent themes include: Soft-max mixtures for understanding large-language-model/AI algorithms Optimal transport for high-dimensional mixture distributions Wasserstein-distance inference for sparse mixing measures in topic models Latent-space clustering and cluster-based inference in high dimensions Network modeling and hidden-structure inference Applications spanning genetics, systems immunology, neuroscience, sociology, and economics Research Funding & Awards Her work is supported by grants from the National Science Foundation (NSF-DMS). She is a Fellow of the Institute of Mathematical Statistics and a recipient of the IMS Medallion Award. Editorial & Service Contributions Associate Editor: Annals of Statistics, Bernoulli, JASA, JRSS-B, EJS, Annals of Applied Statistics Co-Editor: Chapman & Hall/CRC Statistics and Applied Probability Monograph Series Advising & Collaboration Professor Bunea has mentored numerous doctoral and post-doctoral researchers, including Xin Bing, Shuyu Liu, Seth Strimas-Mackey, and Yang Ning, among others. Collaborative projects extend across Cornell and external institutions, producing widely-used software packages and high-impact publications. Contact Office: 1184 Comstock Hall, Cornell University Email: fb238@cornell.edu Phone: (607) 255-8449