Bo Li is an Associate Professor at the University of Illinois at Urbana-Champaign, affiliated with the Siebel School of Computing and Data Science. Her research focuses on trustworthy machine learning, emphasizing robustness, privacy, and security in AI systems. She leads the Secure Learning Lab (SL²), exploring adversarial attacks and defenses across digital and physical domains. Key contributions include foundational work on adversarial examples, robust learning frameworks, and privacy-preserving techniques. Her academic roles include advisory board positions at the Center for Artificial Intelligence Innovation (CAII) and membership in the Information Trust Institute (ITI). She collaborates with institutions like the Advanced Digital Science Center (ADSC) and the Quantum Information Science and Technology Center (IQUIST). Notable recognitions include the IJCAI Computers and Thought Award (2022), MIT Technology Review's 35 Innovators Under 35 (2020), and multiple best paper awards. Recent work addresses AI safety through frameworks like ShieldAgent and AutoRedTeamer, aiming to enhance system resilience against adversarial threats. Her research spans theoretical guarantees, practical defenses, and ethical AI deployment. Students advised include Chulin Xie, Linyi Li, and Boxin Wang, who have received prestigious fellowships such as the IBM PhD Fellowship and Rising Stars in ML Awards. Advising: Guides PhD students in adversarial ML, privacy, and security. Labs/Teams: Secure Learning Lab (SL²), collaboration with ALERT program. Grants/Funding: NSF CAREER Award, Amazon/Google Faculty Awards, and industry partnerships.
Marlon Dumas is a Professor of Information Systems at the University of Tartu's Faculty of Science and Technology, with a 20-year academic career spanning Estonia and Australia. He holds a PhD in Computer Science from the University of Grenoble 1, France, and has served as Head of Chair and Programme Director in Software Engineering programs. Specializes in Business Process Management (BPM) and Process Mining Current research focuses on prescriptive process monitoring, simulation modeling, and data privacy Recipient of 25+ scientific awards, including multiple Test of Time Awards and the Estonian National Research Award in Technical Sciences Editorial leadership: Area Editor for Information Systems (Elsevier) and ERC Starting Grant Panel Chair His work bridges theoretical advancements in BPM with practical applications in financial services and anti-money laundering. He has developed tools like SIMOD, Kronos, and Kairos for process optimization and analysis. His research integrates AI/ML techniques (reinforcement learning, causal inference) with traditional process modeling. Key trends in his recent publications include: Prescriptive monitoring systems combining causal inference and machine learning Privacy-preserving process mining techniques (differential privacy, anonymization) Resource availability modeling and multi-objective process optimization LLM applications for process analysis and intervention policies Scientific honors include: 2024 BPM Best Paper & Prototype Awards 2023 ICPM Best Prototype Award 2019 ERC Advanced Grantee 2017 Estonian National Research Award in Technical Sciences 2019 MODELS Test of Time Award 2017 BPM Best Prototype Award He has mentored PhD candidates as thesis examiner and contributed to 30+ conference program committees, including General Co-Chair roles at ESEC-FSE 2019 and CAiSE 2018. His work has been supported by European Research Council grants and Estonian Science Foundation projects.
Fei Fang is an Associate Professor in the Software and Societal Systems Department at Carnegie Mellon University (CMU) , where she explores the intersection of artificial intelligence and multi-agent systems . Her work integrates machine learning with game theory to address challenges in security , sustainability , and mobility , aligning with the AI for Social Good mission. Ph.D. in Computer Science, University of Southern California (2016) B.Eng. in Electronic Engineering, Tsinghua University (2011) Recent research focuses on reinforcement learning , large language models (LLMs) , and human-AI collaboration . Her team’s work has been recognized with 15+ awards across prestigious venues like IAAI, AAAI, and IJCAI. Notable accolades include the 2023 Allen Newell Award , 2022 Sloan Fellowship , and NSF CAREER Award (2021) . She actively contributes to educational initiatives , including teaching "Demystifying AI for Everyone" at CMU, and has sought part-time teaching assistants for course development. Her research spans 15+ domains , including AI ethics , cyber defense , traffic optimization , and public health .
Allison Buchanan is an Associate Professor at the Dental College of Georgia , part of Augusta University . She serves as Interim Chair and Associate Chair for Oral Biology, while teaching at both predoctoral and graduate levels. Her work focuses on Cone Beam Computed Tomography (CBCT) and Digital Radiography , with a special emphasis on Quality Assurance and Obstructive Sleep Apnea imaging. Recent publications address radiation safety, disinfection methods for imaging plates, and software quality control in dental radiology. 2024 : Outstanding Faculty Award, Augusta University 2021 : Honorable mention awardee for Oral and Maxillofacial Radiology (OMR) section 2020 : Inducted into PHI KAPPA PHI Honor Society 2018 : Faculty Research and Scholarship Achievement Award Buchanan serves on multiple committees including the Standards Committee on Dental Informatics (2022-present) and the American Dental Association (2021-present), with editorial board memberships since 2018. Her teaching portfolio includes courses like Radiology Clinic II and Diagnostic Sciences Conference .
Gail E. Kaiser is a Professor of Computer Science and the Director of the Programming Systems Laboratory (PSL) in the Computer Science Department at Columbia University. She has been with Columbia University since 1985, becoming a full Professor in 1998. Prof. Kaiser's research spans software engineering, program analysis, software testing, and software security, with recent focus on addressing challenges in AI/ML systems testing and security. Prof. Kaiser received her PhD in Computer Science from Carnegie Mellon University in 1985 and her ScB in Computer Science and Engineering from MIT in 1979. Her dissertation at CMU was titled "Semantics for Structure Editing Environments" under advisor Nico Habermann, and at MIT she completed "Automatic Extension of an Augmented Transition Network Grammar for Morse Code Conversations" under advisor Al Vezza. Prof. Kaiser's research interests primarily focus on software engineering following a systems building approach, with recent emphasis on static and dynamic program analysis techniques to improve software reliability and security. Since 2005, she has investigated testing "non-testable" programs, particularly in machine learning, data mining, and scientific computing applications where traditional testing oracles are insufficient. She has developed novel techniques and tools for detecting bugs and verifying repairs in complex systems. Concurrently, she has worked on collaboration environments for computational scientists, creating knowledge sharing and domain-aware environments to support scientific workflows. Prof. Kaiser's recent publications demonstrate a strong focus on the intersection of software engineering and artificial intelligence. Her work addresses critical challenges in testing AI systems, code understanding through deep learning, vulnerability detection, and educational tools for computational thinking. There's a clear evolution from traditional software engineering topics toward AI/ML applications, with particular emphasis on metamorphic testing for non-testable systems, code similarity analysis, and educational applications. Prof. Kaiser has received numerous prestigious awards throughout her career: Distinguished Journal Award (10 Years) from 18th IEEE International Conference on Software Testing, Verification and Validation (ICST), April 2025 Best Research Paper Award at 24th IEEE International Conference on Source Code Analysis & Manipulation (SCAM), October 2024 Distinguished Reviewer Awards for ASE 2024 and FSE 2024 ACM SIGSOFT Distinguished Paper Award for "CONCORD: Clone-aware Contrastive Learning for Source Code", July 2023 Best Student Paper Award at ICCE 2021 Multiple ACM SIGSOFT Distinguished Paper Awards dating back to 2014 Presidential Young Investigator in Software Engineering and Software Systems from NSF (1988-1993) Prof. Kaiser has chaired Columbia's doctoral program since 1997 and served on editorial boards including IEEE Internet Computing and as a founding associate editor of ACM Transactions on Software Engineering and Methodology. Her lab has been continuously funded by major agencies including NSF, NIH, DARPA, ONR, NASA, and numerous companies. Current grants include significant NSF funding for secure containers architecture, learning semantics of code for software assurance, and finding semantic security bugs. As Director of the Programming Systems Laboratory (PSL), Prof. Kaiser leads research in software systems, program analysis, and software testing. The lab has developed numerous tools and techniques for software reliability and security, with recent focus on challenges in AI/ML systems. Her work bridges theoretical foundations with practical applications, often resulting in deployable tools that address real-world software engineering challenges.
Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.
Dr. John Francis Clinton is the Director of Seismic Networks and Head of the Earthquake Monitoring Section at the Swiss Seismological Service (SED), ETH Zurich. He leads the Marsquake Service for NASA's InSight mission and oversees Switzerland's broadband and strong-motion seismic networks. His expertise spans earthquake early warning systems, seismic instrumentation, and glacial seismology. Clinton is also a Co-Investigator on the Mars InSight mission and involved in international projects like EPOS and RAMSIS. Education PhD in Civil Engineering (Minor in Geophysics), California Institute of Technology (2004) MSc in Civil Engineering, California Institute of Technology (1998) BEng in Civil Engineering, University College Dublin (1997) Research Interests Dr. Clinton focuses on real-time seismology, seismic instrument design, structural health monitoring, and glacial seismology. His work bridges engineering applications with geophysical data analysis, particularly in earthquake early warning systems and induced seismicity studies. He collaborates internationally on projects such as the Valais Near Fault Observatory and Nicaragua’s Earthquake Early Warning development. Publications Overview His 15 most recent papers (2011–2015) highlight advancements in seismic network optimization, Marsquake detection algorithms, and glacial icequake mechanisms. Key themes include improving early warning accuracy, understanding subglacial dynamics, and validating high-rate GPS for structural monitoring. Awards & Memberships Member, Swiss Academy of Sciences (since 2008) Member, IRIS Quality Assurance Advisory Committee (since 2013) Chair, European Integrated Data Archives (EIDA) (2013–2015) Labs & Teams Clinton directs the SED’s Earthquake Monitoring team and collaborates with ETH Zurich’s Geophysics Masters Program. His group manages Switzerland’s seismic networks and leads the Marsquake Service, which analyzes InSight lander data for Martian seismic events.
Professor Michael C.L. CHAU serves as Professor and Deputy Area Head of Innovation and Information Management at The University of Hong Kong's Faculty of Business and Economics. He also holds the position of Associate Director at the HKU HKJC Centre for Suicide Research and Prevention, and serves on the HKU Senate and Court. His academic journey includes a Ph.D. in Management Information Systems from the University of Arizona and a B.Sc. in Computer Science (Information Systems) from the University of Hong Kong. Dr. Chau's research spans business analytics, artificial intelligence, web mining, fintech, smart health, and security informatics. His work focuses on applying data/text/web mining techniques to business, education, and social domains. He leads the Artificial Intelligence Research Group at HKU Business School, which has secured significant funding from the Hong Kong Research Grants Council, Food and Health Bureau, and other agencies for projects including 'The Invisible Hand in Crowdfunding' and 'Factors Moderating the Predictive Power of Social Media Sentiment on Stock Returns'. His publication portfolio includes over 150 articles in premier journals like MIS Quarterly, JMIS, and IEEE Transactions, with recent work exploring large language models, hate speech detection, and disaster-related social media analysis. His research demonstrates strong interdisciplinary connections across computer science, information systems, and business applications. INFORMS ISS Design Science Award (2020) IEEE ITSS Leadership Award in Intelligence and Security Informatics (2020) AIS Sandra Slaughter Service Award (2016) HKU Outstanding Young Researcher Award (2014) Faculty Research Postgraduate Supervision Award (2020 & 2025) Cited over 9,400 times (h-index = 47) Dr. Chau actively mentors doctoral students and has supervised numerous PhD graduates who now hold academic positions at institutions including Fudan University, Xi'an Jiaotong-Liverpool University, and the University of Maryland. His research grants portfolio demonstrates sustained funding success across diverse areas including blockchain, mental health applications, and social media analytics. The Artificial Intelligence Research Group he leads maintains strong industry connections through projects with Hong Kong Red Cross and the Hospital Authority.
Andrew Miller is an Associate Professor in the Electrical and Computer Engineering department at the University of Illinois, specializing in Programming Languages, Formal Methods, Software Engineering, Security and Privacy, and Systems and Networking. His research focuses on blockchain technologies, cryptography, and secure systems. Professor Miller's research spans multiple critical areas in modern computer security. His work primarily focuses on blockchain technologies , where he has made significant contributions to understanding and improving the security, privacy, and performance of systems like Bitcoin and Ethereum. He has conducted empirical analyses of privacy in the Lightning Network and developed protocols for confidential smart contracts. His work in cryptography includes research on multiparty computation, zero-knowledge proofs, and formal methods for cryptographic protocol design. Miller also investigates security vulnerabilities in proof-of-stake systems and resource exhaustion attacks, contributing to the robustness of decentralized systems. His applied security research extends to privacy-preserving health applications, as evidenced by his work on the Safer Illinois platform for COVID-19 contact tracing. Miller's publication record demonstrates consistent contributions to top security and systems venues including IEEE Security & Privacy, ACM CCS, Financial Cryptography, and USENIX Security. His research shows a clear trajectory from foundational work in blockchain security to more applied systems addressing real-world privacy and security challenges. Recent work focuses on making multiparty computation services publicly auditable and developing decentralized identity solutions that maintain compatibility with existing systems. Distinguished Reviewer Award, IEEE Security & Privacy 2018 Professor Miller has advised students including Vivek Nair, who joined the prestigious Hertz Fellows program in 2022. He has taught various courses including Introduction to Algorithms & Models of Computation, Advanced Computer Security, Cryptography, Applied Cryptography, and Ideal Functionality in Cryptography. His research has received support through grants including the SaTC: CORE: Medium project on "Automated Support for Writing High-Assurance Smart Contracts" in 2018. Miller is actively involved in research groups focusing on blockchain security, cryptographic protocols, and privacy-preserving systems. His lab appears to collaborate extensively with researchers across multiple institutions, as evidenced by the diverse author lists on his publications. Current work seems to be focused on making decentralized systems more secure, privacy-preserving, and accessible for real-world applications.
Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.
Linyi Li is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), leading the Trustworthy Artificial Intelligence (TAI) Lab. His research focuses on certifiably trustworthy deep learning systems, combining machine learning and computer security. He holds a PhD from the University of Illinois Urbana-Champaign (UIUC) and a B.Eng. from Tsinghua University. Affiliations: Simon Fraser University, TAI Lab Education: PhD in Computer Science, UIUC, 2023 B.Eng (Cum Laude), Tsinghua University, 2018 His research interests include deep learning , trustworthy machine learning , large language models , and software engineering . He emphasizes rigorous certification of robustness, fairness, and numerical reliability in AI systems. Recent work includes the InfiBench benchmark for evaluating code LLMs and advancements in neural network verification. Recent Research Trends: His publications span certified robustness, fairness guarantees, and scalable verification techniques for deep learning models. He also explores scientific evaluation of foundation models and adversarial defense mechanisms. Awards: Rising Stars in Data Science AdvML Rising Star Award Wing Kai Cheng Fellowship Finalist: Qualcomm Innovation Fellowship (2022) Winner: VNN-COMP'23 Competition (Team α, β-CROWN) Advising & Grants: As a PI, he oversees the TAI Lab's research. Though no specific grants are listed, his work is funded through competitive awards and university resources. Labs/Teams: Leads the TAI Lab at SFU, focusing on foundational and applied research in trustworthy AI.
Dr. Abdullah Bal is a researcher at Georgia State University's College of Arts & Sciences, Department of Computer Science, with over 25 years of academic experience. He holds a Ph.D. in Electrical Engineering from Yildiz Technical University (2002) and has taught graduate and undergraduate courses in algorithms, machine learning, and optical pattern recognition. B.Sc., Electronics and Communication Engineering, Istanbul Technical University (1993) M.Sc., Electrical Engineering, Yildiz Technical University (1997) Ph.D., Electrical Engineering, Yildiz Technical University (2002) His research focuses on data science, machine learning, and hyperspectral imaging applications in fields ranging from forensic analysis to historical structure preservation. He has led projects funded by the U.S. Army Research Office and the Scientific and Technological Research Council of Turkey, including real-time target detection systems and digital imaging for historical structures. Recent publications demonstrate his expertise in kernel-based transforms, ensemble learning, and hyperspectral data analysis. His work spans food safety inspection, infrared target tracking, and biometric verification systems. Faculty Outstanding Research Publication Award (2006) Turkish Air Force Academy Science Competition Winner (2009) Best Paper Award at ICFCT (2016) Previously, he chaired YTU's Informatics Department (2009-2016) and participated in academic governance through the Electrical and Electronics College Executive Committee (2012-2015). You can contact him at abal@gsu.edu in room 739, 25 Park Place.
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.
John Ford is an Associate Professor in the Department of Nuclear Engineering at Texas A&M University. His research focuses on radiobiology, radiation carcinogenesis, and medical applications of radiation. He holds academic appointments within the College of Engineering and contributes to the Health Physics, Radiation Biology & Medical Physics research group. Education includes a B.S. and M.S. in Nuclear Engineering from Mississippi State University (1982, 1986), a Ph.D. in Biomedical Sciences from the University of Tennessee (1992), and postdoctoral training at Oak Ridge National Laboratory (1992–1993). His work emphasizes understanding radiation effects on biological systems, with notable contributions to radiation dosimetry, bystander signaling mechanisms, and dietary modulation of radiation damage. Recent studies explore space radiation monitoring technologies and therapeutic applications of radiation. Awards include the BP Award for Teaching Excellence (2007) and ARRO Educator of the Year (2013–2014). Research spans interdisciplinary areas such as radiation-induced cancer mechanisms, nutritional interventions to mitigate radiation effects, and advanced radiation detection instrumentation. He has advised numerous projects in radiation safety curriculum development and collaborated on NASA-funded studies modeling radiation impacts on astronauts.
