جستجوی استاد راهنمای دانشگاهی

Chenhao Maمشاهده پروفایل

استادیار

• Graph Computing
• Data Mining
• Database Systems
• +۳ مورد دیگر

Dr. Chenhao Ma is an Assistant Professor at the School of Data Science , The Chinese University of Hong Kong, Shenzhen , where he works on large-scale data management and data mining. Previously, he was a Postdoctoral Fellow at the University of Hong Kong (2021–2022) and earned his PhD in Computer Science from the University of Hong Kong (2021) and B.Eng. from Shandong University (2017). Current research focuses on graph computing (dense subgraph discovery, motif analysis, graph learning), AI+DB (Text-to-SQL, vector search), and traffic data mining (trajectory analysis, outlier detection). He has published over 40 papers in top venues including SIGMOD, PVLDB, KDD and received the ACM SIGMOD Research Highlight Award 2021 and Best of SIGMOD 2020 (4/458). Scientific Awards : ACM SIGMOD Research Highlight Award 2021 Best of SIGMOD 2020 (4/458) Presidential Young Fellow at CUHK-Shenzhen (2023) Hong Kong and China Gas Scholarship (2019-2020) Reaching Out Award (2019) HKU Postgraduate Scholarship (2017-2021) ACM-ICPC Gold Medal (2015) National Scholarship (2014, 2015) Advising and Research Team : He leads a team including Postdoc Dr. Yuanyuan Zeng, PhD students Lujie Ban, Yuwei Xu, and MPhil students Yi Yang, Yuyang Liang. Former mentees like Yichen Xu (PhD at Berkeley) and Jiayang Pang (Master at UC San Diego) have achieved academic placements. Professional Service : He has served as PC member/reviewer for VLDB, KDD, ICDE, WWW, NeurIPS, TKDE , and guest editor for Applied Sciences and Frontiers in Big Data . He chairs sessions at ICDE and VLDB.

Daniel Fremontمشاهده پروفایل

دانشیار

• Formal Methods
• Automated Reasoning
• Cyber-Physical Systems
• +۶ مورد دیگر

Daniel Fremont is an Associate Professor of Computer Science and Engineering at the University of California, Santa Cruz, where he conducts research at the intersection of formal methods and autonomous systems. His work focuses on developing mathematical techniques to improve the reliability of software, hardware, and cyber-physical systems through precise specification, formal verification, automatic synthesis, and principled testing approaches. Dr. Fremont's research interests center on applications of logic in computer science, particularly using automated reasoning to enhance system reliability. His work spans formal methods for cyber-physical systems (CPS), especially autonomous systems that incorporate machine learning. Key research areas include algorithmic improvisation for creating systems with controlled randomness, probabilistic programming through the Scenic language for environment modeling, and formal verification techniques applicable to safety-critical autonomous systems. His group has successfully applied these methods to autonomous vehicles, aircraft systems, and robotics, with significant contributions to both theoretical foundations and practical implementations. The publication record reveals a strong trajectory from theoretical foundations of control improvisation toward practical applications in autonomous systems verification. Early work established the theoretical framework of control improvisation, while recent publications focus on applying these techniques to real-world challenges in autonomous driving, aircraft systems, and AI-based autonomy. A consistent theme across his research is the integration of formal methods with machine learning to address the verification challenges posed by complex, learning-based systems operating in uncertain environments. Best Paper Award at IoTDI 2016 for 'Control Improvisation with Probabilistic Temporal Specifications' Dr. Fremont leads a research group focused on formal methods for autonomous systems, with significant contributions to the development of tools like Scenic (a probabilistic programming language for scenario specification) and VerifAI (a toolkit for formal design and analysis of AI-based systems). His work bridges theoretical computer science with practical engineering challenges in safety-critical autonomous systems, receiving funding from various sources supporting research at the intersection of formal methods and artificial intelligence. The group's approach combines theoretical algorithm development with practical implementation and testing, often collaborating with industry partners working on autonomous vehicle technology. The research group maintains active development of several open-source tools, including the Scenic language for scenario specification and VerifAI for formal analysis of AI systems. They have demonstrated applications across multiple domains including autonomous vehicles, aircraft systems, and robotics, with particular emphasis on simulation-based testing and verification approaches that can provide formal guarantees about system behavior.

Debswapna Bhattacharyaمشاهده پروفایل

دانشیار

• Computational Biology
• Bioinformatics
• Machine Learning
• +۵ مورد دیگر

