Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science and Director of the PRECISE Center at the University of Pennsylvania's School of Engineering and Applied Science. He holds a secondary appointment in the Department of Electrical and Systems Engineering and the Perelman School of Medicine’s Department of Biostatistics, Epidemiology, and Informatics. IEEE TCCPS Distinguished Leadership Award (2023) Fellow of the AAAS (2022) Test of Time Award, Runtime Verification (2019) Fellow of the ACM (2017) Best Paper Awards at IEEE ICPS, ACM/IEEE ICCPS, and MEMOCODE His research focuses on cyber-physical systems , real-time and embedded systems , safe autonomy , and internet of medical things , with applications in healthcare and connected systems. He advises PhD students including Eric Lu, Kaustubh Sridhar, Sooyong Jang, and Jean Park (co-advised with Kevin Johnson). Recent publications address safety monitoring for learning-enabled systems, model-free control synthesis using reinforcement learning, and multilingual toxicity guardrails for large language models. His team collaborates with institutions like Hillrom and Penn Nursing to optimize medical device usage in clinical settings.
Panos Ipeirotis is a Professor at the Leonard N. Stern School of Business at New York University, affiliated with the Department of Technology, Operations, and Statistics. He also serves as the George A. Kellner Faculty Fellow and is associated with the Center for Data Science and Computer Science departments at NYU. PhD in Computer Science (Columbia University, 2004) MSc in Computer Science (Columbia University, 2001) BSc in Computer Engineering & Informatics (University of Patras, 1999) His research spans crowdsourcing, machine learning, human-AI collaboration, online labor markets, and social media analytics. He pioneered human-machine loop systems that combine human and machine intelligence to achieve superior outcomes. His work has applications in data quality assurance, visual media search (e.g., Google Project Glass), and economic valuation of user-generated content. Recent publications focus on algorithmic fairness in hiring systems, occupational segregation analysis, and theoretical advancements in crowdsourcing consensus mechanisms. Earlier work includes foundational studies on data quality in crowdsourcing platforms, economic impacts of product reviews, and query optimization for text-centric tasks. 2015 Lagrange Prize in Complex Systems NSF CAREER Award SIGKDD Test of Time Award (2020) Multiple Best Paper awards (WWW 2011, KDD 2008, SIGMOD 2006) He has received significant grants, including a $1.5 million Google Research Grant (2013) for integrating crowdsourcing with machine learning algorithms. His work bridges computer science, economics, and social psychology, with implications for policy-making and business strategy.
Prof. Dr. Thomas Brinkhoff is Chair of the Institute Board and Chair of Geoinformatics at Oldenburg University of Applied Sciences. He leads the Institute for Applied Photogrammetry and Geoinformatics (IAPG) and contributes to institutions like the Association for the Promotion of Geoinformatics in Northern Germany (GiN e.V.) and the Oldenburg Research and Development Institute for Computer Science (OFFIS e.V.). Education: Diploma in Computer Science (Informatik), Universität Bremen (1990) Doctorate in Computer Science (Dr. rer. nat.), Ludwig Maximilian University of Munich (1994) Brinkhoff's research spans geodatabase systems, spatiotemporal data processing, geosensor analytics, and location-based services. His work addresses Volunteered Geographic Information (VGI), web-based geospatial visualization, and mobile data integration, with applications in traffic management and forensic science. Recent projects include ProSaDi (Digital Provenance and Collection Research) and contributions to the Laboratory for optical 3D metrology . He has served on program committees for ACM SIGSPATIAL (2002-2019), AGILE conferences (2010-2025), and editorial boards of journals like GeoInformatica and TGIS. Notable Lectures: 2024: Forensic applications of tachograph data 2023: Geoinformatics in homicide investigations 2022: Spatiotemporal analysis for sustainability projects 2015: Open geodata standards at FOSSGIS 2014: Mobile sensor data processing
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 .
Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, leading the School of Engineering and Applied Science. He is the Founding Director of the ASSET Center for Trustworthy AI and a member of the PRECISE Center. His research focuses on formal methods for system design, integrating AI, cyber-physical systems, and machine learning with logical reasoning to ensure safety in autonomous systems. Alur has held leadership roles in major NSF projects like ExCAPE and has directed the Embedded and Multi-Scale Systems (EMBS) program. His research interests span formal verification, temporal logics, programming abstractions, and synthesis techniques. Notable contributions include the development of Nested Words (visibly pushdown languages), streaming string transducers, and tools like AutomataTutor for education. He has advised over 60 PhD students and postdocs, many of whom now hold academic and industry leadership positions. Alur’s awards include the 2024 Knuth Prize and the 2016 Alonzo Church Award. His work on Verisig and compositional verification of neural networks has advanced safety-critical AI applications. He teaches foundational courses like CIS 2620 and develops educational tools, emphasizing both theoretical rigor and practical impact. Key projects include the ASSET Center’s focus on trustworthy AI, integration of logical specifications in reinforcement learning, and formal verification of closed-loop systems with neural components. His publications span over 350 papers, with recent work addressing neurosymbolic learning, security in large language models, and efficient neural network verification.
Tim G. J. Rudner is an Assistant Professor in the Department of Statistical Sciences at the University of Toronto, a Faculty Member at the Vector Institute, and a Title A Fellow at Trinity College, University of Cambridge. He was previously an Assistant Professor and Faculty Fellow at New York University. University: University of Toronto School: Faculty of Arts and Science Department: Department of Statistical Sciences Affiliation: Vector Institute, Trinity College (Cambridge) He holds a PhD in Computer Science and an MSc in Statistics from the University of Oxford, where he was advised by Yee Whye Teh and Yarin Gal, and a BS in Applied Mathematics and Economics from Yale University. PhD: Computer Science, University of Oxford MSc: Statistics, University of Oxford BS: Applied Mathematics and Economics, Yale University His research focuses on building robust, transparent, and trustworthy machine learning systems, particularly for high-stakes applications. He develops probabilistic models that improve generalization under distribution shifts, provide reliable uncertainty estimates, and enable fair and interpretable predictions. His work spans generative models, large language models, healthcare, and biomedical discovery. The recent publications highlight a strong trend toward function-space modeling, Bayesian regularization, and AI safety. Tim's work emphasizes principled uncertainty quantification, robustness to subpopulation and semantic shifts, and the development of frameworks for AI governance and specification. His research bridges theoretical advances with real-world applications, especially in safety-critical domains like medicine and defense. Tim has received numerous accolades including being named a Rhodes Scholar, Qualcomm Innovation Fellow, and 2024 Rising Star in Generative AI. He was awarded a $700,000 Foundational Research Grant and a $30,000 Apple Seed Grant for improving LLM trustworthiness. Rhodes Scholar Qualcomm Innovation Fellow AISTATS Notable Paper Award (2024) Outstanding Paper Award, ICLR GenAI4DM Workshop (2024) Apple Seed Grant ($30,000) Foundational Research Grant ($700,000) NeurIPS Spotlight Talk 2024 Rising Star in Generative AI He actively mentors students, particularly first-generation and low-income scholars, and has contributed to major policy frameworks including the OECD AI Classification Framework and a series of CSET issue briefs on AI safety. His work demonstrates a strong commitment to responsible AI development, combining technical rigor with societal impact. Tim leads research efforts at the intersection of machine learning theory and practical deployment, with ongoing projects in generative modeling, reliable LLMs, and AI governance. His lab produces high-impact work regularly published at top-tier conferences such as NeurIPS, ICML, and AISTATS.
Alexandre Jacquillat is the Maurice F. Strong Career Development Associate Professor and Associate Professor of Operations Research and Statistics at MIT Sloan School of Management. His research focuses on data-driven decision-making with applications in air traffic management, urban mobility, and decarbonization. He holds a PhD in Engineering and MS degrees from MIT and École Polytechnique. Education PhD in Engineering, MIT MS in Technology and Policy, MIT MS in Applied Mathematics, École Polytechnique Research Interests His work develops scalable optimization models for efficient, equitable, and sustainable operations. Key areas include stochastic optimization, large-scale systems design, and machine learning applications in transportation and public policy. Recent projects explore vertiport planning for urban aerial mobility and prescriptive analytics for pandemic response. Awards Harold W. Kuhn Award (2024) INFORMS Harvey Greenberg Research Award (2023) MIT Jamieson Prize for Excellence in Teaching (2023) Multiple INFORMS Best Paper Awards (2015-2023) Named Leading Academic Data Leader by Chief Data Officer Magazine (2021-2022) Teaching & Grants Teaches courses in optimization (15.093, 15.083) and analytics (15.072). His grants support work in robotic warehousing, air traffic scheduling, and disaster response logistics. Advises on transportation analytics for industry and government. Labs/Teams Leads MIT Sloan's operations research group, collaborating with industry partners like McKinsey & Co. and Booz Allen Hamilton on transportation analytics and optimization projects.
Anthony Rollett is a Professor in the Department of Materials Science and Engineering at Carnegie Mellon University , where he has been a faculty member since 1995. He serves as the Principal Investigator and Co-Director of the NASA-supported Institute for Model-Based Qualification & Certification of Additive Manufacturing (IMQCAM) and co-director of the Next Manufacturing Center . Prior to CMU, he held leadership roles at Los Alamos National Laboratory (1991-1995). Education: Ph.D., Materials Engineering, Drexel University (1987) MA, Metallurgy and Materials Science, Cambridge University (1977) Research Interests: Rollett’s work focuses on microstructural evolution and microstructure-property relationships in 3D using experiments and simulations. His expertise spans additive manufacturing , metal 3D printing , materials for energy systems , grain growth , recrystallization , and stereology , with techniques like high-energy diffraction microscopy (HEDM) and dynamic x-ray radiography (DXR) . Scientific Contributions: He has over 320 peer-reviewed publications and an h-index >80 . His recent articles highlight machine learning for laser processing , fatigue analysis of additively manufactured alloys, and design optimization for heat exchangers in supercritical CO2 and solar thermal applications . Scientific Awards: Fellow of ASM International (1996) Fellow of the Institute of Physics (UK) (2004) Fellow of The Minerals, Metals & Materials Society (TMS) (2011) Cyril Stanley Smith Award (TMS, 2014) Member of Honor, French Metallurgical Society (2015) US Steel Professor (2017) Francqui International Professor (2020-2021) International FAME Award (2023) Leadership & Impact: Rollett co-led the development of a NASA Space Technology Research Institute for additive manufacturing and established a new master’s program in additive manufacturing (2018). His research group is funded by industry , federal agencies , and Pennsylvania state grants . He also serves on the Basic Energy Science Advisory Committee and Defense Programs Advisory Committee for the Department of Energy.
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.
Associate Professor Ng Bing Feng leads research in Additive Manufacturing, Aerospace Engineering, and Thermofluids at Nanyang Technological University's School of Mechanical & Aerospace Engineering. As Cluster Director for Smart & Sustainable Building Technologies at NTU's Energy Research Institute, he oversees projects spanning energy-efficient cooling technologies, advanced filtration systems, and bio-inspired materials. His interdisciplinary work integrates advanced manufacturing with environmental engineering, focusing on sustainable solutions for air quality management and thermal regulation. Current research explores radiative cooling technologies, acoustic agglomeration for emissions control, and crashworthy structures via biomimetic design. Professor Ng's publications demonstrate consistent innovation in multi-scale manufacturing and fluid dynamics, with growing emphasis on sustainable urban technologies. Methodologies combine experimental fluid dynamics with computational modeling and AI-driven design. Leadership Roles: Cluster Director, Energy Research Institute @ NTU Principal Investigator for multiple industry collaborations in sustainable materials Research Output: 42+ publications in high-impact journals Multiple patents in filtration technologies and cooling systems
Evangelos Katsanos is an Associate Professor in the Department of Civil and Mechanical Engineering at the Technical University of Denmark (DTU), where he contributes to research and education in structural engineering and safety. He is affiliated with the Structures and Safety research group and actively supervises PhD students. His work spans advanced computational methods for structural monitoring and risk assessment. Research Interests: His expertise lies in structural dynamics, modal analysis, state estimation, and structural health monitoring of civil and offshore infrastructure. He applies physics-informed models and data-driven techniques to assess structural response under extreme loading conditions such as earthquakes, storms, and wave impacts. His research integrates finite element modeling with Kalman filtering methods for enhanced system identification and damage detection. The recent publications highlight a strong trend toward physics-informed and data-driven structural health assessment, particularly for offshore and wind energy infrastructure. Topics include joint input-state estimation, slamming loads on offshore jackets, and damage identification using Kalman filters. These works emphasize robust modeling under uncertainty and real-world applicability in extreme environments. Scientific Awards: No specific awards are mentioned in the provided text. Advising and Grants: Evangelos Katsanos is the main supervisor of PhD student Al-Hagri, A., and co-supervisor or collaborator on several research projects. He is Principal Investigator (PI) or co-PI on multiple funded research initiatives, including projects on physics-informed structural health assessment of offshore infrastructures, residual bearing capacity of damaged concrete beams, and quality assurance for construction 3D printers. These projects reflect his leadership in interdisciplinary and applied research with societal impact. Labs and Teams: He is part of the research environment at DTU Construct, specifically within the Structures and Safety group, which focuses on resilience, risk assessment, and advanced monitoring of civil and mechanical systems. His collaborations extend to national and international partners in offshore and wind energy engineering.
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.
Xavier Brusset is a Professor in Supply Chain at SKEMA Business School since 2016, where he also serves as Director of the PRISM Research Center since 2017. Previously, he held professorial positions at Toulouse Business School (2015-2016) and ESSCA School of Management (2009-2015), where he was responsible for the Master 2 in Purchasing and Supply Chain Management program. His academic journey includes a PhD in Management Sciences from Université Catholique de Louvain (2010) and a Habilitation à Diriger des Recherches from Université Paris Ouest Nanterre La Défense (2016). His research spans multiple critical areas in supply chain management, with particular focus on supply chain resilience, blockchain applications, weather risk management, and pandemic impacts on supply chains. Brusset has developed innovative approaches to understanding how supply chain partners interact, how information affects their behavior, and how external disruptions like weather anomalies and pandemics impact operational efficiency. His work bridges theoretical models with practical applications, often developing decision-support tools for managers facing complex supply chain challenges. Brusset's publication record shows a clear evolution of research interests, beginning with foundational work on supply chain contracts and information sharing, then expanding to weather risk management, and most recently focusing on pandemic disruptions and blockchain applications. His 15 most recent publications (2018-2025) demonstrate increasing sophistication in modeling complex supply chain phenomena, with particular emphasis on network effects, ripple effects, and multi-echelon optimization under disruption scenarios. Editorial board member of Logistics Research Editor of International Journal of Retail and Distribution Management (2022-2023) Recognized EU expert for CINEA research projects evaluation Organizer of the Colloquium on European Research in Retailing (CERR) Reviewer for multiple top journals including International Journal of Production Economics As an advisor, Brusset has supervised doctoral students including R. Alkhudary (co-director, Université Paris 2 Panthéon-Assas) and V. Capocasale (rapporteur). His professional experience extends beyond academia to include industry roles in financial markets and logistics technology, having co-founded WebLogistix, a platform for sharing logistics information in Argentina. His research has practical applications across multiple sectors, particularly in retail, food supply chains, and manufacturing, where he develops tools to help managers mitigate risks and optimize operations under uncertainty.
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.
