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

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

استاد

• Computer Vision
• Robotics
• SLAM
• +۳ مورد دیگر

Professor Andrew Davison holds the position of Professor of Robot Vision at Imperial College London's Department of Computing. He leads the Dyson Robotics Laboratory and the Robot Vision Research Group, focusing on advancing SLAM (Simultaneous Localization and Mapping) and Spatial AI. His groundbreaking work includes the MonoSLAM algorithm (2003), enabling real-time 3D vision for robotics and AR/VR. Current research emphasizes scalable, semantic-rich Spatial AI systems, as outlined in his FutureMapping papers (2018–2019). Education: BA in Physics (Oxford, 1994), D.Phil. (Oxford, 1998). Postdoctoral work at AIST, Japan (1998–2000), followed by a lectureship at Imperial (2002–present). Industrial collaborations include SLAMcore, a Spatial AI startup, and Dyson Robotics Lab. Over 18 PhD students supervised, many now leading roles at Meta, NVIDIA, SLAMcore, and academia. Notable contributions include DTAM, KinectFusion, and Event Camera SLAM. Recognized for software tools like SceneLib and contributions to robotics benchmarks (SLAMBench). Active on Twitter (@AjdDavison) for research updates.

Amitabha Bagchiمشاهده پروفایل

استاد

• Data Algorithmics
• Probability and Networks
• Theoretical Computer Science
• +۷ مورد دیگر

Amitabha Bagchi is a Professor in the Department of Computer Science and Engineering at IIT Delhi. His research spans data algorithmics, probability, networks, and theoretical computer science, with applications in distributed systems, social networks, and AI-driven platforms. He has published extensively in leading venues such as SIGMOD, VLDB, ICDE, AAAI, and KDD, often collaborating with students and researchers on problems involving graph algorithms, fairness, and large-scale data analysis. Research Interests: His primary research interests include Data Algorithmics, Probability and Networks, Theoretical Computer Science, Distributed Algorithms, Graph Algorithms, and Machine Learning Theory. He investigates algorithmic foundations for real-world problems such as food delivery optimization, social network analysis, and efficient data structures for streaming and large graphs. Publication Trends: Recent publications focus on fairness in gig economy platforms, efficient solvers for graph Laplacians, generalization in neural networks, and temporal graph querying. His work combines theoretical rigor with practical impact, often involving GPU acceleration, distributed computing, and data-aware algorithm design. Scientific Service: Editor, Algorithms (2020–present) Editor, Journal of Discrete Algorithms , Elsevier (2006–2018) Guest Editor, special issue on Algorithms for Shortest Paths in Dynamic and Evolving Networks , Algorithms (2021) Volume Editor for proceedings of ESA, ATMOS, COCOON, and others Conference Leadership: He has served on numerous program committees and as chair for conferences including ESA (Engineering Track, 2016), ATMOS (2020), and ICALP (2019). His involvement spans algorithmic engineering, transportation optimization, and theoretical computer science forums. Teaching: He currently teaches COL863: Special Topics in Theoretical Computer Science on concentration inequalities and their applications. He has previously taught advanced courses in algorithms and data structures.

Niki Kilbertusمشاهده پروفایل

استادیار

• Machine Learning
• Causal Inference
• Ethics in AI
• +۵ مورد دیگر

Prof. Niki Kilbertus is an Assistant Professor at the Technical University of Munich (TUM) in the Department of Informatics, and Group Leader at Helmholtz AI. His research focuses on causal machine learning, ethical AI systems, and applications in healthcare, climate science, and dynamical systems. He earned his PhD from the University of Cambridge (2020) and has held positions at DeepMind, Google, and Amazon during his studies. His research interests include causal discovery, fairness in AI, counterfactual reasoning, and integrating physics-based constraints into neural networks. Key contributions include foundational work on fair machine learning (e.g., avoiding discrimination through causal models) and developing methods for causal inference in complex systems like healthcare and climate modeling. Recent work emphasizes generative models for causal interventions, robust treatment effect estimation, and physically consistent neural differential equations. He leads a large interdisciplinary group with over 20 students and postdocs working on projects funded by Helmholtz Association, ERC, and industry collaborations. Notable awards include the Leopoldina Prize for Young Scientists (2024) and membership in the Junge Akademie. His lab maintains active partnerships with ELLIS, MCML, and the Zuse Institute Berlin.