Debswapna Bhattacharya is an Associate Professor in the Department of Computer Science at Virginia Tech. Her research focuses on computational biology, bioinformatics, and machine learning with applications in structural biology. She holds a Ph.D. from the University of Missouri-Columbia (2016) and previously served as an Assistant Professor at Auburn University (2017–2021). Her work develops AI-driven methods for biomolecular modeling, including RNA and protein structure prediction, quality assessment, and refinement. Notable contributions include software tools like lociPARSE, RNAbpFlow, and EquiPNAS. She has received prestigious awards such as the NSF CAREER Award (2020) and NIH MIRA Award (2020). Teaching includes courses on machine learning and AI in molecular modeling. Her lab collaborates on NIH-funded projects (R35GM138146) and NSF initiatives (DBI2208679). Recent work emphasizes equivariant neural networks and transformer-based models for biomolecular analysis.

• Graph Theory
• Graph Databases
• Knowledge Graphs
• +۵ مورد دیگر

Carlos R. Rivero is an Associate Professor in the Department of Computer Science at the Rochester Institute of Technology (RIT), located within the Golisano College of Computing and Information Sciences. His primary research focuses on graph theory applications in knowledge graphs, graph databases, and computer-aided program comprehension. He holds a PhD from the University of Seville (Spain), completed in 2012, with postdoctoral work at the University of Idaho (USA). His teaching responsibilities include courses such as Principles of Data Management, Data Mining, and Big Data exploration. Rivero has advised numerous PhD and Master’s students, contributing to research projects in link prediction, knowledge graph completion, and educational technology. He actively serves on program committees for conferences like The Web Conference and SIGKDD, and has reviewed for journals including the VLDB Journal and Communications of the ACM. His research emphasizes evaluating knowledge graph embeddings, improving link prediction methodologies, and developing tools for educational feedback in programming. He has contributed to projects like AYNEXT, which streamlines link prediction evaluation, and CAFE, a neighborhood-aware knowledge graph completion tool. Rivero’s work bridges theoretical advancements with practical applications in education and industry. Notable contributions include frameworks for automated feedback in programming courses and methodologies for assessing inference patterns in knowledge graphs. His grants and service roles reflect a commitment to advancing computational methods and fostering academic collaboration in data science and education.

Saqib Javedمشاهده پروفایل

پژوهشگر

• Computer Vision
• Deep Learning
• Efficient Neural Networks
• +۴ مورد دیگر

Saqib Javed is a doctoral researcher and Researcher at the Computer Vision Laboratory (CVLab) at EPFL, supervised by Prof. Pascal Fua and Dr. Mathieu Salzmann. His research focuses on energy-efficient deep networks, 3D reconstruction, quantization-aware training, and domain generalization. He holds a master’s degree from TU Munich and ETH Zurich. He is affiliated with the School of Computer and Communication Sciences (IC) and the Department of Computer Science at EPFL. His current projects include compressed Gaussian splatting for dynamic scenes, quantized diffusion models, and reducing inference time for vision-language models. He has been awarded the EPFL IC Distinguished Service Award and is a Global Leaders PhD Fellow. His work spans theoretical research and practical applications in low-power device optimization. Teaching roles include serving as a Teaching Assistant for courses like Introduction to Machine Learning (CS-233) and Probability and Statistics (MATH-232). He has supervised multiple students, including Chengkun Li and Ahmad Jarrar Khan, on projects related to quantization and 3D pose estimation. His research also involves collaborations with industry partners like BMW, Siemens, and Intel, focusing on hardware-friendly neural networks. Awards include the EPFL IC Distinguished Service Award (2024) and recognition for his contributions to efficient deep learning. His recent publications address domain generalization, Gaussian splatting, and modular quantization techniques, reflecting his interdisciplinary approach to advancing machine learning efficiency and applicability.

Zezhou Chengمشاهده پروفایل

استادیار

• Computer Vision
• Machine Learning
• AI for Science
• +۶ مورد دیگر

