Val Tannen is a Professor at the University of Pennsylvania, specializing in database systems, provenance analysis, and programming languages. His research focuses on data management, query languages, and systems like DBSP and ORCHESTRA. Collaborations include work with co-authors such as Zachary Ives, Susan Davidson, and Todd Green. Key research interests include provenance for databases, incremental view maintenance, and data integration. His work bridges theoretical foundations and practical applications in systems like DBSP for stream processing and ORCHESTRA for collaborative data sharing. Publications span provenance frameworks, query optimization, and distributed systems. While no awards are explicitly listed, his contributions to database theory and systems are widely recognized.
Benjamin Lucien Kaminski is a Professor at Saarland University and a Lecturer at University College London . He specializes in quantitative aspects of formal program verification , with a focus on probabilistic and quantum programs , incorrectness logic , and non-classical computation models . His research includes semantics , probabilistic program verification , expected runtimes , and explainable verification . He leads the Examination Board for B.Sc. Computer Science (English) and actively mentors PhD, Master’s, and Bachelor’s students in logic and verification. 2025 : A Taxonomy of Hoare-Like Logics (POPL), Partial Incorrectness Logic (TPSA) 2024 : Quantitative Weakest Hyper Pre (OOPSLA), Caesar: A Verifier for Probabilistic Programs (Dafny), Hoare-Like Triples (Incorrectness-track) 2023 : A Deductive Verification Infrastructure (OOPSLA), Lower Bounds (OOPSLA), A Calculus for Amortized Expected Runtimes (POPL) He has received notable awards including the Ackermann Award (2020), Best Paper at LOPSTR 2020 , and EATCS Best Paper Award at ETAPS 2016 . He has also served on program committees for leading conferences like CAV , POPL , and LICS , and reviewed for prestigious journals such as Journal of the ACM and TOCL .
Sriraam Natarajan is a Professor and Director of the Center for Machine Learning at the Erik Jonsson School of Engineering & Computer Science, University of Texas at Dallas. He previously served as an Associate Professor at Indiana University (on leave since 2017) and Wake Forest School of Medicine. His research focuses on artificial intelligence, machine learning, and their biomedical applications, particularly in relational learning, reinforcement learning, and graphical models. He leads the StaRLing Lab and holds fellowships from hessian.AI and RBCDSAI. Education: PhD in Computer Science from Oregon State University (2007), advised by Prasad Tadepalli. Postdoctoral research at University of Wisconsin-Madison under Jude Shavlik and David Page. Research interests span statistical relational AI, causal inference, and healthcare applications. Notable awards include AAAI Fellow (2025), UTD Outstanding Graduate Teaching Award, and roles as AAAI Program Co-Chair and CODS-COMAD 2024 co-chair. Students supervised include over 20 PhD/MS graduates and current advisees in AI and machine learning. Active in editorial roles for JAIR, Machine Learning Journal, and conference PCs (ICML, AAAI, NIPS).
Dr. Richard Molyet is a Senior Lecturer and Undergraduate Director in the Department of Electrical Engineering and Computer Science at the University of Toledo's College of Engineering. After retiring as Associate Professor in 2002, he returned to academia in 2005 as Visiting Professor and transitioned to Associate Lecturer in 2008. Education: Ph.D. in Engineering Science (1981) from University of Toledo His research spans Automatic Control , Robotics , Smart-Grid Systems , and Biomedical Applications . Recent publications focus on deep learning for medical diagnostics and hybrid power network optimization , while earlier work explored repetitive control algorithms and microprocessor-based motion analysis . Scientific Recognition: IEEE Third Millennium Medal (2000) IEEE-USA Professional Achievement Award (2002) University of Toledo Outstanding Teacher Award (2016) Currently advising 3 PhD students and multiple Master’s candidates, Dr. Molyet has served on numerous academic committees since the 1980s. He maintains an active role in IEEE Toledo Section's executive board for 39 years .
Mostafa Milani is an Assistant Professor in the Department of Computer Science at Western University. His research focuses on data management, databases, and their applications in data cleaning, privacy, provenance, and fairness. Before joining Western, he held postdoctoral positions at the University of British Columbia and McMaster University, and earned his Ph.D. from Carleton University under Dr. Leopoldo Bertossi. Education: Ph.D. in Computer Science from Carleton University (supervised by Leopoldo Bertossi), Postdoctoral Fellowships at University of British Columbia and McMaster University. Research Interests: Data Quality, Privacy, Provenance, Fairness, Entity Matching, Query Optimization, and Database Systems. His work emphasizes ethical data practices and integrates machine learning for improved database interactions. He has contributed to projects like Building Trust in Data (privacy/fairness integration) and Unified Data Exploration (provenance and query recommendations). Courses taught include Databases I/II, Applied Logic, and Web Systems. Current advisees include 7 MSc and 1 PhD student. Former students have graduated across MSc and undergraduate programs. His research is supported by grants and collaborations, and he actively participates in program committees for top conferences like SIGMOD and VLDB.
Daniel McKenzie is an Assistant Professor in the Department of Applied Mathematics and Statistics at the Colorado School of Mines. His research focuses on derivative-free optimization, implicit neural networks, and geometric methods in data science. He holds a B.Sc.(hons) and M.Sc. in Mathematics from the University of Cape Town (2010, 2014) and a PhD in Mathematics from the University of Georgia (2019). B.Sc.(hons): Mathematics and Applied Mathematics, University of Cape Town, 2010 M.Sc.: Mathematics, University of Cape Town, 2014 PhD: Mathematics, University of Georgia, 2019 His research explores the intersection of optimization theory and machine learning, with applications in spatial data modeling, geometric data analysis, and high-dimensional clustering. Recent work emphasizes curvature-aware algorithms, comparison-based optimization, and implicit network architectures like LatticeVision. His methods address challenges in non-stationary spatial data and convex game equilibria prediction. Key contributions include Fermat distance metrics for clustering, Jacobian-Free Backpropagation (JFB) for implicit networks, and zeroth-order algorithms for black-box optimization. While no scientific awards are listed, his publications reflect a strong focus on advancing optimization techniques for modern data science problems. No specific grants or advising roles are detailed in the provided text. His work bridges computational mathematics and applied AI, with potential applications in robotics, spatial statistics, and algorithmic game theory.
Umang Mathur is an Assistant Professor at the National University of Singapore's School of Computing, where he leads the FOCS Lab and is affiliated with PLSE@NUS. His research focuses on Formal Methods , Concurrency , and Decidability in Programming Languages and Software Engineering . PhD in Computer Science from the University of Illinois at Urbana-Champaign (advisor: Prof. Mahesh Viswanathan) Former Research Scientist at Facebook Inc. and Research Fellow at the Simons Institute Recipient of Google PhD Fellowship, 2024 CPP Distinguished Paper Award, 2023 ACM SIGPLAN Award, and ASPLOS 2022 Best Paper Award His recent work explores algorithmic techniques for detecting concurrency bugs , decidable program verification , and synthesis , with a focus on weak memory models, predictive monitoring, and automata-theoretic approaches. Articles span topics like causal concurrency, tree clock data structures, and probabilistic counting algorithms, reflecting interdisciplinary intersections of logic and systems research. Scientific Awards Google PhD Fellowship 2024 CPP Distinguished Paper 2023 ACM SIGPLAN Distinguished Paper 2022 ASPLOS Best Paper 2018 ESEC/FSE Distinguished Paper He advises PhD students in Formal Methods and supervises teams in the FOCS Lab. Teaching includes advanced modules on Automata Theory, Logic, and Verification at NUS.
Aws Albarghouthi is affiliated with the University of Wisconsin-Madison, USA. He is an active researcher with significant contributions to program synthesis, formal verification, and machine learning. Key roles: Author, Session Chair, Committee Member in conferences like PLDI, POPL, VMCAI, SPLASH, and ICFP. Research spans quantum computing, differential privacy, and static analysis. Research Trends include: Quantum Circuit Compilation and Optimization Probabilistic Verification of Fairness and Privacy Synthesis of Datalog and MapReduce Programs Neural-Augmented Static Analysis Bias Detection in Data Security Robustness in Machine Learning
Deepak Garg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Germany. His work primarily focuses on secure compilation , type theory , and formal verification of software systems. Conference Roles: He has served as an author and committee member in premier programming language conferences such as POPL , PLDI , ICFP , and ESOP since 2015. Research Interests include: Secure compilation techniques for hyperproperty preservation. Modal and refined type theories for cost analysis and concurrency. Formal verification of C code and probabilistic programs. Compiler correctness and decentralized multi-language verification. Contributions span foundational research in programming languages, with a focus on security, complexity, and concurrency. His work has been published in tracks like PriSC , OOPSLA , and ESOP , addressing topics such as data-flow back-translation and robust property preservation.
Adrian Francalanza is a Professor in the Department of Computer Science at the Faculty of Information and Communication Technology, University of Malta. His research is centered on formal methods, runtime verification, and concurrency, with a focus on monitorability and distributed systems. His research interests include: Runtime Verification and Monitor Synthesis Session Types and Protocol Safety Concurrency and Actor-Based Systems Branching and Linear-Time Temporal Logics Probabilistic and Decentralized Monitoring Formal Tools for Cyber-Physical and Distributed Systems The recent publications highlight a strong trend in theoretical and practical advances in monitorability, especially for branching-time and probabilistic systems. His work bridges theory with implementation, often resulting in tools like STMonitor and DetectEr. There is a clear emphasis on session types, runtime enforcement, and the verification of communication protocols in real-world systems such as REST APIs and SMTP. Scientific awards include: Distinguished Paper Award at ECOOP 2025 Best Paper Award at DisCoTec 2022 He has been actively involved in advising and organizing major academic events. He served as Program Chair for GandALF 2024 and 2025, FORTE 2024, and VORTEX workshops. He led a three-year project funded by Rannis on Theoretical Foundations for Monitorability in collaboration with Reykjavik University. He has received grants and recognition for developing practical tools such as DetectEr and STMonitor, which support runtime monitoring of Erlang and session-typed systems. He is associated with several research teams and labs, including: Runtime Verification and Monitorability Research Group at University of Malta Collaborators on the DetectEr project Developers of STMonitor and polyLarva tools International collaborators at Reykjavik University and beyond
Jürgen Giesl is a Professor at the Teaching and Research Area Computer Science 2 within the Department of Computer Science at RWTH Aachen University , Germany. He leads research in programming languages, formal verification, automated deduction, and term rewriting systems. Research Interests: Automated Termination and Complexity Analysis of Programs Dependency Pairs and Term Rewriting Systems Verification of Probabilistic and Integer Programs Static Analysis and Symbolic Execution Model Checking and Constrained Horn Clauses Development of Automated Tools (AProVE, LoAT) His recent research, reflected in the latest publications, focuses on termination and complexity analysis for probabilistic programs, polynomial loops, and integer programs, using advanced techniques such as dependency pairs, loop acceleration, and semiring semantics. He also contributes to SMT solving and transitive relation learning for infinite-state model checking. Scientific Awards: Best Tool Paper Award at iFM 2017 Silver Medal (Second Best Paper) at SEFM '16 Best Paper Honourable Mention at IJCAR 2024 Best Student Paper Honourable Mention at IJCAR 2024 Advising and Grants: Giesl has supervised numerous PhD and Master’s students, including prominent researchers such as Fabian Frohn, Jens Hensel, Nils Lommen, and Marcel Hark. He leads a large research group focused on automated verification and has contributed extensively to international verification competitions. His work is supported by ongoing research grants and collaborations with leading institutions in formal methods. Labs and Teams: He leads the Programming Languages and Verification research group at RWTH Aachen, which develops and maintains the AProVE and LoAT tools. These tools are central to automated termination and complexity analysis and are regularly submitted to international competitions such as TERMCOMP and VBS.
Wolfgang Stammer is a PostDoc researcher in the Machine Learning Group at TU Darmstadt's Computer Science Department. His work focuses on making AI models more interpretable and interactive, particularly in explainable AI (XAI), neuro-symbolic architectures, and systematic compositionality challenges in neural networks. He completed his Ph.D. in Machine Learning at TU Darmstadt (2019–2025), an M.Sc. in Computer Science at Goethe University Frankfurt (2016–2018), and a B.Sc. in Cognitive Science at the University of Osnabrück (2011–2015). Research Interests : Stammer's research bridges gaps between human understanding and AI capabilities. Key areas include: Explainable AI (XAI) and interactive machine learning (XIL) Neuro-symbolic integration for logical reasoning and visual concepts Mitigating shortcut learning and confounding factors in datasets Concept discovery and program synthesis for interpretable models Publications : His work spans foundational contributions to AI benchmarks (e.g., V-LoL, SLR-Bench) and frameworks (Neural Concept Binder, Revision Transformers). Recent studies highlight AI's limitations in systematic generalization and propose solutions for aligning reinforcement learning agents with human values. Grants & Labs : He contributes to the Machine Learning Lab at TU Darmstadt and co-organized workshops like the Interactive Machine Learning Workshop @ AAAI 2022. His research bridges theoretical advances with practical applications in healthcare and ethical AI systems.
Assoc. Prof. Dr. Umut Asan is an active faculty member in the Department of Industrial Engineering at Istanbul Technical University (ITU), Faculty of Management. He holds the academic rank of Associate Professor and has been affiliated with ITU since 1999, progressing from Research Assistant to his current role. He earned his PhD from Technische Universität Berlin and holds a Master’s and Bachelor’s from ITU in Engineering Management and Industrial Engineering, respectively. PhD: Technische Universität Berlin (2003–2009) MSc: Istanbul Technical University, Engineering Management (1999–2001) BSc: Istanbul Technical University, Industrial Engineering (1995–1999) Dr. Asan's research lies at the intersection of decision science and industrial systems, with a strong emphasis on Multi-Criteria Decision Making (MCDM) , Fuzzy Cognitive Mapping , Scenario Planning , and Digital Twins . His work applies advanced modeling techniques such as Bayesian networks and fuzzy logic to solve complex problems in supply chain resilience, urban mobility, technology adoption, and organizational behavior. His recent publications (2023–2025) reveal a consistent trend toward integrating artificial intelligence and data-driven methods into decision support systems. Topics include electric vehicle adoption in urban logistics, digital twin frameworks for manufacturing, risk analysis in forestry and rail systems, and consumer behavior in digital platforms. These works demonstrate interdisciplinary applications across engineering, business, and social sciences, often using fuzzy and probabilistic models to handle uncertainty. Dr. Asan is actively involved in research leadership, having served as Vice Dean (2018–2023) and currently supervising numerous graduate theses. He is the principal investigator of funded projects, including BAP grants on qualitative cross-impact analysis and consumer cognitive models. Principal Investigator, "A New Approach to Qualitative Cross-Impact Analysis" (BAP Project, 2016–2020) Principal Investigator, "A New Approach to Consumer Causal Chain Models" (BAP Project, 2022–2024) He is a member of several international academic societies, including the International Society on MCDM, ENBIS, and EURO, reflecting his active engagement in the global operations research community. His research has been published in journals such as IEEE Access, European Journal of Forest Engineering, and Decision Science Letters, with a growing citation impact (Scopus h-index: 13). Dr. Asan advises a large cohort of graduate students, both at the Master’s and PhD levels, in areas ranging from risk modeling to digital transformation. His lab or research group focuses on decision support systems and cognitive modeling, supervising theses on FMEA, Bayesian networks, and digital twins. Future work appears to be directed toward enhancing predictive capabilities in industrial and societal systems through hybrid AI models.
Stefano Ferilli is a Professor of Computer Science at the University of Bari, Italy, where he leads the ARA (Apprendimento e Ragionamento Automatico) research lab within the Department of Computer Science. His academic roles include former Director of the Interdepartmental Center for Logic and Applications (CILA) and current head of the Artificial Intelligence & Intelligent Systems node in the CINI national laboratory. He holds a PhD in Computer Science and has been a key figure in advancing machine learning, logic programming, and digital library technologies. Education: Laurea (MSc equivalent) in Information Sciences (1996), Specialist Laurea in Computer Science (2003), and PhD in Computer Science (2001). His research focuses on foundational aspects of machine learning, multi-strategy reasoning, process mining, and applications in cultural heritage, bioinformatics, and smart environments. Research Contributions: Developed frameworks like INTHELEX (incremental theory learner), WoMan (process mining), and DoMInUS (document management). Over 370 publications, including a Springer monograph and multiple award-winning papers. Active in organizing conferences like ECML-PKDD, ICDM, and IRCDL, and serves on editorial boards of journals like Information Sciences . Projects: Led or participated in over 30 national and European projects, including EU-funded initiatives on digital libraries (COLLATE, DELOS) and AI applications. Collaborates with industries like Samsung and institutions like the Italian Police for traffic analysis and cultural heritage preservation. Awards: Recognized for outstanding peer review (MDPI, ECMLPKDD), best paper awards, and contributions to AI education and cultural heritage. Member of prestigious associations like AI*IA (Italian AI Society) and AICA (Italian Computing Society).
Dr. Ayan Mukhopadhyay serves as a Senior Research Scientist in the Department of Electrical Engineering and Computer Science at Vanderbilt University's School of Engineering. Previously, he was a Post-Doctoral Research Fellow at Stanford Intelligent Systems Lab where he received the 2019 CARS post-doctoral fellowship. His academic journey includes a Ph.D. from Vanderbilt University's Computational Economics Research Lab with a doctoral thesis nominated for the Victor Lesser Distinguished Dissertation Award 2020. His research spans critical domains in smart infrastructure systems with particular focus on: Developing robust decision-making frameworks for cyber-physical systems under uncertainty Creating multi-agent solutions for emergency response optimization Designing machine learning approaches for urban mobility and energy management Building proactive incident detection pipelines using heterogeneous data sources Analysis of his recent publications reveals strong thematic continuity in applying artificial intelligence to real-world infrastructure challenges, particularly in transportation systems, emergency response, and energy management. His work consistently bridges theoretical AI advances with practical implementation in smart city contexts, demonstrating expertise in both algorithmic innovation and systems integration. Award highlights include: CARS Post-Doctoral Fellowship (2019) Best Paper Award at ICLR's AI for Social Good Workshop Victor Lesser Distinguished Dissertation Award Nomination (2020) Dr. Mukhopadhyay leads significant research initiatives through ScopeLab, focusing on creating deployable solutions for public transit, emergency response, and energy systems. His work on vehicle-to-building charging, traffic incident localization, and equitable transit network design demonstrates commitment to solving high-impact urban challenges through rigorous computational methods. Current projects involve developing simulation environments for non-stationary environments (NS-Gym) and explainable planning frameworks integrating formal logic with large language models.
