Dr. Hiren Patel is a Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. He holds a Doctorate in Computer Engineering from Virginia Tech and previously worked as a postdoctoral fellow at UC Berkeley under Edward A. Lee. His research focuses on real-time embedded systems, computer architecture, machine learning hardware, and cybersecurity. He teaches courses like ECE 150 (Programming), ECE 320/429 (Computer Architecture), and ECE 327 (Digital Systems). Research Interests: Cyber-physical systems and hybrid architectures Hardware/software co-design methodologies Predictable cache coherence protocols IoT and edge computing systems Security in embedded and real-time systems Recent work emphasizes cache coherence solutions for safety-critical systems and GPU acceleration strategies. His publications address challenges in multicore predictability, FPGA bandwidth optimization, and autonomous robotics orchestration. No specific awards are listed, though his extensive publication record indicates significant contributions to embedded systems research. He currently oversees graduate student applications focusing on his core research areas.
Yonatan Bisk is an Assistant Professor at Carnegie Mellon University (CMU) in the School of Computer Science , with dual appointments in the Language Technologies Institute and Robotics Institute . His research bridges Natural Language Processing (NLP) with robotics, focusing on grounded and embodied language understanding. Assistant Professor, Language Technologies Institute, CMU (2021–Present) Courtesy Appointment, Robotics Institute, CMU Research Themes : Language as a social codification of embodied experience Interpretable multimodal model training Human-robot collaboration frameworks Embodied question-answering systems Selected Trends : His recent publications show increasing focus on cross-modal attention mechanisms (Vid2Robot), error detection in toolchains (Tools Fail), and theory-of-mind reasoning in language agents (SOTOPIA). Multimodal integration spans vision, audio, and robotic control contexts (ANAVI). Labs & Collaborations : Founder of CLAW Lab (Connecting Language to Action and the World) Collaborations with Microsoft Research, Meta Inc, and CMU's REAL (Robotics, Embodied AI, Learning) community
Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.
Paul Lu is a Professor in the Department of Computing Science at the University of Alberta, Faculty of Science. His research focuses on high-performance computing, parallel and distributed systems, cloud computing, and bioinformatics. He holds a B.Sc. (1991), M.Sc. (1993) in Computing Science from the University of Alberta, and a Ph.D. in Computer Science from the University of Toronto (2000). His research explores software systems, including operating systems, virtual machines, and parallel programming. Recent work emphasizes high-performance data transfers and IaaS cloud computing. He teaches courses such as MINT 706: Internet Application and Programming, covering internet protocols and client-server programming. Publications highlight contributions to network optimization, machine learning-driven protocol selection, and distributed systems. His work bridges theoretical advancements with practical applications in cloud infrastructure and wide-area networks.
Dr. Binbin Xie is an Assistant Professor in the Department of Computer Science and Engineering at The University of Texas at Arlington (UTA). She holds a Ph.D. from the Manning College of Information and Computer Sciences at the University of Massachusetts Amherst, where she was a recipient of the prestigious Google PhD Fellowship in Mobile Computing. Her research focuses on wireless sensing, mobile health, cyber-physical systems, smart IoT, and wireless networking. Dr. Xie’s academic journey includes a tenure-track position at UTA since September 2024. She has received notable awards such as the Emerging Rockstar (IEEE Pervasive Computing, 2025), Rising STARs Award (UT System, 2024), and multiple scholarships including the Krithi Ramamritham Computer Science Scholarship (2023). Her work spans innovative applications in wireless sensing, leveraging LoRa, mmWave radar, and RFID technologies for real-world challenges like in-vehicle sensing and indoor localization. Her recent publications highlight advancements in LoRa sensing coexistence with communication, mmWave radar human sensing using secondary reflections, and combating interference in multi-target localization. She actively contributes to the academic community through service roles, including Technical Program Committee memberships for MobiSys 2025 and EWSN 2025, and as a reviewer for top-tier conferences like IMWUT/UbiComp and journals such as ACM Transactions on Sensor Networks. Dr. Xie’s teaching includes courses like CSE 4321 (Software Testing & Maintenance). Her research and educational efforts aim to bridge theoretical innovations with practical implementations in wireless and IoT systems.
Kristofer Pister is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He co-directs the Berkeley Sensor and Actuator Center (BSAC) and the Ubiquitous Swarm Lab. His career spans groundbreaking innovations in Micro/Nano Electro Mechanical Systems (MEMS), Control Systems, and Low-Power Circuits, with a focus on Smart Dust and synthetic insects. Education: Ph.D. and M.S. in EECS from UC Berkeley (1992, 1989); B.A. in Applied Physics from UC San Diego (1986). His research areas include MEMS , Control Systems , Robotics , and Integrated Circuits , with recent work on self-powered micro-sensors, crystal-free radios, and interplanetary swarm networks. Key awards include the ISA Albert F. Sperry Founder Award (2009) , Alexander Schwarzkopf Prize (2006) , and the NSF CAREER Award (1996) . He has authored numerous influential publications in wireless sensor networks and microrobotics. His lab, Ubiquitous Swarm Lab , explores distributed robotics and swarm intelligence. Pister emphasizes open collaboration in research, ethical conduct in academia, and efficient resource utilization for graduate students.
Peter Pietzuch is a Professor in the Department of Computing at Imperial College London, where he leads the Large-Scale Data & Systems (LSDS) group. He also serves as the Director of Research and is a Visiting Researcher at Microsoft Research Cambridge. Pietzuch holds a Ph.D. from the University of Cambridge and a B.A. from Girton College. His research spans distributed systems, cloud computing, big data processing, and systems security. Key interests include: Scalable architectures for cloud-native applications Efficient stream processing and machine learning systems Trusted execution environments and secure cloud infrastructure Optimization of serverless computing and distributed databases His recent publications focus on adaptive machine learning frameworks, secure cloud resource management, and high-performance stream processing systems. Trends show strong emphasis on hardware-software co-design, confidential computing, and fault-tolerant architectures. Awards include: Best Paper Award at Middleware'03 He actively advises PhD students and secures grants for projects like Faasm (serverless computing) and Teechain (blockchain security). His LSDS group collaborates with industry partners including Microsoft Research. Pietzuch teaches undergraduate and graduate courses including Scalable Systems for the Cloud and Operating Systems . He co-founded the ACM DEBS conference and serves on steering committees for EuroSys and Middleware.
Holger Fröning is a full professor at Heidelberg University’s Institute of Computer Engineering (ZITI), where he leads the Hardware and Artificial Intelligence (HAWAII) Lab. His research focuses on embedded machine learning , high-performance computing , and hardware-software co-design , with emphasis on resource efficiency, power optimization, and emerging architectures like analog , photonic , and resistive memory systems. He has held leadership roles including Managing Director of ZITI (2023–present) and Dean of Studies for Computer Science (2019–2022) , and has collaborated with institutions such as NVIDIA Research, Chinese Academy of Sciences, and Graz University of Technology. Research Trends : His recent publications explore Bayesian neural networks , green machine learning , analog computing noise mitigation , and GPU/FPGA optimization . Articles highlight photonic computing for AI , memory-efficient training , and hardware-aware DNN compression . Scientific Awards : 2025 HiPEAC Paper Award (Nature Computational Science) 2014 Google Faculty Research Award Multiple Best Paper Awards (IPDPS, ICPP, ECML-PKDD workshops) Leadership & Service : Organized workshops (WEML, ITEM, F4HD), chaired tracks at EuroPar and ISC, and served on program committees for ICPR, ECAI, and FPL. Education & Affiliations : PhD and MSc from University of Mannheim (2007/2001). Sponsors include DFG, FWF, FFG, NVIDIA, SAP, and XILINX.
Fred B. Schneider is the Samuel B. Eckert Professor of Computer Science at Cornell University , where he has been a faculty member since 1978. His career spans foundational work in trustworthy systems , fault-tolerant distributed systems , and system security . He served as department chair from 2014–2018 and previously earned a B.S. in Engineering from Cornell (1975) and a Ph.D. in Computer Science from Stony Brook University (1978).
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.
Wei Sun is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Central Florida, where he also serves as the Director of the Siemens Digital Grid Lab. His research focuses on power system restoration, self-healing smart grids, cyber-physical security, and renewable energy integration. Dr. Sun received his Ph.D. from Iowa State University in 2011, and his M.S. and B.S. from Tianjin University in 2007 and 2004, respectively. Prior to joining UCF, he was an Assistant Professor at South Dakota State University (2013-2015), a power system engineer at Alstom Grid (2011-2012), a visiting scholar at the University of Hong Kong (2011), and an intern at California Independent System Operator (2010). His research interests include: Power System Restoration and Self-healing Smart Grid Resilient and Secure Critical Infrastructure Cyber-Physical Systems Renewable Energy and Microgrid Distributed Energy Resources Integration Dr. Sun's recent publications demonstrate strong focus on cyber-physical security in power systems, distributed energy resource integration, and resilient grid operations. His work shows increasing emphasis on AI and machine learning applications for grid security and resilience, particularly in the context of high renewable penetration. His notable scientific awards include: Microsoft Software Engineering Innovation Foundation Award (2014) Best Paper Award, 2019 IEEE PES ISGT Asia Mentor of the Year, UCF Graduate Student Association (2019) Dr. Sun has successfully secured multiple research grants totaling millions of dollars from agencies including the US Department of Energy, National Science Foundation, Florida Center for Cybersecurity, and Microsoft. He currently serves as PI or Co-PI on several major projects including "Secure and Resilient Operations Using Open-Source Distributed Systems Platform (OpenDSP)" funded by the Department of Energy. He leads the Siemens Digital Grid Laboratory at UCF, which is equipped with utility-grade software and hardware including Spectrum Power Microgrid Management System, Power System Simulator for Engineering, and Siemens Distribution Feeder Automation. The lab provides capabilities for both software modeling and hardware-in-the-loop testing of power systems.
Christof Paar is a Professor of Embedded Security at Ruhr University Bochum's Faculty of Computer Science. His work focuses on hardware security, cryptography, and embedded systems security. He leads the Embedded Security Group within the CASE Cluster of Excellence (Cyber Security in the Age of Large-Scale Attacks), addressing cutting-edge challenges in hardware Trojans, side-channel attacks, and cryptographic engineering. His research spans FPGA and IoT security, with contributions to physical-layer security, wireless jamming defenses, and tamper-resistant systems. Research Interests: Paar's expertise lies in hardware-software co-design for security, with a focus on embedded systems. His work includes analyzing vulnerabilities in FPGAs, developing countermeasures against side-channel attacks, and exploring physical-layer security mechanisms. He also investigates the human factors in hardware reverse engineering and the implications of adversarial machine learning on security systems. Notable Work: Recent publications highlight breakthroughs in detecting hardware Trojans across CMOS generations, breaking industry-standard IP protection mechanisms (IEEE 1735), and proposing novel defenses like IRShield against adversarial wireless sensing. His group actively contributes to standards for secure embedded systems and IoT devices, emphasizing practical implementations.
Jundong Li is an Assistant Professor at the University of Virginia with primary appointment in the Department of Electrical and Computer Engineering and secondary appointments in Computer Science and the School of Data Science. He is affiliated with the School of Engineering and Applied Science and conducts research at the intersection of machine learning, data mining, and artificial intelligence. Education: Ph.D. in Computer Science, Arizona State University, 2019 M.Sc. in Computer Science, University of Alberta, 2014 B.Eng. in Software Engineering, Zhejiang University, 2012 His research focuses on graph machine learning , trustworthy and fair AI , and large language models . He investigates how to make deep learning models more interpretable, robust, and equitable, especially in graph-structured data and NLP applications. His work combines causal inference, feature selection, and model explanation techniques to build reliable AI systems. His recent publications (2024–2022) reveal a strong trend toward large language models , with topics including in-context learning, knowledge editing, and collaborative reasoning. Simultaneously, he continues pioneering research on fairness and interpretability in graph neural networks , addressing structural bias, adversarial attacks, and node attribution. His work is highly interdisciplinary, spanning computer science, data science, and social impact. Scientific Awards: SIGKDD Rising Star Award (2024) PAKDD Best Paper Award (2024) NSF CAREER Award (2022) SIGKDD Best Research Paper Award (2022) JP Morgan Faculty Research Award (2021, 2022) Cisco Faculty Research Award (2021) Stanford/Elsevier Top 2% Scientist (2024) Jundong Li actively advises graduate students, as seen in his co-authored papers with researchers like Song Wang, Yushun Dong, and Binchi Zhang. His research is generously funded by the National Science Foundation (NSF) through multiple programs including CAREER, III, SaTC, SAI, and S&CC, as well as by the Department of Energy (DOE) , Office of Naval Research (ONR) , Jefferson Lab , and industry partners including JP Morgan, Cisco, Netflix, and Snap . He leads a dynamic research group focused on advancing the frontiers of graph learning and trustworthy AI, with projects on causal inference, model unlearning, and explainable systems. His lab contributes to both theoretical foundations and real-world applications in public health, transportation, and network security.
Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.
Bryan H. Choi is an Associate Professor of Law at the University of Colorado Law School , where he bridges law and computer science to address software and AI safety. His work on software liability has influenced national cybersecurity strategy discussions. As an Adviser for the ALI Principles Project on Civil Liability for Artificial Intelligence , he shapes legal frameworks for emerging technologies. Education : JD and AB in Computer Science from Harvard University; clerkships with U.S. Court of Appeals judges Leonard I. Garth and William C. Bryson. Roles : Former joint appointment at Ohio State University Law School and Computer Science Department; Faculty Fellow at UPenn's CTIC; Director of Law and Media at Yale's ISP. Research Focus : Choi's scholarship examines software liability , AI accountability , and privacy law through interdisciplinary lenses. He critiques institutional approaches to software safety and advocates for empirical legal frameworks over participation-based models. Recent Articles address AI malpractice , NIST software standards , and forensic tool validation , reflecting trends in AI regulation and cyber-physical system liability . His 2021 NSF grant funded technical-legal methods for safety-critical systems. Awards & Grants : National Science Foundation (NSF) Grant (2021) Adviser, ALI Principles Project on Civil Liability for Artificial Intelligence Community Engagement : Active in Law and Computer Science communities , serving on committees for the ACM Symposium , Cybersecurity Law and Policy Scholars Conference , and co-organizing the AAAI Bridge Program on AI and Law .