Huan Zhangمشاهده پروفایل

استادیار

• Trustworthy Machine Learning
• Formal Verification of Machine Learning
• AI Safety
• +۴ مورد دیگر

Huan Zhang serves as an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign (UIUC), with affiliate appointments in the Department of Computer Science and the Coordinated Science Laboratory. His research focuses on building trustworthy AI systems with formal verification techniques to provide provable guarantees for safety-critical applications, particularly in machine learning and neural networks. Dr. Zhang received his Ph.D. in Computer Science from UCLA in 2020, advised by Professor Cho-Jui Hsieh. His academic journey includes an M.S. in Computer Engineering from UC Davis (2014) and a Bachelor of Engineering from Zhejiang University (2012). Prior to joining UIUC, he completed a postdoctoral fellowship at Carnegie Mellon University (2021-2023) with Professor Zico Kolter. Huan Zhang's research program centers on formal verification of machine learning systems, with particular emphasis on neural network verification, AI safety, robustness, and reliability. He pioneered the linear bound propagation-based verification framework that enables formal verification for networks with millions of neurons. His work spans five major research categories: formal verification of machine learning, training trustworthy ML models, machine learning safety and adversarial attacks, reinforcement learning safety, and optimization for scalable machine learning. His CROWN framework (NeurIPS 2018) established a foundational approach for neural network verification through efficient linear bound propagation. His recent publications demonstrate a strategic expansion from foundational verification techniques toward increasingly complex systems including large language models, vision-language models, and robotic control systems. The research trajectory shows a clear progression from theoretical frameworks to practical implementations with real-world applications, particularly in safety-critical domains. His work increasingly bridges formal methods with practical AI deployment requirements. Winner of International Verification of Neural Networks Competition (VNN-COMP) as team leader (2021-2024) Schmidt Futures AI2050 Early Career Fellowship ($300,000 research grant) Adversarial Machine Learning (AdvML) Rising Star Award (2021) IBM PhD Fellowship (2018) Dr. Zhang leads the development of α,β-CROWN, a neural network verifier that has won VNN-COMP 2021-2023, and auto_LiRPA, a PyTorch-based library for perturbation analysis on general computational graphs. He has mentored numerous graduate students from CMU, UCLA, UIUC, and Columbia University. His research is supported by significant funding including the Schmidt Futures fellowship and industry collaborations. He teaches courses including ECE 120, ECE 484, ECE 584, and ECE 598 HZ on topics ranging from computing fundamentals to safe autonomy and machine learning. Dr. Zhang maintains active research collaborations across multiple institutions and is affiliated with UIUC's Coordinated Science Laboratory. His work has significant implications for safety-critical AI applications in autonomous systems, healthcare, and other mission-critical domains where reliability guarantees are essential. He regularly gives guest lectures at institutions including Yale, Stony Brook, and the University of Nebraska Lincoln on formal verification techniques.

Vineeth N Balasubramanianمشاهده پروفایل

استاد

• Deep Learning
• Machine Learning
• Computer Vision
• +۸ مورد دیگر

Vineeth N Balasubramanian is a Professor in the Department of Computer Science & Engineering at the Indian Institute of Technology Hyderabad, with affiliate faculty status in the Department of Artificial Intelligence. His research focuses on the intersection of deep learning, machine learning, and computer vision, emphasizing explainability, robustness, and real-world applications. He leads Lab 1055, which investigates problems such as Explainable and robust AI/ML systems Lifelong learning in evolving environments Multimodal vision-language models Applications in agriculture, autonomous navigation, and human behavior analysis His recent work includes causal reasoning in transformers, vision-language model capabilities, and drone-based object detection. Funded by organizations like Google, Microsoft, Intel, and DST, he has received multiple awards including the World's Top 2% Scientists (2022-23), INSA/INAE Fellowships, and Best Paper recognitions. Lab 1055 collaborates with institutions like CMU, UBC, and Monash University, contributing to cutting-edge advancements in AI.

