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.
Daniel W. Bliss is a Professor in the School of Electrical, Computer and Energy Engineering at Arizona State University and Director of ASU's Center for Wireless Information Systems and Computational Architectures (WISCA). With over $50 million in research funding as principal investigator from organizations including DARPA, ONR, Google, and Airbus, his work bridges theoretical foundations with practical implementations across multiple domains of wireless systems. Dr. Bliss received his educational foundation with a B.S.E.E. from Arizona State University (1989), followed by M.S. and Ph.D. degrees in Physics from the University of California-San Diego (1995, 1997). His academic journey includes significant industry experience at General Dynamics (1989-1993) and MIT Lincoln Laboratory (1997-2012) before joining ASU. His research program focuses on advanced wireless systems spanning radar, communications, precision positioning, computational architectures, and medical monitoring applications. Bliss employs information theory, estimation theory, and signal processing to develop novel system concepts with disruptive capabilities. Current research emphasizes RF convergence, integrated sensing and communications, and anticipatory medical analytics using wireless technologies, with particular focus on extracting physiological data from radar signals. Analysis of recent publications reveals a strong trend toward integrated sensing and communications systems, particularly utilizing mmWave and radar technologies for medical monitoring applications. His work increasingly bridges traditional communications and radar domains while expanding into physiological monitoring, demonstrating a clear trajectory toward convergence of wireless technologies for healthcare applications and remote vital sign detection. Dr. Bliss has received significant recognition for his contributions: Fellow of the IEEE (2015) 2021 IEEE Warren D. White Award for Excellence in Radar Engineering 2016-2017 Top 5% Teaching Award at ASU 2017 ASU Fulton Engineering Exemplar Faculty As a dedicated mentor, Dr. Bliss has supervised numerous graduate students through successful dissertation and thesis defenses across both PhD and Master's programs. His research portfolio includes substantial funding from diverse sources with over $50 million secured as principal investigator. Current projects include the $17M DARPA DASH project focused on advanced software-reconfigurable heterogeneous SoCs for next-generation RF systems, and multiple initiatives in contactless vital sign monitoring using radar technologies. Dr. Bliss leads the BLISS Lab and serves as director of WISCA, fostering interdisciplinary research in wireless systems. His team includes researchers working on distributed coherent systems, MIMO radar, RF convergence, and medical monitoring applications, with recent successes including the Making Waves team that tied for first place in the Air Force Spark Tank challenge. He has founded two startup companies: DASH Tech Integrated Circuits Company and the Big Little Sensor Company, focusing on high-performance embedded processing and small-scale radar physiological monitoring, respectively.
Jiatao Gu is an Assistant Professor in the Department of Computer and Information Science (CIS) at the University of Pennsylvania, with a part-time role as Staff Research Scientist at Apple (MLR). He holds a Ph.D. in Electrical and Electronic Engineering from the University of Hong Kong (2018) and a B.Eng. in Electronic Engineering from Tsinghua University (2014). His research focuses on generative machine learning and AI agent interaction with the physical world, emphasizing multi-modal systems spanning language, images, videos, and 3D. Key themes include efficient modeling , flexible architecture design , and scalable decision-making frameworks . 2025: ICLR paper on DART framework 2024: TMLR work on GFlowNet alignment 2023: NeurIPS research on diffusion stability 2022: ACL papers on speech translation Recent publications explore diffusion models for text-to-image synthesis, 3D reconstruction, and efficient sampling techniques. His work addresses fundamental challenges in attention mechanisms, entropy collapse, and multi-stage distillation while advancing non-autoregressive translation and vision-language reasoning . Prospective students can apply through his recruitment process at UPenn. Prior affiliations include Meta AI (FAIR Labs) and academic collaborations with institutions like New York University's CILVR Lab.
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.
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.
Zaid Harchaoui is an Adjunct Professor in the Department of Statistics at the University of Washington. His research focuses on machine learning, generative AI, and algorithmic optimization, with applications spanning ecology, neuroscience, and artificial intelligence. He explores learning under distributional shifts and develops tools for scalable generative models in language and vision domains. University: University of Washington Department: Statistics Research Focus: Learning from data with computational, inferential, and mathematical rigor; distributional shift adaptation; generative model scaling Email: zaid@uw.edu His recent work emphasizes generative AI applications in ecology and neuroscience, stochastic optimization for robustness, and algorithmic efficiency in large-scale learning. Key contributions include techniques for distributionally robust optimization, interpretable authorship obfuscation, and uncertainty quantification in behavior classification. Scientific awards and honors are not explicitly mentioned in the provided text. Collaborative efforts often intersect with nonlinear control algorithms, spectral analysis, and privacy-preserving machine learning frameworks.
Zhun Deng is a tenure-track Assistant Professor at the Department of Computer Science, University of North Carolina at Chapel Hill. His research bridges machine learning, statistics, and theoretical computer science, focusing on rigorous frameworks for responsible AI systems. He previously held postdoctoral positions at Columbia University and completed his Ph.D. at Harvard's Theory of Computation group under Cynthia Dwork. Ph.D. in Computer Science, Harvard University (2022) B.Sc. in Mathematics, Chu Kochen Honors College, Zhejiang University His research spans theoretical foundations of machine learning, including: Quantile-based risk control and conformal prediction Fairness guarantees in algorithmic decision-making Uncertainty quantification for LLMs Copyright frameworks for generative AI Physics-informed hybrid models Multi-agent reinforcement learning with constraints Recent work analyzes LLM alignment through distribution-free methods (ICML 2025), explores performativity challenges (ICML 2025), and develops calibration techniques (ICLR 2024). Collaborations include research interns from Stanford, MIT, and NYU. Students in his group include: Ruomeng Ding (Ph.D., UNC) Xiaowei Yin (Ph.D., UNC) Kaicheng Zhang (Ph.D., UNC)
Prof. Gabriela Hug is a Full Professor at ETH Zurich's Department of Information Technology and Electrical Engineering, serving as Deputy Head of the Department and Deputy Head of the Power Systems and High Voltage Lab. She leads the Energy Science Center (ESC) and holds adjunct roles at Carnegie Mellon University. Her research focuses on modeling, control, and optimization of electric power systems for sustainable energy transitions. Education: PhD in Information Technology and Electrical Engineering, ETH Zurich (2004–2008) MSc in Information Technology and Electrical Engineering, ETH Zurich (1999–2004) Research Interests: Her work addresses challenges in smart grid integration, renewable energy systems, and advanced control strategies. Key areas include vehicle-to-grid technologies, distribution network optimization, and energy storage system planning. She emphasizes data-driven approaches and collaborative frameworks for grid resilience and flexibility. Key Achievements: Recipient of the 2019 ALEA Award (ETH Zurich) NSF Career Award (2013) IEEE Outstanding Young Engineer Award (2013) Leadership & Roles: Co-Director, NCCR Automation (Swiss National Centre of Competence in Research) Board Chair, Energy Science Center (ESC) Adjunct Faculty, Carnegie Mellon University Labs & Teams: Power Systems Laboratory (ETH Zurich) Energy Science Center (multi-disciplinary research hub)
Amy Bruckman is a Regents’ Professor and Senior Associate Chair in the School of Interactive Computing at Georgia Institute of Technology. As a Fellow of The ACM and member of the SIGCHI Academy , she contributes to social computing research focusing on online collaboration, cross-cultural understanding, and content moderation. Her 2022 book "Should You Believe Wikipedia? Online Communities and the Construction of Knowledge" explores digital knowledge creation. Education: Ph.D. from MIT Media Lab (1997), B.A. in Physics from Harvard (1987) Research Affiliations: GVU Center, IRI People and Technology Her work addresses social computing challenges including: AI ethics in human-AI interaction Algorithmic bias in content moderation Epistemic justice in online communities Comparative platform analysis (Reddit, Discord, TikTok) Grassroots technology movements Recent publications examine: AI support tools for online counseling Community-driven research frameworks Racial bias mitigation in toxic language detection Designing teachable social media experiences Human trafficking intervention ethics Scientific recognition includes: ACM Fellowship SIGCHI Academy membership She has contributed to: Georgia Tech's Computing Education initiatives Research ethics frameworks for Human-Computer Interaction
John Lygeros is a Full Professor and Head of the Institute for Automatic Control at ETH Zurich's Department of Information Technology and Electrical Engineering. He received his B.Eng. (1990) and M.Sc. (1991) from Imperial College London, and Ph.D. (1996) from UC Berkeley. Before joining ETH Zurich in 2006, he held academic positions at the University of Cambridge and University of Patras. His research focuses on: Modeling and control of hierarchical hybrid systems Large-scale dynamical systems applied to biochemical networks Control of automated transportation systems via wireless networks Energy systems and advanced manufacturing control His research demonstrates strong emphasis on optimization methods, distributed control architectures, and machine learning applications in control systems, with significant contributions to real-time optimization algorithms and data-driven control methodologies. Major scientific awards include: HSCC Test of Time Award (2024) ERC Advanced Grant (2018) O. Hugo Schuck Best Paper Award (2018) IEEE George S. Axelby Paper Award (2016) Three Golden Owl teaching awards from ETH Zurich He leads the Automatic Control Laboratory at ETH Zurich and serves as Director of the National Centre of Competence in Research 'Dependable Ubiquitous Automation'. He has advised over 60 doctoral candidates since 2017, with research spanning optimization algorithms, power systems, autonomous systems, and machine learning applications.
Sujaya Maiyya is an Assistant Professor at the Cheriton School of Computer Science, University of Waterloo. Prior to this, she completed a postdoc at Cornell University and earned her PhD from the University of California, Santa Barbara. Her research focuses on distributed systems, databases, and privacy/security, particularly in designing secure and efficient data management systems. She leads projects on oblivious databases, trusted execution environments (TEEs), and scalable privacy-preserving systems. Education: PhD in Computer Science, University of California, Santa Barbara (2018) MSc in Computer Science, University of California, Santa Barbara (2017) BE in Information Science, PESIT Bangalore (2014) Research Interests: Distributed systems, database privacy, oblivious datastores, genomics data security, and secure computation using TEEs. Her work emphasizes practical solutions for privacy-preserving storage and query processing, including tunable-privacy mechanisms and fault-tolerant ORAM systems. Awards and Grants: CFI/ORF Infrastructure Grant (2024-2029) NCC Research Awards (2024-2028) NSERC Discovery Grant (2023-2027) MIT EECS Rising Stars (2021) Teaching: Courses include CS348 (Introduction to Databases) and CS848 (Privacy Enhancing Data Systems). She emphasizes foundational concepts and system internals in database design and secure systems. Professional Service: Chair of Ontario Database Day (2024), PC member for SIGMOD, EDBT, VLDB, and ICDE. Frequent reviewer for journals like TKDE and DKE.
Pierre Vandergheynst is a Full Professor at the Swiss Federal Institute of Technology Lausanne (EPFL) in the Department of Electrical Engineering, with a courtesy appointment in Computer and Communication Sciences. He serves as EPFL’s Vice-Provost for Education since 2015 and leads the Signal Processing Laboratory 2 (LTS2). His research spans harmonic analysis, sparse approximations, mathematical data processing, and applications in signal/image processing, computer vision, machine learning, and graph-based data analysis. PhD in Mathematical Physics (1998), Université catholique de Louvain Postdoctoral Researcher at EPFL (1998-2001) Assistant Professor at EPFL (2002-2007) His research explores geometry/symmetry in high-dimensional data, redundant dictionaries for dimensionality reduction, and computational harmonic analysis on manifolds. Recent work focuses on protein structure modeling, geometric deep learning, and graph-based signal processing. Key article trends include graph neural networks for protein analysis, geometric deep learning in neuroscience, and structured knowledge priors in neural models. His 2023-2025 publications emphasize interpretable AI, long-range dependencies in graphs, and molecular representation learning. Scientific Awards: IEEE Signal Processing Magazine Best Paper Award (2023) Signal Processing Society Best Paper Award (2022) Apple ARTS Award (2007) De Boelpaepe Prize, Royal Academy of Sciences of Belgium (2009-2010) He has supervised over 30 PhD theses and contributed to foundational work in graph signal processing, compressive sensing, and geometric deep learning. His lab develops tools for data science on non-Euclidean structures, with applications in medicine, astronomy, and wireless systems.
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.
Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.