Zezhou Cheng is an Assistant Professor of Computer Science at the University of Virginia, leading the Computer Vision Lab. He holds a Ph.D. from UMass Amherst (2023), a postdoctoral position at Caltech, and a Bachelor's degree from Sichuan University (2015). His research focuses on computer vision, machine learning, and their applications in ecology, materials science, and autonomous systems. Key areas include 3D understanding, self-supervised learning, and AI-driven ecological monitoring. He has received awards such as the Best Synthesis Award (2020) and Outstanding Reviewer (CVPR 2021). His work spans publications in top venues like CVPR, ICCV, and ECCV, addressing challenges in 3D reconstruction, generative models, and ecological data analysis. Education: Ph.D. in Computer Science, UMass Amherst (2023) Bachelor's Degree, Sichuan University (2015) Postdoctoral Researcher, Caltech (advised by Georgia Gkioxari) Research Highlights: Developed LU-NeRF for unposed scene reconstruction and camera pose estimation Contributed to AI for ecology via bird roost detection using weather radar data Advanced 3D representation learning through procedural programs and self-supervised techniques Awards & Recognition: Outstanding Reviewer, CVPR 2021 Best Poster Award, New England Computer Vision Workshop 2019 National Scholarship (China, 2014 and 2016) His lab explores cutting-edge topics in computer vision, with a focus on interdisciplinary applications. Teaching roles include leading Caltech's AI Bootcamp and serving as a Teaching Assistant at UMass Amherst. Industry collaborations include internships at Google Research, Snap, and Amazon.

Farnoush Rezaei Jafariمشاهده پروفایل

پژوهشگر

• Explainable AI
• Efficient Machine Learning
• Generative Models
• +۳ مورد دیگر

Farnoush Rezaei Jafari is a Researcher and Ph.D. Candidate in Machine Learning at the Technical University of Berlin, affiliated with the Berlin Institute for the Foundations of Learning and Data (BIFOLD). She is part of the Machine Learning / Intelligent Data Analysis group. Her M.Sc. in Computer Science was completed at TU Berlin in 2021. Her research interests focus on enhancing the transparency and efficiency of machine learning models, particularly in the areas of Explainable AI, Efficient Machine Learning, and Generative Models. She explores innovative methods to make AI systems more interpretable while maintaining computational efficiency. Farnoush has contributed to notable publications, including work on adaptive token sampling techniques for vision transformers and explainable sequence models. Her recent research explores symbolic XAI to bridge the gap between model outputs and human-understandable logic. No scientific awards have been explicitly mentioned in the provided information. She has no recorded advisees or grants listed. She is associated with the BIFOLD institute, contributing to collaborative research efforts in foundational AI and data science.

Vagelis Papalexakisمشاهده پروفایل

دانشیار

• Data Science
• Machine Learning
• Artificial Intelligence
• +۳ مورد دیگر

Dr. Vagelis Papalexakis is an Associate Professor and Ross Family Chair in the Computer Science & Engineering Department at the University of California, Riverside. His research focuses on data science, machine learning, and tensor methods, with applications in multi-aspect/multi-modal data analysis. He holds a Ph.D. from Carnegie Mellon University and a Diploma/M.Sc. from the Technical University of Crete. Affiliations: Ross Family Chair, Bourns College of Engineering, UCR Education: Ph.D. in Computer Science, Carnegie Mellon University M.Sc./Diploma in Electronic & Computer Engineering, Technical University of Crete His work emphasizes interpretable insights from complex datasets, including tensor-based defenses against adversarial attacks, graph representation learning, and scalable algorithms for high-dimensional data. Notable awards include the NSF CAREER Award (2021), IEEE DSAA Next Generation Award (2021), and ICDM Tao Li Award (2022). Grants include NSF funding for railway safety (CISE MSI: RPEP CPS), USDOT transportation research, and NVIDIA GPU grants. He leads projects in AI ethics, misinformation detection, and gravitational wave analysis. His lab collaborates with industry (e.g., Cisco, Instacart) and national labs (e.g., Lawrence Livermore).

• Machine Learning
• Computer Vision
• Data Science
• +۳ مورد دیگر

Bohan Chen is a Postdoctoral Scholar Research Associate in the Department of Computing and Mathematical Sciences. Their work focuses on advancing graph-based machine learning techniques and their applications in environmental science, remote sensing, and AI-driven analysis. Research interests include graph neural networks, active learning strategies, hyperspectral image analysis, and knowledge graph integration. Notable contributions include the development of the GLL layer for neural networks, the CUSP permafrost dataset, and hybrid models for multispectral image processing. Key research trends span theoretical advancements in graph-based learning and practical applications such as environmental monitoring, SAR data analysis, and pandemic modeling. Their work bridges computational methodologies with real-world environmental and societal challenges. Advising and grants: No student advisees listed. Contributions include foundational research without explicit grant mentions in provided text. Labs/teams: No specific lab or team affiliations mentioned in the text.