• Complex Systems
• Financial Mathematics
• Statistical Physics
• +۶ مورد دیگر

Tomaso Aste is a Professor of Complexity Science at the Department of Computer Science, University College London (UCL). He founded the Financial Computing and Analytics group and co-founded the UCL Centre for Blockchain Technologies. His work bridges complex systems, data science, and finance, with applications in blockchain, fintech, and market modeling. Education: PhD in Physics (Politecnico di Milano, 1994); Laurea in Physics (University of Genoa, 1990) Prior Appointments: Reader at University of Kent's School of Physics; Associate Professor at Australian National University's Applied Mathematics His research focuses on data-driven modeling of complex systems , particularly financial systems, complex networks, and statistical physics. He has pioneered information filtering networks and topological machine learning methods for financial applications, including portfolio optimization, risk assessment, and cryptocurrency analysis. Recent publications highlight his expertise in financial time-series analysis, blockchain technology, and AI-driven modeling. Articles explore topics like limit order books, cryptocurrency market fragility, and topological neural networks. His work has influenced regulatory technology (RegTech) frameworks and digital economy strategies. Scientific Awards : Marie Curie Individual Fellowship University of Genoa graduate study specialization Fellowship Bacheflor Boncompagni-Ludovisi Foundation Fellowship Awarded fellowships from European Commission and academic foundations support his interdisciplinary research. He has held editorial roles at journals like Philosophical Magazine and Granular Matter , and contributed to professional societies including American Physical Society and Australian Research Council panels. Teaching & Academic Leadership : Co-created four UCL Master's programs: Financial Risk Management, Computational Finance, Financial Technologies, Emerging Digital Technologies Coordinates executive training on AI, blockchain, fintech, and regtech for regulators and private firms Teaches graduate-level courses in Data-Driven Modeling, Data Science, and Advanced AI

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

استاد

• Machine Learning
• Data Science
• Graph Signal Processing
• +۶ مورد دیگر

Pascal Frossard is a Full Professor at the Department of Electrical Engineering in the School of Engineering (STI) at EPFL, with a courtesy appointment in the School of Computer and Communication Sciences. He founded and directs the LTS4 laboratory since 2003, co-leads the EPFL AI Center and Swiss Data Science Center, and serves as Associate Dean for Research at STI. Research Focus: Machine Learning, Graph Signal Processing, AI Applications in Healthcare, Computer Vision Academic Leadership: IEEE Fellow, ELLIS Fellow, Conference Chair roles Key Projects: Digital Pathology for Oncology, Cardiac Digital Twins, Robust Machine Learning Research Interests: His work bridges signal processing, machine learning, and applied mathematics, emphasizing biomedical applications. Recent research includes adversarial robustness in classifiers, network representation learning, and 360-degree video analysis. Scientific Awards: IEEE Fellow ELLIS Fellow Leadership in IEEE technical committees Advising & Grants: Supervised 20+ PhD students and postdocs. Secured major grants from PHRT, Hasler Foundation, FNS-Sinergia, Armasuisse, Google, and Cisco.

Sicun Gaoمشاهده پروفایل

دانشیار

• Algorithms and Optimization
• Automated Reasoning
• Cyber-Physical Systems
• +۳ مورد دیگر

Sicun Gao is an Associate Professor in the Computer Science and Engineering department at the University of California, San Diego. His research focuses on practical algorithms for NP-hard search and optimization problems in computational systems, emphasizing combinatorial perspectives in numerical and statistical contexts to achieve reliable autonomy. Research Interests: Automated reasoning, Hamilton-Jacobi reachability, safe reinforcement learning, control barrier functions, and optimization in cyber-physical systems. Teaching: Courses on AI search, optimization, and graduate research seminars. The 15 most recent publications highlight advancements in safe AI control, motion planning, and policy optimization, often integrating neural networks with formal verification. Awards include the IEEE Power & Energy Society Technical Committee Prize Paper Award and the IROS RoboCup Best Paper Award. He advises PhD students working on AI-driven control and robotics, with alumni placed at institutions like Seoul National University, Amazon, and Apple. Grants include NSF Career, Air Force Young Investigator, and DARPA Assured Autonomy funding. His lab develops tools like dReal for automated reasoning in nonlinear theories over the reals.

