Tatsunori Hashimoto is an Assistant Professor of Computer Science at Stanford University, specializing in artificial intelligence, machine learning, and natural language processing. His research focuses on developing robust and ethical language models, addressing challenges in bias mitigation, fairness, and transparency. He leads projects like the Stanford Alpaca, exploring instruction-following models and their societal impacts. Key research interests include generative models, AI ethics, and privacy-preserving techniques. His recent work examines language model behaviors, security risks, and the societal implications of AI systems. Notable contributions include frameworks for auditing language models, improving factual accuracy, and reducing disparities in speech recognition. His publications highlight advancements in long-context processing, few-shot learning, and automated benchmarking. He emphasizes practical applications of AI while addressing dual-use concerns and ensuring alignment with human values.
Michael Riegler is a Researcher at the AI Department, Simula Research Laboratory , focusing on interdisciplinary applications of Artificial Intelligence in healthcare, sports analytics, and multimedia systems. His work bridges Machine Learning , AI Alignment , and Applied AI across clinical and real-world domains. Key Affiliations: Simula Research Laboratory (AI Department Head) Research Themes: Explainable AI in medicine, multimodal data analysis, and AI-driven health monitoring Research Interests include: Developing AI/ML algorithms for medical imaging (e.g., polyp detection, embryo analysis) Addressing missing data challenges in healthcare through novel imputation techniques Creating multimodal virtual avatars for investigative interview training Designing edge AI systems for sports analytics and sustainable fishing Recent Publications highlight collaborations with institutions in Norway and globally, with a focus on: Medical Applications: Polyp segmentation, ECG analysis, and explainable models for disease detection Sports Analytics: Athlete performance prediction and soccer video processing Data Infrastructure: Lifelogging datasets (ScopeSense), semantic representation frameworks Labs & Teams include leadership in Simula’s AI Department and participation in projects like Medico Multimedia Task , ImageCLEF , and MediaEval workshops. His work emphasizes responsible AI innovation in public sectors and privacy-preserving systems for edge environments.
Amrita Roy Chowdhury is an Assistant Professor in the Department of Computer Science at the University of Michigan, Ann Arbor. Her research focuses on developing systems that enable safe, decentralized data analytics while ensuring provable privacy guarantees through the synergy of differential privacy and cryptography. Key research areas: Data Privacy, Cryptography, Secure Data Analytics, and Privacy-Preserving Machine Learning. Recent work explores prompt sanitization for LLMs (NDSS 2026), robust graph analysis (ASIACCS 2025), and metric differential privacy (CCS 2024). She has received awards including Best Paper at Private ML@ICLR'24 and Best Poster at ITA'23. Current Ph.D. advisees include Mushtari Sadia, Yiyi Sun, and Samanway Sadhu. Her work spans conferences like IEEE S&P, CCS, USENIX Security, and ICML.
Miao Zhengjie serves as an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), joining in October 2023 after a research scientist position at Megagon Labs. His work centers on enhancing data science pipelines through innovations in database systems and artificial intelligence. His academic foundation includes: Ph.D. in Computer Science from Duke University (2022) M.S. in Computer Science from Columbia University (2016) B.S. in Computer Science and Technology from Peking University (2015) Dr. Miao's research spans Database Systems , Data Management , Data Curation , and Data Provenance , with emphasis on AI-driven solutions for data pipeline efficiency. His methodology bridges theoretical database concepts with practical data science applications through novel algorithm development. Analysis of his 15 most recent publications reveals persistent focus areas: query explanation systems (35% of works), data augmentation frameworks (27%), and human-AI collaboration tools (20%). These contributions appear consistently in premier venues including SIGMOD, VLDB, and CHI, demonstrating methodological evolution from foundational query debugging (2019) to LLM-integrated annotation systems (2024). He actively participates in the SFU Data Science Research Group , contributing to interdisciplinary initiatives in large-scale data processing. Current information indicates no formal advisees or grant details are publicly documented in his institutional profile.
Elena Simperl is a Professor of Computer Science and Deputy Head of Department for Enterprise and Engagement at King's College London's Department of Informatics. She co-directs the King's Institute for Artificial Intelligence and serves as Director of Research for the Open Data Institute. As a Hans Fischer Senior Fellow at the Technical University of Munich's Institute for Advanced Study, she leads the Trustworthy Knowledge Graphs focus group and contributes to advancing human-centric AI research across European institutions. Professor Simperl obtained her doctoral degree in Computer Science from the Free University of Berlin and her diploma from the Technical University of Munich. Prior to joining King's, she held academic positions in Germany, Austria, and at the University of Southampton, and was a Turing Fellow. Her career trajectory demonstrates consistent leadership in bridging academic research with practical applications in data ecosystems. Her research sits at the critical intersection of AI and social computing, focusing on human-centric approaches to building sociotechnical systems that integrate data, algorithms, and human capabilities. She investigates how to make knowledge engineering more accessible, how to leverage collective intelligence for data quality improvement, and how to design participatory AI systems that address societal challenges like misinformation. Her work spans knowledge graphs, semantic technologies, crowdsourcing, and open data, with particular emphasis on the social dimensions of data-intensive systems and the governance frameworks needed for trustworthy AI deployment. Analysis of her recent publications reveals a strong evolution toward integrating large language models with traditional knowledge engineering practices while maintaining human oversight. There's a clear trajectory from foundational work on knowledge representation toward increasingly applied research addressing real-world challenges in media ecosystems, citizen science, and data governance, with growing attention to policy implications of AI technologies. Fellow of the British Computer Society Fellow of the Royal Society of Arts Hans Fischer Senior Fellow at TUM-IAS (2023) Ranked among top 100 most influential scholars in knowledge engineering of the last decade Included in Women in AI 2000 ranking Professor Simperl has led 14 major European and national research projects totaling millions in funding, including MediaFutures (a Horizon 2020 program tackling online misinformation), QROWD, ODINE, Data Pitch, and ACTION. She currently co-chairs the Croissant working group in ML Commons developing data standards for AI, and serves as president of the Semantic Web Science Association. Her research has directly influenced the development of data ecosystems supporting startups and citizen science initiatives across Europe, demonstrating exceptional ability to translate theoretical advances into practical impact. As Director of Research at the Open Data Institute, she oversees initiatives connecting data entrepreneurs with artists and civic organizations. Her leadership in the MediaFutures project established a data-driven innovation hub that supported 51 startups/SMEs and 43 artists through three open calls, creating a sustainable model for arts-technology collaborations addressing media challenges. Her work with the ODINE project helped create a European ecosystem for data-driven startups, demonstrating her commitment to building practical applications of open data principles.
Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne, previously affiliated with the University of Innsbruck. He is actively involved in research and leadership in formal methods, automated reasoning, and machine learning for theorem proving. Research Interests: Automated Reasoning and Interactive Theorem Proving Formalized Mathematics and Proof Automation Machine Learning for Logic and Theorem Proving Integration of AI with Proof Assistants (Coq, Isabelle) Dependent Type Theory and Higher-Order Logic His recent publications (2023–2025) span topics in dependently-typed logic, learning for proof guidance, formalization of surreal numbers, and blockchain-based formal methods. The works consistently bridge formal logic with machine learning, emphasizing automation, explainability, and cross-system integration. Scientific Leadership and Projects: Principal Investigator, ERC project FormalWeb3 Lead Developer, CoqHammer , Tactician , ProofWeb WG5 Leader, COST Action EuroProofNet (until 2024) Contributor to HOL(y)Hammer , Isabelle Enigma He supervises multiple PhD students and has mentored several graduates in formal methods and AI. He teaches courses in theoretical computer science, logic, and machine learning. There are no listed awards in the provided data, but his extensive publication record and project leadership indicate significant recognition in the field. Labs and Research Groups: He leads a research group focused on formal methods and learning-based reasoning, collaborating internationally on projects involving proof automation, formal libraries, and semantic technologies.
Dr. Steven H. H. Ding is an Assistant Professor at McGill University's School of Information Studies, specializing in cybersecurity, machine learning, and data mining. His research focuses on AI-driven solutions for malware detection, software vulnerability analysis, and reverse engineering. He holds a PhD from McGill University and has been supported by BlackBerry Cylance and DRDC. His work bridges theoretical advancements with practical applications in military systems and avionics cybersecurity. Dr. Ding earned his PhD in 2019 with notable awards including the FRQNT Doctoral Research Scholarship and McGill's Dean’s Graduate Award. His educational background includes degrees from McGill, Concordia University, and the University of Shanghai for Science and Technology. His research interests span cybersecurity domains such as zero-day malware identification, code obfuscation countermeasures, authorship verification for digital forensics, and AI applications in avionics anomaly detection. He actively contributes to open-source tools like the Kam1n0 MapReduce-based assembly clone search system. Recent work emphasizes adversarial machine learning for evasive malware generation, transformer-based anomaly detection in avionics, and automated SBOM generation for firmware analysis. His publications reflect a focus on real-world cybersecurity challenges in both civilian and defense sectors. Dr. Ding leads the L1NNA Lab and collaborates with industry partners on cutting-edge projects. His contributions include novel techniques for phishing detection leveraging large language models and innovative approaches to reverse engineering software composition in JavaScript applications.
Rahul Mangharam is a Professor in the Department of Electrical and Systems Engineering at the University of Pennsylvania's School of Engineering and Applied Science, with a secondary appointment in Computer and Information Science. He directs the Safe Autonomous Systems Lab (mLAB) and is a founding member of the PRECISE Center. Mangharam serves as Penn Director for the Safety21 DoT National University Transportation Center ($20MM), Director of the Autoware Center of Excellence, and leads the F1Tenth Autonomous Racing Community. Education: Ph.D. in Electrical & Computer Engineering, Carnegie Mellon University M.S. in Electrical & Computer Engineering, Carnegie Mellon University B.S. in Electrical & Computer Engineering, Carnegie Mellon University His research bridges formal methods, machine learning, and control systems with applications in medical devices, autonomous systems, and energy-efficient buildings. Key focus areas include safety verification for autonomous vehicles, real-time control systems, and patient-specific cardiac modeling for clinical applications. Recent work explores conformal prediction for safe perception, differentiable control barrier functions, and explainable autonomous systems. Mangharam's publication trends show strong emphasis on autonomous systems safety (control synthesis, uncertainty quantification) and biomedical applications (cardiac modeling, clinical decision support). His 2022-2023 publications demonstrate cross-disciplinary approaches combining control theory, machine learning, and formal methods for robust autonomous systems. Awards and Honors: Presidential Early Career Award (PECASE) 2016 IEEE Benjamin Franklin Key Award 2014 NSF CAREER Award 2013 Intel Early Faculty Career Award 2012 National Academy of Engineers US Frontiers of Engineering (2012, 2018) Stephen J. Angelo Term Chair (2008-2013) He leads multiple major grants including NSF CAREER, DoT Safety21 Center ($20MM), DoE Energy-Efficient Building Hub ($160MM), and DARPA HACMS. Current PhD students include Zirui Zang. Mangharam founded the F1Tenth autonomous racing platform used globally for education and hosts international competitions through the Autoware Center of Excellence.
Björn Brandenburg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His work focuses on real-time systems, scheduling algorithms, and operating system design, with a particular emphasis on predictable resource allocation and performance guarantees in multiprocessor and cyber-physical environments. His research interests include real-time response-time analysis (e.g., PROSA ), locking protocols for multiprocessor systems, side-channel mitigation in cloud environments, and the verification of real-time scheduling policies. He has contributed to foundational studies on deadline failure probabilities, self-suspending tasks, and predictable real-time Linux implementations. Scientific awards include recognition for outstanding papers on TimerShield (2017) Offline Equivalence (2017) . His work intersects with practical systems like LITMUSRT and ROS 2, aiming to bridge theoretical guarantees with real-world applications in safety-critical and distributed real-time systems.
Professor Alessandra Russo leads the Structured and Probabilistic Knowledge Engineering (SPIKE) research group at Imperial College London's Department of Computing. With expertise spanning computational logic, symbolic machine learning, and neuro-symbolic AI, she develops foundational AI techniques applied to security, network management, healthcare, and adaptive systems. Professor Russo holds a PhD in Computing from Imperial College London and an MSc in Computer Science from Ionian University. Her research pioneers logic-based learning systems for intelligent adaptive technologies, with projects including declarative networking for security management, privacy-preserving federated learning, and hybrid neuro-symbolic approaches for robust reasoning. Her current work focuses on developing interpretable AI systems through neuro-symbolic integration, creating frameworks that combine neural networks with symbolic reasoning for explainable decision-making. Recent publications explore rule learning from knowledge graphs, transformer-based world models, and formal methods for representation learning. Professor Russo teaches courses on Logic-Based Learning and AI Applications, and has received the Google PhD Fellowship for her research contributions. She mentors numerous PhD students in areas spanning theoretical foundations and practical applications of computational logic and machine learning.
Liangming Pan is an Assistant Professor at the University of Arizona's College of Information Science. His research focuses on building trustworthy large language models (LLMs) with an emphasis on logical reasoning, truthfulness, and safety. He holds a PhD in Computer Science from the National University of Singapore (2022), a Master's from Tsinghua University, and a Bachelor's from Beihang University. Education : PhD in Computer Science, National University of Singapore (2022) Master of Engineering in Computer Science, Tsinghua University (2017) Bachelor of Engineering in Computer Science, Beihang University (2014) Research Interests : Dr. Pan's work centers on enhancing LLMs' reliability through: Logical reasoning mechanisms to ensure faithful deductions Truthfulness verification to combat misinformation Safety protocols to mitigate societal harm Key Contributions : Developed TART, an open-source framework for explainable table-based reasoning Created benchmarks like SCITAB and FactCheck-Bench for evaluating LLMs Advanced techniques for knowledge editing and causal reasoning Awards : Best Paper Runner-Up at NeurIPS Table Representation Workshop (2024) Area Chair Award for Question Answering (IJCNLP-AACL 2023) Service & Outreach : He serves as an Area Chair for EMNLP (2024), COLING (2025), and ACL (2024). He has delivered invited talks at Tsinghua University, Peking University, and other institutions.
Zhengjie Miao is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU). His research focuses on data management and artificial intelligence, particularly developing algorithms and tools to enhance data science pipelines. He is part of the SFU Data Science Research Group and previously worked as a Research Scientist at Megagon Labs. Education: PhD in Computer Science from Duke University (advisors: Sudeepa Roy, Jun Yang), M.S. from Columbia University (advisor: Eugene Wu), B.S. from Peking University. Research interests span data management systems, machine learning integration in data science, and human-in-the-loop data preparation. His work emphasizes improving data usability through techniques like data lineage tracking, explainable query systems, and fairness-aware data processing. Recent publications highlight advancements in collaborative annotation with LLMs, automated data standardization, and contrastive learning frameworks for column annotation. Key contributions include the Rotom framework for meta-learned data augmentation, the Watchog system for column annotation, and CAPE for query explanation. His research bridges database theory with practical applications in education and industry.
Daniel Kifer is a Professor in the Computer Science and Engineering department at Pennsylvania State University, with affiliations to the Huck Institutes of the Life Sciences. His work bridges computer science, privacy-preserving machine learning, and geoscience applications. With over 10,000 citations and a high h-index, he focuses on methods to unify theoretical and applied research. Research Interests: Differential Privacy, Privacy-Preserving Machine Learning, Physics-Informed Neural Networks, Landslide Prediction, and Formal Verification of Privacy Systems. Recent projects include grants from the National Science Foundation: SaTC: CORE: Small (2024): privacy-preserving user data embedding in machine learning pipelines. SaTC: CORE: Medium (2017-2023): formal methods for differential privacy and accuracy optimization. His research outputs span domains like geoscience, database systems, and policy analysis, emphasizing precision and scalability of privacy-preserving algorithms.
Zhuo Feng is Professor of Electrical and Computer Engineering at Stevens Institute of Technology, directing the HUDSON Lab and holding a Ph.D. from Texas A&M University. His research develops spectral graph methods for VLSI design, including circuit simulation, power grid verification, and machine learning applications. Funded by NSF CAREER and multiple grants, his work has produced award-winning algorithms like GRASS for graph sparsification. Recent publications focus on spectral methods for circuit stability analysis, physics-informed neural networks, and explainable AI frameworks. He teaches graduate courses in VLSI design and GPU programming while co-founding LeapLinear Solutions. NSF CAREER Award (2014) ACM/IEEE DAC Best Paper Award (2013) Multiple Best Paper Nominations (ICCAD 2008, 2006)
Ping Yang is a Professor and Associate Director for Research and Graduate Programs in the School of Computing at Binghamton University (SUNY). She holds a Ph.D. in Computer Science from Stony Brook University, an ME from the Chinese Academy of Sciences, and a BS from Zhongshan University. Her research focuses on cybersecurity, AI-based security, virtual machine security, privacy policy analysis, and formal methods. She directs the Center for Information Assurance and Cybersecurity and coordinates cybersecurity programs at both undergraduate and graduate levels. Education: BS in Computer Science, Zhongshan University ME in Computer Science, Chinese Academy of Sciences MS and PhD in Computer Science, State University of New York at Stony Brook Research Interests: Dr. Yang's work spans information and systems security, security in virtualized computing, access control mechanisms, privacy policies, and formal methods for security verification. Her projects include blockchain-based provenance storage, real-time anomaly detection in workflows, and privacy-preserving virtual machine migration. She has led NSF-funded initiatives on security in cloud environments and scientific workflows. Awards: Not explicitly listed in the provided materials. Advising & Grants: Advised over 30 PhD/Master’s students and contributed to grants including NSF Scholarship for Service and GenCyber programs. Her team develops tools like RBAC-PAT for access control analysis. Labs/Teams: Leads the Center for Information Assurance and Cybersecurity and collaborates on projects involving secure data workflows and blockchain applications in scientific research.