Alex Kaleمشاهده پروفایل

استادیار

• Human Computer Interaction
• Data Visualization
• Data Science
• +۴ مورد دیگر

Alex Kale is an Assistant Professor of Computer Science at the University of Chicago and a core member of the Data Science Institute. His research focuses on data visualization and human-computer interaction, emphasizing tools that explicitly represent users' cognitive processes during data analysis. He leads the Data Cognition Lab, exploring software for uncertainty visualization, causal inference, and decision-making support. Kale holds a PhD in Information Science from the University of Washington (2022), an MSc from UW (2020), and a BSc in Psychology with minors in Music and Philosophy (2015). Affiliations: University of Chicago, Data Science Institute, Data Cognition Lab Education: PhD, UW (2022); MSc, UW (2020); BSc, UW (2015) Research interests include human-computer interaction, statistical reasoning interfaces, and systems for managing large-scale data. He has developed tools like MetaExplorer for meta-analysis and EVM for exploratory visual modeling. Key awards include the Best Paper Honorable Mention at CHI 2023 and VIS 2021, and the Best Paper Award at VIS 2020. His work bridges visualization design, decision theory, and cognitive science, with applications in participatory budgeting, causal inference, and reproducible research. Courses taught include Visualization for Data Science and Statistical Rethinking.

Duen Horng Chauمشاهده پروفایل

استاد

• AI Security
• Explainable AI
• Visual Analytics
• +۶ مورد دیگر

Roles & Affiliations: Duen Horng (Polo) Chau is a Professor in the School of Computational Science and Engineering at Georgia Tech. He co-directs the MS Analytics program and leads industry relations for The Institute for Data Engineering and Science (IDEaS) and corporate relations for The Center for Machine Learning. He teaches Data & Visual Analytics (CSE6242/CX4242) to over 1,000 students annually. His affiliations include the GVU Center, Institute for People and Technology (IPaT), and ML@GT. Education: PhD in Machine Learning (Carnegie Mellon University, 2012), MS in Machine Learning (CMU), MA in Human-Computer Interaction (CMU), B.Eng. in Information Engineering (The Chinese University of Hong Kong). Research: Focuses on human-centered AI, interpretable machine learning, adversarial robustness, graph visualization/mining, and social good applications (e.g., healthcare, anti-human trafficking). His lab develops tools like ActiVis (for neural network exploration), Diffusion Explainer (for text-to-image models), and TrafficVis (to combat trafficking). Research is funded by NSF, NIH, DARPA, NASA, and industry partners (Google, Intel, Meta). Awards: 17+ best paper awards, Google/Intel/Meta Faculty Awards, Outstanding Undergraduate Research Mentor (2023), Outstanding Mid-Career Faculty (2022), and the Carnegie Mellon Dissertation Award (2012). Grants & Labs: Leads projects on AI safety, robust speech recognition, and graph vulnerability. Collaborates with Children’s Healthcare of Atlanta on surgical planning via AR. His work influences industry platforms (e.g., Meta’s ML tools used by 25% engineers).

• Machine Learning
• Artificial Intelligence
• Virtual Reality
• +۳ مورد دیگر

Simon Colreavy Donnelly is an Associate Professor in the Department of Computer Science & Information Systems at the University of Limerick. He is a member of the Interaction Design Centre and focuses on interdisciplinary research at the intersection of artificial intelligence, educational technology, and healthcare informatics. His work spans machine learning applications in medical data analysis, virtual reality (VR) and extended reality (XR) for inclusive education, and deep learning techniques in chemical analysis and spectroscopy. Research Interests: His primary areas of investigation include generative AI for education equity, semisupervised learning algorithms, virtual learning environments design, and the ethical deployment of immersive technologies in healthcare and palliative care. He also explores NMR spectroscopy analysis using deep learning and develops tools for nutritional content estimation through image processing. Collaborations: His recent collaborations span international teams addressing challenges in toxicity-free online discourse (PAN 2024), semisupervised learning distribution mismatches, and VR applications for post-pandemic blended learning. His work integrates computational methods with real-world applications in education, healthcare, and chemical analysis. Labs/Teams: Active within the Interaction Design Centre at UL, his research group develops practical solutions for accessibility in digital education and healthcare systems, emphasizing user-centered design principles for extended reality applications.