Ihab Ilyasمشاهده پروفایل

استاد

• Data Management
• Data Cleaning
• Machine Learning for Data Quality
• +۶ مورد دیگر

Professor Ihab Ilyas is a leading figure in data management and machine learning at the Cheriton School of Computer Science , University of Waterloo , where he holds the Thomson Reuters Research Chair in Data Quality . He is currently on leave from the university, serving as a Distinguished Engineer, Proactive Intelligence at Apple Inc . His research focuses on data cleaning , large-scale data integration , knowledge graphs , and machine learning applications in data quality . He has pioneered systems like HoloClean and Saga , with commercial impacts through co-founded startups Inductiv (acquired by Apple) and Tamr . PhD in Computer Science from Purdue University Co-founder of Inductiv (acquired by Apple) Co-founder of Tamr Research Interests include: Probabilistic and uncertain data management Machine learning for data quality and enrichment Big data systems and information extraction Knowledge graph construction and optimization Scientific Awards and Recognitions include: Fellow of the Royal Society of Canada (2024) C.C. Gotlieb Computer Award (2024) IEEE Fellow (2021) ACM Fellow (2020) Cheriton Faculty Fellowship (2013-2016) Ontario Early Researcher Award

Maya Ramanathمشاهده پروفایل

دانشیار

• Database Systems
• Information Retrieval
• Semantic Web Data Management
• +۳ مورد دیگر

Maya Ramanath is an Associate Professor in the Department of Computer Science and Engineering at Indian Institute of Technology (IIT) Delhi. She joined IIT Delhi in 2011 after a postdoctoral research stint at the Max-Planck Institute for Informatics in Germany. Her research interests focus on database systems, information retrieval, semantic web technologies, and knowledge graph construction and applications. Education: PhD in Computer Science, Indian Institute of Science, Bangalore M.Sc.(Engg.) in Computer Science, Indian Institute of Science, Bangalore B.E. in Computer Science and Engineering, Bangalore University, Bangalore Her recent work emphasizes efficient query processing over large-scale graphs, knowledge graph applications, and natural language interfaces for semantic data. Notable contributions include algorithms for reachability approximation in web-scale graphs, speculative query planning for knowledge graphs, and exploratory querying techniques. She has collaborated extensively on projects like NAGA, ESTHETE, and KlusTree, advancing the state of the art in graph-based data management and semantic search. Publications span conferences such as ICDE, ECIR, EDBT, and VLDB, reflecting a strong focus on database systems, graph algorithms, and semantic web applications. Her work bridges theoretical foundations with practical implementations, addressing scalability and efficiency challenges in modern data management systems. Research and advising activities include supervision of projects on distributed graph processing, query optimization, and knowledge representation. She has contributed to open-source tools like LegoDB and StatiX, and her lab focuses on interdisciplinary approaches to data-centric AI.

Olga Sorkine-Hornungمشاهده پروفایل

استاد

• Digital Content Creation
• Geometry Processing
• Shape Representation and Editing
• +۵ مورد دیگر

Olga Sorkine-Hornung is a Professor of Computer Science at ETH Zurich and head of the Institute of Visual Computing. She leads the Interactive Geometry Lab, focusing on theoretical and practical advancements in digital content creation, geometry processing, and shape modeling. Current position: ETH Zurich, Department of Computer Science Previous roles: Courant Institute (NYU), Technical University of Berlin Education: BSc and PhD from Tel Aviv University, postdoc at TU Berlin Her research spans shape representation, digital fabrication, computer animation, and fundamental geometry processing. Key contributions include Laplacian surface editing, as-rigid-as-possible deformation, and generalized winding numbers. She works on applications in VR, AR, and autonomous systems. Awards include Test of Time Awards (2024), ACM Fellow (2020), ERC Consolidator Grant (2020), and EUROGRAPHICS Young Researcher Award (2008). She has supervised numerous students and co-developed software libraries like libigl and Instant Meshes . Co-chair roles for SIGGRAPH, Eurographics, and Pacific Graphics Editorial board member for ACM Transactions on Graphics and other journals Keynote speaker at VMV, CVPR, and SIAM conferences Her work bridges mathematical rigor with practical implementation, advancing computer graphics and geometry processing through intuitive algorithms that maintain surface detail while enabling efficient computation.

