David Bindel is an Associate Professor in the Department of Mathematics at Cornell University, affiliated with the College of Arts and Sciences, College of Engineering, and Cornell Ann S. Bowers College of Computing and Information Science. He earned his Ph.D. in Mathematics from the University of California, Berkeley in 2006. His research focuses on applied numerical linear algebra, eigenvalue problems, and their applications in plasma physics, network analysis, and nonlinear systems. He develops methods for analyzing complex systems, including magnetic confinement in stellarators, stability of MHD systems, and community detection in networks. His work bridges theoretical foundations with practical computational tools, such as formal verification of linear algebra algorithms and scalable Gaussian process models. Bindel’s research explores the interplay between structure and computation, leveraging eigenvalue analysis to address challenges in computer vision, opinion dynamics, and engineering design. He has contributed to advancements in numerical methods for large-scale systems, including iterative solvers, spectral approximation techniques, and stochastic optimization. His interdisciplinary approach spans applied mathematics, computer science, and physics, with applications in fusion energy, machine learning, and network science. Recent work highlights include high-order expansions for magnetic confinement, adaptive filtering for dynamical systems, and Bayesian optimization strategies. His publications emphasize rigorous analysis alongside computational scalability, addressing both theoretical and practical aspects of modern scientific computing. Despite no explicitly listed awards, his contributions reflect significant impact in his fields.
Professor Ernest Foo is a distinguished academic at Griffith University's School of Information and Communication Technology, specializing in cybersecurity with a focus on industrial control systems and cryptographic protocols. With over 15 years of experience in computer networking, he has established himself as a leading expert in SCADA security and smart grid cybersecurity. His research has significant practical applications in critical infrastructure protection, and he has developed hands-on security training programs that have trained professionals from major Australian utilities and government agencies. Professor Foo's educational background includes: Bachelor of Engineering with Honours in Electronic and Computer Engineering from University of Queensland Doctor of Philosophy from Queensland University of Technology Professor Foo's research interests center around secure cryptographic protocols with specific applications in industrial control system security and cyber physical systems. His work spans SCADA security, smart grid protection, wireless sensor network security, and post-quantum cryptography. He has made significant contributions to understanding vulnerabilities in industrial protocols like Modbus and DNP3, and has pioneered the application of process mining and data mining techniques for attack detection in critical infrastructure systems. His research bridges theoretical security concepts with practical implementations in real-world industrial environments. Professor Foo's recent publications demonstrate a clear trajectory toward increasingly sophisticated security frameworks for critical infrastructure. His work shows a progression from foundational SCADA security research to advanced applications of artificial intelligence, machine learning, and formal methods in cybersecurity. A notable trend is the integration of zero trust principles with industrial control systems, alongside growing emphasis on post-quantum cryptographic solutions. His publications span high-impact journals and conferences in cybersecurity, with increasing focus on anomaly detection in cyber-physical systems and the application of graph-based machine learning techniques to network security challenges. Professor Foo's notable scientific achievements include: Best paper award at the 2nd International Cyber Resilience Conference for "Gap analysis of Intrusion Detection in Smart Grids" Professor Foo has secured significant research funding including an ARC Linkage grant with Powerlink Queensland focused on cyber security for electricity sub-stations. He currently leads multiple research projects including Westpac Micro-Credentials in Financial Crime Investigation, Digital Banking Micro-credentials with ANZ, and research on quantum-safe cryptography. As a dedicated educator, he serves as Program Director for multiple cybersecurity programs including the Master of Cyber Security, and has supervised numerous doctoral and masters students. His Cyber Security: Industrial Control System course, conducted annually from 2013-2018, featured innovative hands-on training with real-world participants from major Australian utilities. Professor Foo has been instrumental in establishing the SCADA security research laboratory with multiple vendor system miniatures running industrial PLCs. His work bridges theoretical security concepts with practical implementations, making significant contributions to the security of industrial control systems and critical infrastructure worldwide.
Joydeep Biswas is an Associate Professor in the Computer Science Department at the University of Texas at Austin, where he serves as the Director of the Autonomous Mobile Robotics Laboratory (AMRL). He is also affiliated with Texas Robotics, the UT Machine Learning Laboratory, and UT Good Systems. Previously, he was an Assistant Professor in the College of Information and Computer Sciences at the University of Massachusetts Amherst. Dr. Biswas earned his PhD in Robotics from Carnegie Mellon University in 2014 and his B.Tech in Engineering Physics from the Indian Institute of Technology Bombay in 2008. His educational background has provided him with a strong foundation in both theoretical and applied aspects of robotics and artificial intelligence. Dr. Biswas's research focuses on enabling long-term autonomy for mobile robots operating in human environments. His work spans robot perception, motion planning, control systems, and AI, with the ultimate goal of creating self-sufficient autonomous mobile robots that can perform tasks accurately and robustly in real-world settings. He is particularly interested in perception, planning, and failure recovery for autonomous mobile robots, which supports his vision of having autonomous service mobile robots deployed at campus-to-city scale, both indoors and outdoors, performing assistive tasks over deployments spanning years. His IJCAI 2019 Early Career Spotlight talk summarizes much of his research to date and ongoing interests. His recent research has shown a strong trend toward social navigation, human-robot interaction, and the application of machine learning techniques to robotics problems. There's a clear progression from fundamental robotics research toward more complex, real-world applications that require robots to understand and navigate human social spaces effectively. His work increasingly integrates large language models and other advanced AI techniques with traditional robotics approaches, as evidenced by his recent publications on topics like preference-conditioned navigation, social navigation benchmarks, and instruction-following navigation systems. Dr. Biswas has received numerous prestigious awards including the NSF CAREER Award (2021), J.P. Morgan Faculty Research Award (2019), Amazon Research Award (2019), and a grant from Northrop Grumman Mission Systems (2018). These awards recognize his innovative contributions to the field of robotics and autonomous systems. As a dedicated educator and mentor, Dr. Biswas actively supervises PhD and master's students, with his PhD student Sadegh Rabiee winning the student poster award at the Northrop Grumman University Symposium 2019. He has secured significant grant funding from the National Science Foundation for projects including 'Introspective Perception and Planning for Long-Term Autonomy' and 'Interactive Synthesis and Repair For Robot Programs,' demonstrating his ability to secure competitive research funding and his commitment to advancing the field. Dr. Biswas leads the Autonomous Mobile Robotics Laboratory (AMRL), which serves as a hub for interdisciplinary research in mobile robotics. The lab has developed notable resources such as the UT Campus Object Dataset (CODA) for 3D perception research and SOCIALGYM, a framework for benchmarking social robot navigation. His team regularly deploys robots on the UT Austin campus and in urban environments to test and refine their approaches in realistic settings, bridging the gap between simulation and real-world application.
Dr. Joey Paquet is a Tenured Associate Professor and Department Chair in the Department of Computer Science and Software Engineering at Concordia University in Montreal, Canada. He holds a PhD and specializes in research areas including Design and Implementation of Programming Languages, Context-Driven Computing, and Demand-Driven Computing. His work focuses on advancing programming paradigms and their applications in cybersecurity, distributed systems, and autonomic computing. Dr. Paquet is actively involved in thesis supervision across Computer Science and Software Engineering programs at both master's and doctoral levels. Research interests are centered around programming language design, particularly in demand-driven and context-aware systems. His contributions include frameworks like GIPSY and OpenISS, enabling scalable data processing and forensic computing. Recent work explores autonomic intent-driven networking, real-time gesture recognition, and IoT forensics. These efforts highlight his expertise in both theoretical constructs and practical implementations. His advising role supports students in MCompSc, MASc, and PhD programs. While specific grants are not detailed, his projects often involve interdisciplinary collaboration. Dr. Paquet is affiliated with platforms like LinkedIn and ResearchGate, reflecting an active academic presence. Key technical contributions include pioneering work on forensic computing backends, intent expression languages, and multimodal interaction systems. His research addresses challenges in cybersecurity, distributed systems, and service composition, with a focus on resilience and scalability.
Dr. Jean-Christophe Nave is an Associate Professor in the Department of Mathematics and Statistics at McGill University, specializing in applied mathematics, numerical analysis, and computational methods. His research focuses on numerical methods for partial differential equations, fluid mechanics, interface problems, and computer graphics. He holds a PhD from UCSB (2004) and has held academic positions at MIT and McGill since 2005. Currently, he serves on committees such as the Steering Committee of the Institut des Sciences Mathematiques and the CRM Applied Mathematics Lab. His educational background includes a PhD under Professors Xu-Dong Liu and Sanjoy Banerjee. Key research areas include level set methods, fluid-structure interaction, and invariant numerical methods. Notable works include the Correction Function Method for interface problems and the Characteristic Mapping Method for advection problems. Nave’s publications span topics like Poisson equations with discontinuous coefficients, fluid dynamics simulations, and high-order numerical schemes. He has advised numerous graduate and undergraduate students, contributing to their research in applied mathematics and computational science. His work bridges theoretical rigor and practical applications in engineering and physics. He teaches advanced courses such as Numerical Analysis I/II and Computational Methods in Applied Mathematics. His research group collaborates on projects involving fluid dynamics, elasticity, and geometric algorithms, with a focus on developing robust numerical tools for complex systems.
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
James Glass is a Senior Research Scientist at the Massachusetts Institute of Technology (MIT) and heads the Spoken Language Systems Group within MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). He is also affiliated with the Harvard-MIT Division of Health Sciences and Technology. His research spans automatic speech recognition, multimodal learning, and spoken language understanding, with applications in healthcare and video analysis. Education: SM and PhD in Electrical Engineering and Computer Science from MIT His work focuses on paralinguistic speech analysis, health markers in speech, and the intersection of speech and natural language processing. Recent trends emphasize audio-visual alignment, recursive reasoning, and AI applications in cognitive disorder diagnosis. Scientific awards include IEEE Fellow, ISCA Fellow, and Associate Editor for IEEE Transactions on Pattern Analysis and Machine Intelligence. His group explores unsupervised learning, speaker verification, and social text analysis. James leads the Spoken Language Systems Group at CSAIL, collaborating with institutions like IBM and Harvard-MIT Division of Health Sciences and Technology. His research integrates vision-language models, neural audio codecs, and self-supervised frameworks.
Soumya Dutta is an Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur (IITK), where he leads the INSIGHT: Intelligent Scientific and Visual Computing of Big Data Research Group. He joined IIT Kanpur in October 2022 after working as a Scientist II at Los Alamos National Laboratory (LANL) from July 2019 to August 2022, and previously as a Postdoctoral Research Associate at LANL from June 2018 to July 2019. His educational background includes a Ph.D. and M.S. in Computer Science and Engineering from The Ohio State University (2011-2018), where he was part of the GRAVITY research group, and a B.Tech. in Electronics and Communication Engineering from West Bengal University of Technology, India (2005-2009). Research Interests: Dr. Dutta's research focuses on the intersection of machine learning, visual computing, big data, and high-performance computing. His primary research areas include Machine Learning for Visual Computing and Image Analysis, Big Data Visualization and Analytics, Data Science and HPC, Machine Learning for Scientific Computing, and Explainability and Interpretability of AI Models. His work addresses various big data characteristics including the 5 Vs: Volume, Velocity, Variety, Veracity, and Value. He develops techniques that make complex machine learning models more interpretable and explainable, enabling their effective adoption in real-life applications across scientific domains, social media, IoT, healthcare, and industry applications. Dr. Dutta's research group has secured multiple funded projects including: DAVi: An Intelligent Data Analytics and Visualization Framework (funded by ISRO), Intelligent Visual Computing of Extreme-scale Data for Accelerating Scientific Discovery (IIT Kanpur Initiation Grant), Enabling Interactive Big Data Analytics and Visualization at Exascale (SERB), Development of AI-Enabled National Portal for Efficient Search of Missing People (C3iHub), and Proactive and Generalized Deepfake Defense Mechanisms (C3iHub). Best Reviewer, Honorary Mention Award for IEEE Transactions on Visualization & Computer Graphics (TVCG), 2021 Best Paper Award at ISAV 2021, co-located with Supercomputing (SC) LAAP Award at Los Alamos National Laboratory, 2021 Best Paper Award at TopoInVis 2019 Best Paper Award at ISAV 2018, co-located with Supercomputing (SC) Best Poster Award in 12th Annual CSE Student Poster Exhibition, The Ohio State University, 2018 Best Poster Award in 11th Annual CSE Student Poster Exhibition, The Ohio State University, 2017 Best Paper Honorable Mention Award at IEEE Visualization Conference (IEEE VIS) 2016 Dr. Dutta actively mentors a large group of students including Ph.D., M.Tech., and B.Tech. students. His current Ph.D. students include Shanu Saklani, Sankhadeep Bhowmick, Ananya Chaturvedi, Arpita Santra, Anubhav Dixit (co-supervised), and Robin Shah. He has supervised numerous M.Tech. students with thesis topics ranging from uncertainty-aware neural networks to deepfake detection. Dr. Dutta currently teaches courses including CS360 - Introduction to Computer Graphics and CS661 - Big Data Visual Analytics. The INSIGHT research group collaborates internationally with researchers from Meta, Oak Ridge National Laboratory, and National Taiwan Normal University. The group's work focuses on building machine learning and data science-based solutions to analyze large-scale multifaceted data in a scalable way, enabling interactive and interpretable analytics of complex data from scientific simulations, social media, IoT, healthcare, and other application domains.
Prof. Dr. Barbara Kraus is the Chair of Quantum Algorithms and Applications at the Technical University of Munich (TUM), affiliated with the TUM School of Natural Sciences. She previously held academic positions at the University of Innsbruck, where she founded her research group in 2010. Education : Physics and Mathematics at the University of Innsbruck; Post-doctoral work at MPI for Quantum Optics and University of Geneva. Her research focuses on foundational problems in quantum information theory, particularly entanglement in multipartite systems, quantum simulation, and verification of quantum processors. She develops theoretical tools for quantum many-body systems and explores applications in quantum computing, emphasizing error characterization and experimental validation. Recent publications highlight advancements in Hamiltonian learning, symmetry-resolved entanglement detection, and multipartite state transformations. Her work bridges theoretical quantum physics with practical implementations, including Rydberg platforms and quantum metrology. Key Awards : START Prize (2010), Ignaz L. Lieben Award (2013), Boltzmann Prize (2011), Südtiroler Sparkasse Research Prize (2019). She supervises doctoral students and postdocs in quantum information theory, with a focus on stabilizer states, quantum networks, and entanglement measures. Her courses at TUM include Quantum Information , Quantum Algorithms , and workshops on entanglement manipulation.
Mary Lanzerotti is a Collegiate Assistant Professor in the Bradley Department of Electrical and Computer Engineering at Virginia Tech. She specializes in signal processing, control systems, and medical evacuation technology. Her research focuses on hoist stabilization for MEDEVAC rescues, RF signal estimation, and material science involving liquid films. She is also deeply involved in educational initiatives, including hybrid course development and student advising strategies. Education: A.B. summa cum laude from Harvard College (1989), M. Phil. from the University of Cambridge (1991), M.S. and Ph.D. from Cornell University (1994–1997). Research Interests: Signal processing algorithms, mechanical stabilization of hoist systems, quantum computing verification, and integrated circuits design. Recent work includes gyroscopic data-driven control systems and multi-tier RF signal estimation methods. Service Roles: Member of faculty search committees, assessment committees, and the Graduate Honor System panel. Active in institutional accreditation and curriculum modernization efforts. Labs/Teams: Collaborates with interdisciplinary teams on projects involving aerospace rescue systems, laser material interaction studies, and microelectronics verification.
Gordon Plotkin is a Professor at the School of Informatics, University of Edinburgh, where he is affiliated with the Laboratory for Foundations of Computer Science (LFCS). His research lies at the intersection of theoretical computer science and programming language semantics, with a profound influence on the formal understanding of computation. His research interests include Programming Language Theory, Semantics of Programming Languages, Domain Theory, Operational Semantics, Lambda Calculus, Type Theory, Concurrency Theory, and Algebraic Effects. His seminal work on structural operational semantics and domain theory has laid the foundation for modern semantics of programming languages. His publications span over five decades, showing a sustained and evolving research trajectory from foundational work in lambda calculus and domain theory to recent contributions in algebraic effects, probabilistic computation, and biochemical systems modeling. The articles demonstrate a consistent focus on formal methods, mathematical rigor, and the algebraic structure of computational effects. He has collaborated with leading researchers including Martín Abadi, John Power, Glynn Winskel, and John Reynolds. His work continues to influence both theoretical and practical developments in programming languages and systems. Gordon Plotkin has made foundational contributions to computer science, particularly through his development of structural operational semantics and domain-theoretic models of computation. He has advised numerous researchers and supervised many influential PhD theses, though specific student names are not listed in the provided text. His work has been supported by long-standing affiliations with the Laboratory for Foundations of Computer Science and the University of Edinburgh, and he has contributed to major collaborative projects in programming language design and verification. He is associated with several research groups and labs, most notably the Laboratory for Foundations of Computer Science (LFCS), which serves as a hub for theoretical research in programming languages, semantics, and logic at the University of Edinburgh.
Prof. Dr. Sebastian Steinhorst is an Associate Professor (W3-level with tenure) at the Technical University of Munich (TUM) within the Embedded Systems and Internet of Things group at the TUM School of Computation, Information and Technology . His research focuses on advancing the security, predictability, reliability, and interoperability of smart connected and autonomous systems, particularly for applications in Internet of Things (IoT) , Industry 4.0 , and automotive systems . PhD in Computer Science (2011) from Goethe University Frankfurt Postdoctoral roles at TUMCREATE Singapore (2011-2016) and Aarhus University (2016) Joined TUM in 2016 as Rudolf Moessbauer Tenure Track Professor His research areas include decentralized embedded systems, hardware/software co-design, modeling and verification of cyber-physical systems, security protocols for automotive networks, and time-sensitive networking (TSN) for industrial applications. Recent work explores blockchain-based data sovereignty, zero-knowledge proofs for vehicle authentication, and resilient architectures for autonomous systems. Key scientific contributions include the 2019 ACM TODAES Best Paper Award and pioneering work on CyberSecDome , LeapChain , and Simutack frameworks. He serves on editorial boards and conference committees, including co-organizing the Autonomous Systems Design initiative at DATE. His teaching portfolio spans lectures on System Design for IoT , Software Architecture for Distributed Systems , and IoT Security across multiple semesters. He also leads advanced seminars on embedded systems and IoT.
Emilio Frazzoli is a Full Professor at ETH Zurich’s Department of Mechanical and Process Engineering. He leads the Institute for Dynamic Systems and Control and the Center for Sustainable Future Mobility, focusing on autonomous systems, robotics, and socio-technical control frameworks. Current affiliations: ETH Zurich (Dynamic Systems and Control, Sustainable Future Mobility) Research: Autonomous mobility-on-demand, game theory for resource allocation, and safety verification in multi-agent systems His work bridges robotics, control theory, and economics, with projects like the open-source AMoDeus simulation framework for autonomous taxis and karma-based resource allocation systems. Recent publications emphasize trustworthy AI, reproducibility in autonomous vehicle control, and human-robot interaction challenges. Notable projects include nuReality (VR-based pedestrian interaction studies) and CARSI II (context-driven vehicle interfaces).
Daniel Varro is a Professor affiliated with McGill University (Faculty of Engineering, School of Computer Science), with strong ties to Budapest University of Technology and Economics and Linköping University. He is a leading researcher in model-driven engineering, cyber-physical systems, and software engineering, actively contributing to top-tier conferences such as MODELS, ICSE, and ASE. His research focuses on model-based systems engineering (MBSE) , automated model generation , model transformations , and constraint-based consistency checking . Recently, his work has expanded into integrating large language models (LLMs) and machine learning into modeling workflows, including model querying, domain modeling, and bug detection. The recent publications reveal a strong trend toward AI-augmented modeling, logic-based solvers (e.g., Refinery), and safety assurance of autonomous systems (e.g., COLREGs compliance). His work bridges formal methods with practical software engineering challenges in industrial and safety-critical domains. Scientific Awards: No specific awards mentioned in the text. Advising and Grants: While no explicit list of students or grants is provided, his mentorship in the Doctoral Symposium and repeated leadership roles suggest active supervision and likely grant funding. He has led projects on automated model generation, model quality, and AI integration in modeling. Labs and Teams: Daniel Varro is associated with research groups focused on model-driven engineering and software evolution, likely leading or co-leading teams working on the VIATRA and Refinery frameworks for model transformation and solving.
Jens Groth is an Honorary Professor at the Department of Computer Science, University College London (UCL), and serves as Chief Scientist at Nexus. His primary research focuses on cryptography, with an emphasis on cryptographic protocols, zero-knowledge proofs, and privacy-preserving technologies. Groth has contributed significantly to advancements in digital signatures, homomorphic encryption, and secure multi-party computation. He holds a leadership role as Program Chair for the 15th IMA International Conference on Cryptography and Coding (2015) and has been a key figure in shaping modern cryptographic standards. His work often bridges theoretical foundations with practical implementations, emphasizing efficiency and security. Groth's research interests include but are not limited to: cryptographic protocol design, lattice-based cryptography, and the application of zero-knowledge proofs in real-world systems such as blockchain and voting systems. His publications span venues like CRYPTO, EUROCRYPT, and ASIACRYPT, reflecting his impact on the field. Notably, he advocates for open access to research and has contributed to strategies ensuring conferences adopt de facto open-access policies. His current focus at Nexus centers on verifiable computation and distributed cryptographic systems.