Patrick T. Brandtمشاهده پروفایل

استاد

• Political Dynamics
• Time Series Analysis
• Machine Learning
• +۸ مورد دیگر

Patrick T. Brandt is a Professor of Political Science, Public Policy, and Political Economy at the University of Texas at Dallas , affiliated with the School of Economic, Political and Policy Sciences . His work integrates advanced statistical methods with political science, focusing on time series analysis, machine learning, and Bayesian modeling to study political dynamics. His research spans international relations , political economy , terrorist targeting , and conflict forecasting . He specializes in developing novel models for event count time series, including the Bayesian Poisson Vector Autoregression and MS-BVAR packages for R. His NSF-funded projects focus on event data generation and real-time conflict forecasting. Recent publications emphasize domain-specific language models (ConfliBERT variants), graph neural networks for conflict prediction, and machine translation challenges in political text analysis. He maintains the OpenEvent Data Repository and develops software like MSBVAR and PESTS for academic use. Scientific Awards : Robert H. Durr Award for Best Methodology Paper, Midwest Political Science Association (2006)

• Internet of Things (IoT)
• Industry 4.0
• Digital Twin
• +۳ مورد دیگر

Antti Martikkala is a Postdoctoral Researcher at Tampere University's Department of Automation Technology and Mechanical Engineering. His research focuses on integrating data-driven and model-driven methods for digital-twin engineering, low-cost IoT development, and Industry 4.0 applications. Education: Master of Science (Technology) in Automation Engineering (2012). Research interests include Internet of Things (IoT), Digital Twins, Generative AI in CAD, and Laser-Wire Direct Energy Deposition (LWDED). His recent work explores interoperability of IoT platforms, dynamic route optimization for waste collection, and real-time manufacturing process optimization using AI. Key trends in his publications (2025–2012) span IoT (100% focus), Industry 4.0, CAD, and sustainable manufacturing. Notable collaborations involve A. Daareyni, A. Ylä-Autio, H. Mokhtarian, and I.F. Ituarte. He employs open-source tools and low-cost technologies to democratize IoT systems, with expertise in Arduino-based sensor development, multilayer height detection, and smart textile waste collection optimization.

Kaidi Xuمشاهده پروفایل

استادیار

• Trustworthy AI
• Formal Verification of Neural Networks
• Adversarial Attacks
• +۷ مورد دیگر

Kaidi Xu is an Assistant Professor in the Department of Computer Science at Drexel University's College of Computing & Informatics. His research focuses on Trustworthy AI, with expertise in formal verification of neural networks, adversarial attacks (especially in the physical world), and certified defenses. He actively publishes in top-tier conferences including NeurIPS, ICML, ICLR, CVPR, and AAAI, and leads the award-winning research team 'alpha-beta-crown'. PhD in Computer Science, Northeastern University (2021) MS in Computer Science, University of Florida (2017) BS in Computer Science, Sichuan University (2015) Dr. Xu's research spans critical areas in AI security and robustness. He investigates formal methods to verify neural network behavior, develops techniques to defend against real-world adversarial manipulations (such as the famous 'Adversarial T-shirt'), and explores model compression and explainability. His work bridges theoretical guarantees with practical applications in healthcare, material science, and autonomous systems. His recent publications reflect a strong trend toward certified robustness, interdisciplinary applications, and formal verification across vision, language, and multimodal systems. He has consistently published at NeurIPS, ICML, CVPR, and ACL, demonstrating sustained impact in both machine learning and computer vision communities. Winner of VNN-COMP'21 with highest score Three-time VNN-COMP champion (2021–2023) with team alpha-beta-crown Faculty Research Excellence Award, CCI@Drexel (2024) Recipient of multiple Carleone Faculty Awards (2025) NSF grant recipient for projects on transit systems and material synthesis Dr. Xu advises PhD students, including Jinhao, and has secured significant external and internal funding, including multiple NSF grants and Drexel internal awards. He is actively recruiting motivated students with strong machine learning backgrounds. He also contributes to the academic community as an Area Chair for NeurIPS 2025, organizer of workshops like GenAI4Health@AAAI 2025, and frequent program committee member. He leads the 'alpha-beta-crown' research team, known for its leadership in neural network verification and repeated success in the VNN-COMP competitions. The team focuses on developing scalable, sound, and complete verification tools for deep learning models, pushing the frontier of AI safety and reliability.