Aniket Kitturمشاهده پروفایل

استاد

• AI-Augmented Cognition
• Collective Intelligence
• Social Computing
• +۷ مورد دیگر

Aniket (Niki) Kittur is a Professor in the Human-Computer Interaction Institute (HCII) at Carnegie Mellon University's School of Computer Science. His research focuses on AI-augmented cognition, exploring how humans and computational systems can partner to accelerate knowledge acquisition and innovation. With over 100 peer-reviewed publications and 17 best paper awards or honorable mentions, Dr. Kittur has established himself as a leader in human-computer interaction and social computing. Dr. Kittur's research spans multiple interconnected areas focused on enhancing human cognition through technology. His work on crowd-augmented cognition examines how crowds and computation can collectively enhance human intellect. In social computing, he investigates how sociotechnical architectures can motivate and coordinate large groups for complex tasks. His research in data visualization and sensemaking explores how people collect, organize, and make decisions with online information. Most recently, his work has shifted toward LLM-augmented cognition, investigating how humans and large language models can work together in partnership to achieve better decisions and greater creativity than either could alone. Dr. Kittur's publications reveal a consistent trajectory toward increasingly sophisticated human-AI collaboration systems. Early work focused on crowdsourcing complex tasks (CrowdForge, CrowdSynthesis), then evolved to knowledge acceleration systems (Knowledge Accelerator, Fuse), and has recently centered on LLM-integrated cognition (Selenite, InkSpire, BioSpark). His research consistently demonstrates practical impact, with systems influencing products used by millions and receiving coverage in major media outlets including Nature News, The Economist, and The Wall Street Journal. Kavli fellow NSF CAREER award recipient Allen Newell Award for Research Excellence Inductee into the CHI Academy 17 best paper awards or honorable mentions across his publications Dr. Kittur has advised numerous students, including Andrew Kuznetsov, and has secured major research funding from NSF, NIH, Google, Microsoft, Bosch, Toyota, and other organizations. His Skeema browser extension project, which addresses tab overload through innovative project-based organization, has shown remarkable user retention and represents a practical application of his research on knowledge acceleration. His work with industry partners has influenced products used by millions, including Semantic Reader, Google Shopping, and Wikipedia features.

• Computer Vision
• Self-Supervised Learning
• Computational Photography
• +۷ مورد دیگر

Alexei A. Efros is a Professor in the Department of Electrical Engineering and Computer Sciences (EECS) at UC Berkeley, where he holds the Howard Friesen Professorship and is affiliated with the Berkeley Artificial Intelligence Research (BAIR) Lab. He previously served on the faculty at the Robotics Institute of Carnegie Mellon University (CMU) and completed a postdoctoral fellowship at the University of Oxford. His research spans data-driven computer vision, self-supervised learning, computational photography, and applications to computer graphics and robotics. His research interests include: Data-Driven Computer Vision Self-Supervised and Unsupervised Learning Generative Models and Image Synthesis Visual Representation Learning Applications in Robotics and Human-Computer Interaction Intersections with Human Vision and the Humanities The recent publications highlight a strong trend toward self-supervised learning, visual reasoning, and generative modeling, particularly diffusion models and 3D scene understanding. His work increasingly bridges computer vision with language, robotics, and cognitive science, emphasizing interpretability and real-world applicability. There is a clear focus on leveraging unlabeled data and developing methods for robust, generalizable AI systems. His scientific awards and recognitions include: Berkeley Fellowship Google Fellowship Soros Fellowship NSF Fellowship SIGGRAPH Outstanding Doctoral Dissertation Award Facebook Fellowship Adobe Fellowship CMU School of Computer Science Distinguished Dissertation Award ACM Doctoral Dissertation Honorable Mention Alexei Efros has advised numerous PhD students and postdocs, many of whom have gone on to faculty positions at top institutions including CMU, Stanford, MIT, Columbia, NYU, and Georgia Tech. His lab has received research funding from major tech companies and federal agencies, though specific grants are not detailed in the text. He teaches core computer vision and machine learning courses at both undergraduate and graduate levels at UC Berkeley. His research group is highly active, with ongoing projects in 3D perception, generative modeling, and vision-language systems. He leads a vibrant research lab at UC Berkeley, part of the BAIR consortium, collaborating with leading researchers such as Jitendra Malik, Trevor Darrell, Pieter Abbeel, and Angjoo Kanazawa. His lab fosters strong interdisciplinary connections with institutions worldwide, including Oxford, INRIA, and École Normale Supérieure.

