John DeNero is the Giancarlo Teaching Fellow and Associate Teaching Professor in UC Berkeley's Electrical Engineering and Computer Sciences (EECS) department. He joined UC Berkeley in 2014 to focus on undergraduate education in computer science and data science. He teaches and co-develops introductory courses like CS 61A (Computer Science) and Data 8 (Data Science), which serve thousands of students annually. His research spans natural language processing and education innovation, with notable contributions to textbooks like Composing Programs and Computational and Inferential Thinking . Education: Ph.D. in Electrical Engineering and Computer Science, UC Berkeley (2010) M.A. in Philosophy, Stanford University (2002) B.S. in Mathematical & Computational Science and Symbolic Systems, Stanford University (2001) Research interests focus on advancing AI education and curriculum design. His work emphasizes scalability, equity, and student success in large courses. Notable contributions include the Pac-Man projects for AI education and the Berkeley Data Science Education Program. Recent trends in publications highlight AI-assisted education tools, machine translation improvements, and large-scale student feedback systems. Awards include the UC Berkeley Distinguished Teaching Award (2018) and multiple accolades for teaching excellence. Advising and grants: While currently not taking new students, his team supports massive course infrastructures. Labs include the Berkeley Artificial Intelligence Research (BAIR) Lab and contributions to Data Science undergraduate studies.
Daniel Varro is a Professor affiliated with McGill University (Faculty of Engineering, School of Computer Science), with strong ties to Budapest University of Technology and Economics and Linköping University. He is a leading researcher in model-driven engineering, cyber-physical systems, and software engineering, actively contributing to top-tier conferences such as MODELS, ICSE, and ASE. His research focuses on model-based systems engineering (MBSE) , automated model generation , model transformations , and constraint-based consistency checking . Recently, his work has expanded into integrating large language models (LLMs) and machine learning into modeling workflows, including model querying, domain modeling, and bug detection. The recent publications reveal a strong trend toward AI-augmented modeling, logic-based solvers (e.g., Refinery), and safety assurance of autonomous systems (e.g., COLREGs compliance). His work bridges formal methods with practical software engineering challenges in industrial and safety-critical domains. Scientific Awards: No specific awards mentioned in the text. Advising and Grants: While no explicit list of students or grants is provided, his mentorship in the Doctoral Symposium and repeated leadership roles suggest active supervision and likely grant funding. He has led projects on automated model generation, model quality, and AI integration in modeling. Labs and Teams: Daniel Varro is associated with research groups focused on model-driven engineering and software evolution, likely leading or co-leading teams working on the VIATRA and Refinery frameworks for model transformation and solving.
Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. She co-directs the Laboratory for Advanced Software Engineering Research (LASER) and is a member of the UMass NLP group. Her research advances software engineering through automated techniques for building high-quality systems with emphasis on behavioral specifications, AI safety, and trustworthy AI. Her work addresses the fundamental challenge of aligning software behavior with intended specifications through two main directions: automated specification synthesis (translating natural language comments to formal specifications via tools like C2S and LLMCup) and defect detection/repair (developing frameworks for AI system testing, bias mitigation, and training diagnostics). Her vision integrates these into end-to-end assurance systems that continuously validate, repair, and audit evolving software in dynamic environments. Recent publications (2024-2025) reveal dominant trends at the software engineering/AI intersection: formal specification synthesis for IoT and code generation, comment maintenance using LLMs, deep learning framework testing (DevMuT, Citadel), bias detection in LLMs, and automated training repair (AutoTrainer, DREAM). These contributions appear in top venues including ICSE, FSE, ASE, ISSTA, and ACL. Professor Zhai currently advises PhD student Gehao Zhang (focusing on Software Engineering and AI Safety) and actively recruits new PhD/Master's students. Her LASER lab develops practical tools for specification inference, LLM-driven synthesis, and trustworthy AI, while collaborating with the UMass NLP group on language-centric software analysis. The LASER lab, co-directed by Zhai, pioneers techniques for behavioral specification enforcement across traditional and AI-powered systems. Key projects include CPC for bidirectional code-comment analysis, ModelMeta for deep learning framework testing, and frameworks for bias mitigation across the ML lifecycle. The lab emphasizes practical, scalable tools that enhance correctness, robustness, and fairness in critical AI applications.
Prof. Dr. Andrea Stocco is a Professor at the Technische Universität München (TUM), affiliated with the TUM School of Computation, Information and Technology. His research focuses on the intersection of software engineering and deep learning, particularly addressing the robustness and reliability of data-intensive systems. Key areas include autonomous vehicles, web application testing, and automated functional oracles for deep learning systems. He leads initiatives such as the Lehrstuhl für Software und Systems Engineering , collaborating on projects like CrESt and SUPPRA – Algorand Center of Excellence . Research interests encompass monitoring techniques for AI-driven systems, test suite maintainability, and scenario-based testing of cyber-physical systems (CPS). His work emphasizes practical applications, such as improving testing frameworks for evolving web applications and enhancing interoperability in autonomous driving systems (ADS). Recent efforts include leveraging large language models (LLMs) for secure code assessment and benchmarking generative AI for test input generation. No scientific awards are explicitly mentioned in the provided texts. His publications reflect a strong focus on testing methodologies, with over 40 articles since 2013, covering domains like web test automation, dependency-aware testing, and safety-critical failure prediction in autonomous systems. Advising and grants details are not detailed in the current data, but his lab contributes to TUM's broader efforts in software engineering and systems reliability.
Daniel Balasubramanian is an Adjunct Associate Professor of Computer Science and Research Scientist at Vanderbilt University's School of Engineering. His research focuses on cybersecurity, software verification, and cyber-physical systems, with expertise in symbolic execution, code analysis, and formal methods. He contributes to advancing secure systems through frameworks like RAMPART for adversarial defense and Syntheto for formal verification. His work intersects edge computing, hardware security, and autonomous systems resilience. Research Interests: Cybersecurity (including ethical hacking, network defense), formal methods (verification, theorem proving), edge computing (tinyML, cloud integration), and cyber-physical systems (emulation, testbeds). His recent work emphasizes assurance provenance in software documentation and adversarially robust autonomous systems. Publications since 2019 highlight contributions to cybersecurity testbeds, reinforcement learning for penetration resistance, and hardware security against rowhammer attacks. He has explored domain-specific languages (Syntheto), incremental modeling techniques (differential-formula), and cloud-edge service resilience against adversarial perturbations. Labs/Teams: Affiliated with the Institute for Software-Integrated Systems (ISIS), focusing on integrating software with physical systems through model-driven approaches and cybersecurity innovations.
Ruoyu (Fish) Wang is an Associate Professor at the School of Computing and Augmented Intelligence, Arizona State University (Tempe campus). He also holds affiliations as Associate Director of Impact at the Global Security Initiative, Center for Cybersecurity & Trusted Foundations, and with the Biodesign Center for Biocomputing, Security and Society. His educational background includes: Ph.D. in Computer Science, University of California, Santa Barbara Professor Wang's research focuses on system security, with an emphasis on automated binary program analysis and reverse engineering of software. He is the co-founder and core developer of the angr binary analysis platform, which won third place in the DARPA Cyber Grand Challenge (2018). His work spans vulnerability discovery, fuzzing, and security tool development for binary program analysis. His current research interests include: Binary program analysis and reverse engineering Automated vulnerability discovery and mitigation Fuzzing techniques and robust testing Phishing and fraud detection in e-commerce Security of firmware and embedded systems Application of machine learning to security problems His recent publications (2024-2025) demonstrate cutting-edge research in fraud detection for e-commerce using LLMs, advanced fuzzing methodologies, and binary decompilation techniques. Key trends include bridging theoretical program analysis with practical security tools, as evidenced by extensions to the angr platform, and addressing emerging threats in financial ecosystems and client-side security. Dr. Wang has received notable recognition: Third place in DARPA Cyber Grand Challenge (2018) with team Shellphish As an active educator, he supervises graduate research (CSE 599/799) and teaches core cybersecurity courses including Software Security (CSE 545) and Information Assurance (CSE 365). His teaching spans multiple semesters through 2025, covering practicums, internships, and special topics in computing security. Dr. Wang co-founded the angr binary analysis platform and contributes to Arizona State University's security research ecosystem through leadership roles in the Center for Cybersecurity & Trusted Foundations and Biodesign Center for Biocomputing, Security and Society.
Prof. Martin Boeker is a Professor of Medical Informatics at the Technical University of Munich (TUM), affiliated with the TUM School of Medicine and Health. His work focuses on advancing healthcare through AI-driven solutions, interoperability frameworks, and precision medicine initiatives. Key projects include the German Medical Text Corpus (GeMTeX) and the MIRACUM DIFUTURE Alignment Hub. Expertise: Medical Informatics, AI in Healthcare, Federated Learning, Health Data Integration Key Contributions: FHIR-based systems, clinical decision support, patient-centered outcomes research Leadership: Director of the Institute for AI and Informatics in Medicine at TUM Hospital Right of the Isar Research emphasizes bridging clinical practice and data science through projects like modular health crawlers, automated guideline adherence monitoring, and cross-institutional medical NLP solutions. His work spans oncology informatics, rare disease management, and pandemic response data ecosystems. Recent articles highlight innovations in digital twins for precision oncology, federated analysis in oncology, and German-language medical NLP challenges. He collaborates internationally on EHR standardization and healthcare interoperability, contributing to the Medical Informatics Initiative (MII) and pandemic evidence ecosystems. Grants and collaborations involve the German Federal Ministry of Education and Research, European initiatives, and industry partnerships. Educational efforts focus on training future medical informatics professionals through MII competency programs.
Dr. Brady D. Lund is an Assistant Professor at the University of North Texas, focusing on interdisciplinary research at the intersection of information science, artificial intelligence, and ethics. His work addresses AI adoption in libraries, data privacy, academic integrity, and international development. He holds a Ph.D., M.S., and B.S. from Emporia State University and Wichita State University. Education: Ph.D., Emporia State University M.S., Emporia State University B.S., Wichita State University Research Interests: Dr. Lund explores how AI impacts information seeking behaviors, data privacy literacy, and library services. His work emphasizes ethical AI deployment in academic and clinical settings, with a focus on marginalized communities. Key areas include AI-driven library systems, blockchain applications for academic integrity, and the societal implications of generative AI. Research Trends: Recent publications analyze AI's role in health information, cybersecurity threat intelligence, and library leadership in minority-serving institutions. He critiques AI authorship policies, evaluates large language models, and advocates for equitable AI access in developing countries. Labs & Teams: Leads the Computational Humanities and Information Literacy Lab and the CyberCrews initiative, focusing on AI ethics, digital literacy, and interdisciplinary collaboration.
Florian Shkurti is an Assistant Professor in the Department of Computer Science at the University of Toronto Mississauga (UTM), affiliated with the UofT Robotics Institute, Vector Institute, and Acceleration Consortium. His research focuses on robotics, machine learning, and computer vision, emphasizing safe and effective autonomous systems in dynamic environments. He directs the Robot Vision and Learning (RVL) lab, exploring areas like environmental monitoring, autonomous navigation, and mobile manipulation. Research Interests: His work spans robotics, machine learning, and computer vision. Key areas include robot perception, planning under uncertainty, safe exploration, imitation learning, and applications in field robotics, autonomous vehicles, and chemistry lab automation. He develops methods enabling robots to perceive, reason, and act safely in collaboration with humans. Publications: Recent work includes advancements in safe multitask learning, interactive crowd navigation, and diffusion models for trajectory planning. His research bridges theoretical foundations with real-world applications in environmental science and autonomous systems. Affiliations: Faculty Member, UofT Robotics Institute; Faculty Affiliate, Vector Institute; Faculty Member, Acceleration Consortium. He also holds positions at UTM's Mathematical & Computational Sciences department. Teaching: Courses include Imitation Learning for Robotics, Neural Networks, and Mobile Robotics. He emphasizes hands-on experience with autonomous systems through projects involving RC cars and simulation tools. Labs & Teams: Leads the RVL lab, collaborating on projects like RoboCulture (automated biological experimentation) and SICNav (safe crowd navigation systems). The lab focuses on cross-disciplinary robotics solutions for real-world challenges.
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.
Rogério de Lemos is a Senior Lecturer in Computing Science and Director of Postgraduate Research (PGR) at the School of Computing, University of Kent. He previously served as an invited assistant professor at the University of Coimbra, Portugal, and as a Senior Research Associate at the Centre for Software Reliability (CSR) at the University of Newcastle upon Tyne, UK. Dr. de Lemos' research focuses on architecting resilient systems, particularly in resilient AI, self-adaptive software systems, and authorization infrastructures. He belongs to both the Programming Languages and Systems Group and the Cyber Security Group at the University of Kent. His specific research interests include: Software engineering for self-adaptive systems assurances and resilience evaluation Dynamic generation of processes Handling insider threats using self-adaptive authorization Architectural abstractions for fault tolerance Verification and validation of dependable software architectures Software development for safety-critical systems Dependability and bioinspired computing His publication trends show increasing emphasis on practical applications of self-adaptive systems in cyber security contexts, with recent work spanning network traffic analysis, cryptographic function detection, and cloud-edge security architectures. His research bridges theoretical foundations with practical implementations, particularly in cyber security and resilient systems architecture. Dr. de Lemos currently leads the "Collaborative and Confidential Information Sharing and Analysis for Cyber Protection" project funded by the European Union's Horizon 2020 Programme. His past projects include "ADAAS: Assuring Dependability in Architecture-based Adaptive Systems" and multiple collaborations with NCR on sensor fusion and fault tolerance. As Director of Postgraduate Research, he oversees the School of Computing's research degree programs and likely supervises PhD students in resilient systems and cyber security, though specific student names are not listed in the available information.
Dr. Thomas E. Doyle is an Associate Professor at the McMaster School of Biomedical Engineering and the Department of Electrical & Computer Engineering at McMaster University. His research focuses on biomedical signal processing, human-computer interfacing (HCI), and machine learning applications for healthcare augmentation, rehabilitation, and enhancement. He holds a Ph.D. from Western Ontario, Canada, and teaches courses like COMPENG 2DI4 (Logic Design). His work bridges cybernetics and clinical applications, emphasizing AI-driven solutions for medical diagnostics, patient monitoring, and space exploration. Education: B.E.Sc, B.Sc, M.E.Sc, Ph.D. from Western Ontario, Canada Recent Projects: Developed AI systems for remote healthcare diagnostics (2023) Collaborated with NASA on medical emergency simulators for deep space missions (2017–2023) Led ventilator development efforts for local hospitals during the pandemic (2020) His research interests span machine learning for mental health diagnostics, trust quantification in medical AI, and extended reality (XR) for medical training. He emphasizes interdisciplinary approaches, integrating computational methods with healthcare challenges. Recent publications highlight applications in pediatric emergency care, chronic pain management, and reliable medical device design. Dr. Doyle actively engages in educational initiatives, including first-year engineering pedagogy and experiential learning programs. He has received funding for projects such as the Educating the Engineer of 2025 (EtE-25) awards and contributes to initiatives like the Digital & Smart Systems and Health & Bio-innovation research clusters at McMaster.
Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.
Philip Thomas is an Associate Professor and Doctoral Program Director at the Manning College of Information and Computer Sciences, University of Massachusetts Amherst. He leads the Autonomous Learning Lab (ALL) and co-founded the Reinforcement Learning Conference (RLC). His research focuses on reinforcement learning, AI safety, and algorithms that ensure safety guarantees for high-risk applications like healthcare and digital marketing. Education: PhD in Computer Science, University of Massachusetts Amherst (2015) MSc in Computer Science, Case Western Reserve University (2009) BSc in Computer Science, Case Western Reserve University (2008) Research Interests: Thomas specializes in designing biologically plausible reinforcement learning algorithms and ensuring safety through frameworks like Qualia Optimization and Seldonian Algorithms . His work emphasizes off-policy evaluation, fairness guarantees, and ethical AI. Recent projects include developing benchmarks for medical decision-making (e.g., ICU-Sepsis) and analyzing adversarial robustness in speech denoising models. Articles Trends: His recent work spans high-confidence policy evaluation, fairness metrics, and algorithmic safety. Key themes include improving benchmarking practices, rethinking eligibility traces, and leveraging state abstraction for consistent off-policy evaluation. Awards & Grants: Armstrong Award Co-PI on Army Research Grant (IoBT), NSF grant (FMitF) Significant funding from Adobe Research Advising & Grants: Thomas has overseen grants totaling millions and mentored students in reinforcement learning and AI safety. His current focus includes exploring qualia optimization for doctoral applications (2026-2027). Labs & Teams: He directs the Autonomous Learning Lab and collaborates on interdisciplinary projects at the Center for Data Science, emphasizing ethical AI and safe machine learning systems.
