Moritz Wiese is a Researcher at the Chair of Theoretical Information Technology within the Department of Electrical and Computer Engineering at Technische Universität München (TUM) . His work focuses on information-theoretic security, quantum communication, and wireless networks, with significant contributions to interference modeling and secure coding schemes. Research Interests : Information-Theoretic Security, Quantum Wiretap Channels, MIMO Systems, 5G/6G Technologies, Physical Layer Security, and Network Coding. Key Grants : Involved in DFG-funded projects (Gottfried Wilhelm Leibniz Prize, UKoloS) and BMBF initiatives (6G-life, QuaDiQua). Collaborations : Worked with Prof. Holger Boche, Christian Deppe, and Rami Ezzine on secure communication and randomness generation. Labs : Active in the ACES Lab and 6G-life research hub, focusing on joint communication/sensing and neuromorphic computing. Publications : Over 20 papers on secure estimation, wiretap channels, and quantum secrecy, including top-tier journals like IEEE Transactions on Information Theory and Journal of Mathematical Physics .
David Schuster is an Associate Professor of Physics at the University of Chicago. His primary research focuses on experimental condensed matter physics, with a particular emphasis on circuit quantum electrodynamics (cQED), superconducting qubits, and quantum information science. He leads the Schuster Lab, which explores quantum systems, hybrid quantum technologies, and topological materials. Education: Ph.D. in Physics from Yale University (2007), advised by Robert Schoelkopf. His doctoral work pioneered advancements in circuit QED, demonstrating strong coupling between superconducting qubits and microwave resonators. Research Interests: The lab investigates superconducting quantum circuits, topological photonics, quantum sensors for dark matter, and scalable quantum computing architectures. Projects include developing fluxonium qubits, autonomous error correction, and hybrid systems involving trapped electrons on helium. Key Contributions: Published in Nature , Science , and Physical Review Letters on topics like topological circuits, photon blockade, and dark matter detection using superconducting cavities. Collaborates with groups at Stanford, Purdue, and other institutions on quantum technologies. Students and Collaborators: Advises numerous graduate and undergraduate students, including prominent alumni who have transitioned to postdocs and industry roles. Lab members present at major conferences like the APS March Meeting. Labs: Schuster Lab at the University of Chicago, with access to state-of-the-art facilities like the Pritzker NanoFabrication Facility. Collaborates with the Awschalom, Cleland, and Houck groups on hybrid quantum systems and materials science.
Joachim Rosenthal is a Professor of Applied Mathematics at the University of Zurich's Department of Mathematics, leading the Applied Algebra Group. His research integrates coding theory, cryptography, and algebraic geometry with applications in communications and security systems. His primary research explores algebraic coding theory including convolutional codes, subspace codes, and post-quantum cryptography. He develops algorithms for error correction, code optimization, and cryptographic protocol analysis, with emphasis on mathematical structures in finite fields and rings. Professor Rosenthal serves as President of the Swiss Mathematical Society (2024-2025) and sits on IEEE Information Theory Society's Board of Governors. He has organized multiple international conferences on coding theory and cryptography, including the Zurich COST Meeting and Workshop on Convolutional Codes. His editorial contributions include roles at Archiv der Mathematik and SIAM Journal on Applied Algebra and Geometry. Recent publications focus on code construction methods, complexity analysis in group-based cryptography, and algebraic approaches to error-correcting codes.
Dongwoo Kim is a researcher affiliated with Hanyang University, ERICA Campus (Department of Electronics and Communication Engineering) and has previously collaborated with institutions like POSTECH , Chungnam National University , and Microsoft . His work spans interdisciplinary domains in Computer Science and Engineering . Hanyang University, ERICA Campus - Department of Electronics and Communication Engineering POSTECH - Power Analog Electronics & Semiconductor Devices Lab Microsoft Chungnam National University Kim's research focuses on formal verification of automotive control software, deep learning applications in environmental monitoring, 3D modeling for indoor positioning, and machine learning for signal processing. His recent publications highlight advancements in graph neural networks (GNNs), including analyzing oversmoothing and gradient dynamics, as well as developing geometric vision-language models with domain-agnostic encoders. His 15 most recent articles (2023-2025) address topics like: Optimizing hybrid electric vehicle engine performance 3D modeling for indoor localization GNN training stability UAV-based environmental monitoring Algorithm difficulty prediction for programming problems Millimeter-wave antenna design Kim collaborates with researchers in software engineering , signal processing , and environmental science domains. His work intersects formal methods , applied machine learning , and embedded systems research.
Vera Liao is a Principal Researcher at Microsoft Research, where she is part of the FATE (Fairness, Accountability, Transparency, and Ethics of AI) group. She will join the University of Michigan Computer Science and Engineering department as an Associate Professor in fall 2025. Her work focuses on human-AI interaction, explainable AI, and responsible computing. Liao has made significant contributions to IBM products such as AI Explainability 360 and Uncertainty Quantification 360 during her time at IBM T.J. Watson Research Center. Dr. Liao received her education from the University of Illinois at Urbana-Champaign and Tsinghua University. Her academic journey has positioned her at the intersection of human-computer interaction and artificial intelligence, with a strong emphasis on creating AI systems that are transparent, accountable, and user-centered. Vera Liao's research primarily centers around human-centered AI explainability and transparency. She investigates how to design AI systems that effectively communicate their capabilities, limitations, and decision-making processes to users. Her work examines the intersection of AI transparency with trust, control, and user experience. Liao has pioneered approaches to bridging the socio-technical gap in AI evaluation and has developed frameworks for contextualized evaluation of explainable AI systems. Her research spans multiple domains including conversational interfaces, data storytelling, and creative work with generative AI. Liao's publications reveal a clear trend toward addressing the challenges of large language models and their impact on human-AI interaction. Her recent work focuses on understanding how uncertainty communication affects user trust, how to design for appropriate reliance on AI systems, and how to create authentic co-creation experiences with generative models. She has been examining the risks in AI-infused information ecosystems and developing methods for human-centered evaluation of language technologies. Her scientific contributions have been recognized with multiple honors: Best Paper Award, Honorable Mention at CHI 2025 (two papers) Best Paper Award at CHI 2024 Best Paper Award, Honorable Mention at FAccT 2023 Best Paper Award, Honorable Mention at HCOMP 2022 Best Paper Award, Honorable Mention at CHI 2021 Best Paper Award, Honorable Mention at CHI 2014 Outstanding Paper Award at IUI 2019 Dr. Liao is an active mentor, having guided numerous research interns from top universities including Cornell, Princeton, CMU, Stanford, and MIT. She serves in editorial roles as Co-Editor-in-Chief of the Springer Human-Computer Interaction Book Series and as an Editor for ACM CSCW. Liao has secured research funding through her work at Microsoft Research and previously at IBM, focusing on projects related to AI explainability, transparency, and responsible AI development. As part of Microsoft Research's FATE group, Liao collaborates with a multidisciplinary team of researchers focused on the ethical implications of AI technologies. Her work bridges the gap between technical AI development and human-centered design principles, ensuring that AI systems are developed with user needs and societal impacts in mind.
Daniel M. Wolpert is a Professor of Neuroscience at Columbia University and Principal Investigator at the Zuckerman Institute. His research focuses on computational models of movement, integrating sensory cues and cognitive elements to understand motor control, memory, and rehabilitation strategies for cerebellar disorders. Key Research Areas: Sensorimotor integration, probabilistic inference, reinforcement learning, predictive modeling of movement, and aging effects on motor learning. Selected Awards: Royal Society Fellow (2012), Minerva Golden Brain Award (2010), Fulbright Scholarship (1992-1995). Recent publications highlight his work on contextual learning, motor memory formation, and the computational basis of sensorimotor uncertainty. His lab develops robotic interfaces to study human motor behavior and collaborates on clinical applications for movement disorders. Current opportunities include postdoctoral fellowships in sensorimotor control and decision-making.
Alexander Summers is an Associate Professor at the Department of Computer Science , University of British Columbia . He joined UBC in March 2020 after serving as a Senior Researcher (Oberassistent) at ETH Zurich from 2014-2020. His research bridges Programming Languages , Formal Methods , and Software Engineering , with a focus on automated verification tools for heap-based and concurrent programs. MSc Joint Mathematics and Computer Science, Imperial College London (2004) PhD Computer Science, Imperial College London (2009) Postdoc, ETH Zurich (2009-2014) Summers leads the Prusti Project , developing deductive verification tools for Rust, and contributes to the Viper Project for intermediate verification languages. His work addresses challenges in: Memory safety and concurrency verification Ownership models and aliasing control Automated reasoning with SMT solvers Resource-oriented programming specifications Debugging verification condition quantifiers Formal validation of verification infrastructure His research has been recognized with a Amazon Research Award and ACM SIGPLAN Distinguished Paper Awards . He teaches courses like Advanced Software Engineering and Program Verifiers and Program Verification , and supervises graduate students in formal verification and Rust-related research.
Zhibo Pang is an Adjunct Professor at KTH Royal Institute of Technology's Department of Intelligent Systems (EECS) and Senior Principal Scientist at ABB Corporate Research Sweden. His work focuses on digital transformation in industry and healthcare, spanning robotics, AI, control systems, and wireless communication. He leads projects in embodied intelligence, Industry 4.0, and Healthcare 4.0, with 23 granted patents and over 120 journal papers. Education: PhD in Electronic and Computer Systems (KTH, 2013), MBA in Innovation & Growth (University of Turku, 2012). Key Roles: IEEE Technical Committee Chair, Editor of 6 IEEE journals, ABB Inventor of the Year (2016, 2018, 2021). Research Interests: Robotics safety, wireless automation, federated learning, digital twins, and IoT security. Recent Projects: Cloud-fog automation frameworks, robot skin systems for healthcare, and latency-aware industrial control. His work bridges academia and industry through cross-functional collaborations.
Edward Awh is a Professor at the University of Chicago in the Department of Psychology, specializing in cognitive neuroscience, working memory, and attentional mechanisms. His research explores the neural basis of memory storage, spatial attention, and the interplay between cognitive systems using EEG and neuroimaging techniques. University of Chicago, Department of Psychology NIH R01 grants on working memory and ADHD Research Interests: Awh investigates discrete resource limits in working memory, the role of alpha oscillations in attention, and neural mechanisms underlying memory encoding and retrieval. His work addresses how the brain manages distractor suppression, spatial representations, and the relationship between attention and memory capacity. Scientific Trends: Recent publications focus on content-independent memory encoding, EEG decoding of attentional processes, and the intersection of sustained attention with memory performance. His studies frequently employ human behavioral experiments, EEG analysis, and computational modeling. Grants: Principal Investigator on multiple NIH R01 grants, including projects on working memory states (R01MH087214), perceptual interference in ADHD (R01MH077105), and attentional control mechanisms.
Mathias Payer is an Associate Professor at EPFL's School of Computer and Communication Sciences (IC), leading the HexHive Laboratory . His work focuses on software security, particularly addressing memory corruption and type violations through binary analysis and compiler-based techniques. He contributes to research in secure system design, fault isolation, and fuzzing methodologies. Current PhD students : Di Bartolomeo Luca, Feng Zhiyao, Hofhammer Florian, Lyu Tao, Mao Philipp Yuxiang, Zhang Chibin, Zheng Han Past EPFL PhD students: Badoux Nicolas Daniel, Bhattacharyya Atri, Hazimeh Ahmad His research explores software security in areas like: Protecting applications from vulnerabilities Binary exploitation and mitigation Compiler-driven security hardening Strong sanitization and privilege separation Memory corruption detection The HexHive group develops tools and frameworks for: Automated fuzz driver generation Gradual compartmentalization State inference for feedback optimization Secure cell architectures Recent publications highlight advancements in: Fuzzing hybrid approaches (e.g., DUMPLING, MendelFuzz) Memory safety validation (QMSan, Pacmem) Compiler-assisted defenses (Gradient, Type++)
Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.
Crystal Noel is an Assistant Professor at Duke University in the Pratt School of Engineering and Trinity College of Arts & Sciences , with appointments in both the Department of Electrical and Computer Engineering and Physics since 2022. She is also a Member of the Duke Quantum Center since 2024. Ph.D. in Electrical and Computer Engineering from University of California, Berkeley (2019) B.S. in Massachusetts Institute of Technology (2013) Her research focuses on quantum computing and simulation with trapped ions , integrated photonics for scalable trapped ion systems , and electric-field noise from surfaces . Recent work includes developing non-invasive mid-circuit measurement techniques, sympathetic cooling for ion chains, and cross-platform quantum state comparison. She has secured significant grants from National Science Foundation , Rochester Institute of Technology , and Defense Advanced Research Projects Agency for quantum co-design and networking projects. Her lab ( Noel Lab ) explores scalable quantum computing architectures and surface noise mitigation. She teaches courses ranging from foundational Fields and Waves: Fundamentals of Information Propagation to advanced topics in Quantum Engineering with Atoms and Advanced Topics in Electrical and Computer Engineering .
Babak Hassibi is a Professor of Electrical Engineering and Computing and Mathematical Sciences at the California Institute of Technology (Caltech). He obtained his B.S. from the University of Tehran (1989), M.S. and Ph.D. from Stanford University (1993, 1996), and has held positions at Caltech since 2001, including roles as Assistant Professor, Associate Professor, Professor, and Executive Officer. Education : University of Tehran, B.S. (1989) Stanford University, M.S. and Ph.D. (1993, 1996) Academic Roles : Assistant Professor, Caltech (2001–03) Associate Professor (2003–08) Professor (2008–13) Binder/Amgen Professor (2013–16) Bohn Professor (2016–) Executive Officer for Electrical Engineering (2008–15) Associate Director for Information Science and Technology (2010–12) Research Interests : Babak Hassibi’s work spans Communications , Signal Processing , Control Theory , and Machine Learning . He has contributed to wireless networks, genomic signal processing, multi-antenna systems, robust control, and high-dimensional statistics. His mathematical interests include Random Matrices and Group Representation Theory . Recent Publications highlight his focus on Adaptive Control , Stochastic Optimization , and Quantum Detection . Notable trends include Regret-Optimal Control , Stochastic Mirror Descent , and DNA Microarray Applications . Scientific Awards : Highly Cited Researcher Advising and Grants : He has advised numerous graduate students and postdocs, many of whom now hold prominent positions at institutions like MIT, USC, and Stanford. His research includes collaborations on patents and projects related to Wireless Communications and Genomic Technologies . Labs and Teams : Leads the Hassibi Group at Caltech, which explores nonlinear photonic systems, ultrafast optics, and quantum information processing.
Gabriela V. Cohen Freue is an Associate Professor in the Department of Statistics at the University of British Columbia (UBC), Vancouver Campus, and holds a Canada Research Chair (CRC Tier 2). She leads an interdisciplinary research program focusing on developing robust statistical methodologies for analyzing high-dimensional data in genomics and proteomics, with applications in medical sciences. Her work addresses challenges such as outliers, collinearity, and measurement errors, with applications in biomarker discovery for diseases like multiple sclerosis, cardiovascular disorders, and asthma. Her academic journey includes collaborations across disciplines, including with the BC Cancer Agency, PROOF Centre of Excellence, and iCAPTURE. She has pioneered methods like the Penalized Elastic Net S-Estimator (PENSE) and contributed to proteomic data analysis tools such as the Protein Group Code Algorithm (PGCA). She also co-developed the MDQC quality control method for microarrays. Research interests include robust regression, biomarker development, and statistical methods for big data. Her team includes postdocs, PhD, and MSc students, with a focus on training in both statistical rigor and interdisciplinary collaboration. Notable grants include a CANSSI Collaborative Research Team Project (CRT) award for robust causal inference and prediction modeling. Teaching responsibilities span statistical consulting, high-dimensional biological data analysis, and generalized linear models. She emphasizes active learning and real-world problem-solving in her courses. Her lab’s work is supported by grants from the Data Science Institute (DSI) and collaborations with institutions like the PROOF Centre. Alumni of her group hold positions in academia (e.g., George Mason University) and industry (e.g., Merck, BC Cancer Research Centre).
Professor Andrew Doherty is a prominent academic in the Faculty of Science at the University of Sydney, specializing in quantum information science and quantum computing. His research focuses on quantum error correction, quantum control, and foundational aspects of quantum mechanics, particularly involving quantum trajectories and entanglement. He leads projects within the Sydney Nanoscience Hub (SNH), contributing to advancements in superconducting qubits and topological codes. His work bridges theoretical and experimental quantum physics, with grants including the 'Quantum and Advanced Technologies' project (2024) and the ARC Training Centre for Future Leaders in Quantum Computing (2023). His publications emphasize scalable error suppression, photonic qubit systems, and code concatenation strategies, reflecting a commitment to both fundamental science and applied quantum technologies. Research Themes: Quantum error correction, quantum measurement theory, topological codes, and superconducting circuits. Key Collaborations: Involvement with international teams in quantum computing and nanoscience. Labs/Teams: Active member of the Sydney Nanoscience Hub (SNH). Professor Doherty's contributions span over 100 articles, with recent work addressing noise-aware decoding and Gottesman-Kitaev-Preskill (GKP) states. His research aims to advance fault-tolerant quantum computing and deepen understanding of quantum correlations.