Christopher G. Atkesonمشاهده پروفایل

استاد

• Humanoid robotics
• Human aware environments
• Machine learning
• +۱۳ مورد دیگر

Christopher G. Atkeson is a Professor at the Robotics Institute at Carnegie Mellon University (CMU), where he has been since 2000 after previously holding positions at MIT and Georgia Institute of Technology. His research focuses on fulfilling the science fiction vision of machines achieving human levels of competence in perception, cognition, and action, with particular emphasis on understanding how to get machines to generate and perceive human behavior. Atkeson's work spans two complementary approaches: humanoid robotics and human aware environments. His research interests include nonparametric learning, memory-based learning, reinforcement learning, learning from demonstration, and modeling human behavior. He is particularly known for his work on robot learning of challenging dynamic tasks such as juggling, trajectory-based optimization, and soft robotics (including his contributions to the Baymax character in Disney's Big Hero 6). His recent publications demonstrate a strong focus on tactile sensing (FingerVision), human-in-the-loop optimization for exoskeletons, deep learning for locomotion control, and trajectory-based optimization methods. His work consistently bridges theoretical foundations in machine learning with practical implementations on physical robots. Among his scientific recognitions are an NSF Presidential Young Investigator Award, a Sloan Research Fellowship, and a Teaching Award from the MIT Graduate Student Council. Atkeson has advised numerous students who have gone on to successful careers in academia and industry, including notable researchers like Andrew Moore and Stefan Schaal. His teaching includes courses on dynamic optimization, humanoids, kinematics, dynamics, and control.

• Applied Topology
• Dynamical Systems
• Algebraic Topology
• +۵ مورد دیگر

Robert Ghrist is the Andrea Mitchell University Professor at the University of Pennsylvania with dual appointments in the Department of Mathematics and the Department of Electrical and Systems Engineering. He serves as Associate Dean for Undergraduate Education for Penn Engineering. His educational background includes a B.S. in Mechanical Engineering from the University of Toledo (1991), and M.S. and Ph.D. degrees in Applied Mathematics from Cornell University (1994, 1995). Ghrist's research bridges pure and applied mathematics, focusing on applied algebraic topology , dynamical systems , and geometric methods in data science. His work extends to network theory, topological data analysis, and computational geometry, with applications spanning robotics, neuroscience, and social dynamics. Key innovations include developing sheaf-theoretic approaches for networked systems and persistence homology techniques for high-dimensional data. Analysis of his recent publications reveals a strong emphasis on lattice-theoretic frameworks , topological robotics , and network dynamics , with emerging applications in neural data interpretation and geometric computing. His research consistently integrates category theory with real-world engineering challenges. Significant scientific recognition includes: Presidential Early Career Award (PECASE, 2004) Scientific American 'Top 50' Research Leader (2007) Mathematical Association of America's Chauvenet Prize (2013) University of Pennsylvania Lindback Award for Distinguished Teaching (2015) DoD National Security Science and Engineering Faculty Fellowship (NSSEFF, 2015) Ghrist leads multiple federally funded research initiatives supported by AFOSR, DARPA, NSF, and ONR. He directs the development of educational tools including the Calculus BLUE/GREEN Project video series and custom GPTs for mathematical pedagogy. His open online courses have reached over 100,000 learners globally.