Yan Chen is a Professor of Computer Science at Northwestern University's Robert R. McCormick School of Engineering and Applied Science. He leads the Northwestern Lab for Internet and Security Technology (LIST) and the Center for Ultra-scale Computing and Information Security. His research focuses on cybersecurity, network measurement, and distributed systems security. Chen holds a Ph.D. from UC Berkeley (2003), M.S. from SUNY Stony Brook, and B.E. from Zhejiang University. Research interests include securing networking systems, intrusion detection, cloud-native platforms, and mobile security. Notable awards include the DOE Early CAREER Award (2005), Air Force Young Investigator Award (2007), and ACM ASPLOS'18 Most Influential Paper Award. His work has been cited over 17,000 times with an h-index of 62 (2024). Key contributions include the LIST lab's advancements in APT detection, provenance tracking in microservices, and security frameworks like FlowCog. He advises numerous Ph.D. students and has graduated over 20 researchers now in academia and industry.
Alan Sussman is a Professor and Associate Chair of Undergraduate Education in the Computer Science department at the University of Maryland. His research focuses on databases, high-performance computing, parallel systems, and educational curriculum development for computing disciplines. He holds a Ph.D. from Carnegie Mellon University (1991) and a B.S.E. from Princeton University (1982). His educational contributions include integrating parallel and distributed computing concepts into early undergraduate courses, supported by NSF-funded initiatives like the CyberTraining program. He has advised students such as Harshit Soora (Master's) and Xiaolong Tian (PhD). His research spans compiler optimizations for parallel programs, distributed data management systems, and scientific workflow frameworks like DYFLOW. He collaborates with UMIACS and contributes to interdisciplinary projects like the TASCS center. Key innovations include VeloxDFS for distributed dataset streaming, compiler techniques for irregular memory access in PGAS programs, and NetCDFaster for geospatial data optimization. His work emphasizes productivity improvements for high-performance applications and curriculum modernization to address emerging computational challenges. Awards: No individual awards explicitly listed; however, collaborator Jik-Soo Kim received a best paper award in 2006. Grants: NSF CyberTraining, TCPP Curriculum Initiative, and Center for Technology for Advanced Scientific Component Software (TASCS). Labs/Teams: Active in UMIACS and interdisciplinary collaborations, including the TASCS center and InterComm framework development.
Jiri Srba is a Professor at Aalborg University's Department of Computer Science, part of the Technical Faculty of IT and Design. He leads research in the Distributed, Embedded and Intelligent Systems group and contributes to projects like "ControLing wAter In an uRban Environment" and "Collective Adaptive System SynThesIs using Non-zero-sum Games". His office is located at Selma Lagerløfs Vej 300, 9220 Aalborg Øst, Denmark. Contact him at +4599409851 or srba@cs.aau.dk. His core research focuses on formal methods and applied computer science: Model checking and verification of concurrent systems Petri nets and their applications Network protocol verification and synthesis Distributed system correctness Automated reasoning for industrial systems His publication record shows strong emphasis on network verification, model checking optimization, and applying formal methods to environmental systems. Recent work integrates computer science with sustainable engineering, particularly in water management systems and energy control.
Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His work bridges formal methods, software testing, and programming languages, with a focus on enhancing the reliability of high-performance and parallel software systems. He has held key roles including Director of Research (since 2023) and previously served as Lecturer (2011–2014), Senior Lecturer (2014–2017), and Reader (2017–2020) before being promoted to Professor in 2020. His research interests include formal verification, compiler testing, GPU programming, concurrency, and fuzzing. He has made significant contributions to the verification of GPU kernels, metamorphic testing of graphics drivers, and the development of tools like GPUVerify and GraphicsFuzz. His work combines theoretical rigor with practical impact, demonstrated by the acquisition of his startup GraphicsFuzz by Google in 2018 and his subsequent roles as Senior Software Engineer and Visiting Researcher at Google. His recent publications reflect a sustained focus on compiler and system reliability, with trends in fuzzing, formal specification, and automated testing of complex systems such as WebGPU, CXL cache coherence, and large language models for code generation. His work increasingly integrates empirical validation with formal techniques to uncover subtle bugs in real-world systems. Scientific awards and recognitions include: 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Fellow of the British Computer Society Best Paper awards at EuroSys 2024, MET 2021, IISWC 2019, IWOCL 2019, and ICST 2016 Best Industry Paper at ICST 2024 ACM SIGSOFT Distinguished Paper at ISSTA 2023 ACM SIGPLAN Most Influential OOPSLA Paper Award (2012 paper), awarded in 2022 Best Student Paper at PPoPP 2014 He has advised numerous PhD students and leads a vibrant research group. He has secured significant research funding and collaborates extensively with industry and academia. His service includes leadership roles such as General Chair of PLDI 2020, PC Chair of ECOOP 2019, and Steering Committee Chair of PLDI (2022–2025). He also serves on the advisory board of PACM-PL and on program committees for top venues including POPL, OOPSLA, PLDI, ICSE, and ISSTA. He leads the FastPL research group, which focuses on the design and implementation of programming tools and techniques for reliable software. The group conducts cutting-edge research in compiler testing, formal methods, and high-performance systems, fostering collaboration across academia and industry.
Caroline Trippel is an Assistant Professor in the Departments of Computer Science and Electrical Engineering at Stanford University. Her research focuses on ensuring correctness and security in computer systems through formal methods, with particular emphasis on hardware verification, memory consistency models, and mitigating vulnerabilities like Spectre/Meltdown. She previously worked at Facebook’s FAIR SysML group before joining Stanford. Education: PhD in Computer Science, Princeton University BS in Computer Engineering, Purdue University Her work has influenced the RISC-V ISA memory consistency model and produced tools like CheckMate, which automatically synthesizes hardware exploits for security verification. She explores privacy-preserving ML, ML-driven hardware optimizations (e.g., neural recommendation), and datacenter reliability. Her research has earned awards including the 2020 ACM SIGARCH Dissertation Award and NVIDIA Fellowship. Key contributions include: Formal analysis of RISC-V memory models Exploitation synthesis frameworks (CheckMate) Hardware-software contracts for security Defenses against microarchitectural side-channel attacks Current projects include: VeriCoder: LLM-enhanced RTL code verification Multi-μPATH synthesis for security validation Near-data processing (RecSSD) for recommendation systems
Vincent Dufour-Décieux is a researcher at the Professorship for Energy and Process Systems Engineering at ETH Zürich , focusing on developing computational methods for material screening in separation processes and global net-zero transitions. He earned his Master's in Materials Chemistry from Ecole Polytechnique (France) and a PhD in Materials Science from Stanford University , where he pioneered statistical methods combining Kinetic Monte Carlo and random graph theory to study planetary diamond formation. Research Highlights: Application of Classical Density Functional Theory (cDFT) for 100x faster adsorption property predictions in porous materials Development of science-based definitions for "hard-to-abate" emissions to guide climate action prioritization Integration of Coulombic interactions in cDFT for CO2 adsorption accuracy Article Trends : His work spans computational materials science (cDFT, random graph theory) and climate policy analysis, with recent publications in Joule , AIChE Journal , and Physical Review E . These studies emphasize scalable solutions for carbon capture, material screening efficiency, and accurate thermodynamic modeling. Collaborations : Active in international conferences (FOA15, MolMod, Gordon Research Conference) and cross-institutional projects with teams at Stanford, ETH Zürich, and industry partners.
Michael Ellis is an Associate Professor in the Department of Mechanical Engineering at Virginia Tech since 2012, with prior roles as Associate Professor and John R. Jones Faculty Fellow (2007–2012). His work spans fuel cell systems, energy modeling, and sustainable technologies. Ph.D. , Mechanical Engineering, Georgia Institute of Technology (1996) M.S. , Mechanical Engineering, Georgia Institute of Technology (1993) B.S. , Mechanical Engineering, University of Tennessee (1985) Research interests include fuel cell systems for building cogeneration, energy consumption modeling, industrial process analysis, and optimal hybrid energy system design. Recent work focuses on battery recycling processes, microbial fuel cells, and thermal stress characterization of membranes. His 15 most recent publications highlight trends in battery recycling scalability , fuel cell durability , microbial energy conversion , and nanomaterials for energy applications . Key subfields include membrane stress modeling, microbial adhesion mitigation, and hybrid gas/electric system optimization. Excellence in Architecture Award (2006) Woodruff Teaching Fellowship (1995) Tau Beta Pi Member Multiple teaching awards at Virginia Tech (2000–2003) As faculty advisor for the award-winning Solar Decathlon team (2002), he contributed to interdisciplinary energy projects. His work connects mechanical engineering with sustainable energy systems, focusing on practical implementations and material innovations.
Dr. John Hastings is a Professor in the Department of Computer Science at Dakota State University, part of the Beacom College of Computer & Cyber Sciences. With nearly 35 years of experience, he specializes in teaching and curriculum development in computer science, combining academic rigor with industry insights from his roles as an AI/ML engineer, team leader, and business owner. Education: Ph.D., Computer Science, University of Wyoming M.S., Computer Science, University of Wyoming B.S., Computer Science, University of Wyoming Research interests include machine learning, AI applications in natural language processing (LLMs), generative AI, computer vision, ecological/environmental AI, AI in games, and gamification in education. Recent publications focus on cybersecurity challenges, AI ethics, and insider threat detection. His work has been recognized with awards such as the AAAI’s Innovative Applications of Artificial Intelligence (IAAI) Award and an International IPM Award for Excellence related to the CARMA AI tool. Teaching emphasizes active learning and practical skills, including courses on programming, data structures, AI, and cybersecurity. He advocates for gamification in education to enhance student engagement and success.
Dr. Dijiang Huang is an Associate Professor in the School of Computing and Augmented Intelligence at Arizona State University (ASU). He joined ASU in 2005 after completing his Ph.D. in Telecommunications and Computer Networking from the University of Missouri-Kansas City (2004). His research focuses on cybersecurity, mobile computing, and cloud computing, supported by grants from the National Science Foundation (NSF), Office of Naval Research (ONR), and industry partners like HP. He has received prestigious awards, including the ONR Young Investigator Award and HP Innovative Research Award. Education: B.E. in Telecommunications, Beijing University of Posts and Telecommunications (1995) M.S. in Computer Science, University of Missouri-Kansas City (2001) Ph.D. in Telecommunications and Computer Networking, University of Missouri-Kansas City (2004) Research Interests: Huang’s work emphasizes secure communication protocols, privacy-preserving techniques, and resilient network architectures. He has pioneered frameworks like Secure Group Communication (SeGCom) and Attribute-Based Cryptography , addressing challenges in VANETs, SDN, and edge computing. His recent projects include developing Waterfall for SDN security and SmartDefense for DDoS mitigation. Grants & Awards: ONR Young Investigator Award (2008) HP Innovative Research Award (2008) NSF grants for secure mobile cloud frameworks and cyber-physical systems Professional Contributions: Huang has served as a reviewer for journals like IEEE Transactions on Wireless Communications and conferences such as ACM MobiArch. He co-developed the Open Human-Robotic Mobile Networking and Security Testbed (OHReST) and the Virtual Laboratory (VLab) for cybersecurity education.
Pedro Vilaça is a **Professor and Head of the Department of Energy and Mechanical Engineering** at **Aalto University's School of Engineering**, Finland. Previously, he worked at the Instituto Superior Técnico (Técnico), University of Lisbon, Portugal (1995–2013). His research focuses on **welding technology**, **solid-state manufacturing**, **non-destructive testing (NDT)**, **hydrogen-related materials science**, and **materials safety**, with applications in energy and aeronautics sectors. He leads R&D teams and has collaborated globally, contributing to 142+ publications (h-index 32 via Scopus). **Research Interests**: Advanced welding techniques (e.g., friction stir welding), hydrogen embrittlement in steels, supercapacitor materials, and smart composites. He has pioneered methods for **zero-material-loss welding** and **self-sensing metallic materials**. **Key Projects**: Led initiatives like **THEWFuelCells** (fuel cell welding innovations) and **EARLY/Vilaca** (hydrogen damage assessment). His work aligns with **UN Sustainable Development Goals**, emphasizing renewable energy storage and industrial sustainability. **Awards**: 2011 Eng. Cruz Azevedo Award for outstanding research in Mecânica Experimental. **Collaborations**: Active in international networks, including the International Institute of Welding and European research consortia. He has organized conferences, reviewed patents, and advised doctoral students globally. **Recent Articles**: Focus on corrosion-resistant materials, piezoelectric composites, and hydrogen-induced failure in steels. His 2023–2025 work emphasizes energy storage innovations and advanced joining technologies. **Grants**: Principal investigator for projects funded by Business Finland, EU EIT, and Academy of Finland. **Labs/Teams**: Oversees Aalto’s mechanical engineering research teams and collaborates with institutions like Helmholtz-Zentrum Geesthacht.
Michael Stonebraker is a renowned computer scientist and Adjunct Professor of Computer Science at MIT's CSAIL. He is a pioneer in database technology, having developed foundational systems like INGRES and POSTGRES at UC Berkeley. His work spans database management, distributed systems, and data integration. He has founded multiple startups to commercialize his research and holds numerous awards, including the ACM Turing Award (2014) and IEEE John von Neumann Medal (2005). He earned his Ph.D. from the University of Michigan and undergraduate degrees from Princeton and Michigan. His research focuses on advancing database systems, operating systems, and big data analytics. Recent work includes contributions to video data management, cloud computing optimization, and data discovery systems. Education: Ph.D., Computer, Information and Control Engineering, University of Michigan (1971) M.S.E., Electrical Engineering, University of Michigan (1966) B.S.E., Electrical Engineering, Princeton University (1965) Research Interests: Database Technology, Distributed Systems, Data Integration, and Big Data Analytics. His work bridges theory and practice, emphasizing scalable architectures and real-world applications. Awards & Recognition: ACM Turing Award (2014) ACM SIGMOD Systems Award (2015) MIT Tech Review TR7 (2016) C&C Prize (2020) Grants & Labs: His research is supported by grants from NSF, DARPA, and industry collaborations. He leads MIT's efforts in database systems and is affiliated with CSAIL labs focused on data management and high-performance computing.
Matteo Nardello is a researcher affiliated with the Department of Industrial Engineering at the University of Trento. His work focuses on embedded systems, IoT, and energy harvesting technologies for sustainable applications. Current academic affiliation: Department of Industrial Engineering, University of Trento Research interests: IoT, embedded systems, energy harvesting, machine learning, cyber-physical systems Contact: matteo.nardello@unitn.it His research integrates hardware-software co-design for batteryless IoT systems, with applications in smart agriculture, industrial monitoring, and autonomous vehicles. Recent work explores deep learning at the edge, energy-efficient sensor networks, and microbial fuel cells for self-powered devices. Key article trends highlight a focus on sustainable power solutions, wireless sensor networks, and machine learning optimization for constrained environments. He contributes to courses on embedded systems, IoT, and AI-powered industrial applications at the University of Trento.
Qing (Cindy) Chang is a Professor in the Department of Mechanical Engineering at the University of Virginia. Her research focuses on cyber-physical systems for smart manufacturing, real-time production control, and human-robot collaboration. Prior to academia, she worked at General Motors, earning three Boss Kettering Awards for innovation. She holds an M.S. from the University of Wisconsin-Madison and a Ph.D. in Manufacturing from the University of Michigan. Education: M.S. in Mechanical Engineering, University of Wisconsin - Madison Ph.D. in Manufacturing, University of Michigan – Ann Arbor Research Interests: Cyber-Physical Systems for Smart Manufacturing Real-time Production Control Knowledge-guided Machine Learning-based Control Human-Robot Collaboration in Industrial Settings Intelligent Maintenance and Energy Management Awards: 20 most influential professors in smart manufacturing (2020) NSF CAREER Award (2014) General Motors Boss Kettering Awards (2005, 2006, 2008) GM R&D Charles L. McCuen Special Achievement Awards (2005, 2006, 2008) Leadership & Grants: She serves on the board of NAMRI/SME and holds editorial roles in ASME, IEEE, and SME journals. Her work bridges AI, robotics, and manufacturing systems, with notable grants including the NSF CAREER Award. Labs & Teams: Her Intelligent Systems Lab develops AI-driven solutions for manufacturing efficiency and sustainability, focusing on energy management, predictive analytics, and human-robot collaboration.
Filippo Maria Bianchi is an Associate Professor in the Department of Mathematics and Statistics at UiT The Arctic University of Norway, where he conducts research at the intersection of machine learning, dynamical systems, and complex networks. He is also a Senior Researcher at NORCE Norwegian Research Centre and actively contributes to the IEEE Task Force on Learning for Structured Data and the ELLIS Society. Department: Department of Mathematics and Statistics School: Faculty of Science and Technology University: UiT The Arctic University of Norway Adjunct Position: Senior Researcher, NORCE Education: Bachelor’s in Computer Engineering, Sapienza University of Rome Master’s in Artificial Intelligence & Robotics, Sapienza University of Rome (cum laude, 2012) PhD in Machine Learning, Sapienza University of Rome His research focuses on graph machine learning, time series analysis, reservoir computing, and probabilistic forecasting , with applications in energy analytics and remote sensing. He has led and contributed to numerous projects involving Arctic power grids, satellite-based environmental monitoring, and deep learning for sustainability. The recent publications reflect a strong trend in graph neural networks —particularly pooling mechanisms, spatiotemporal modeling, and explainability—alongside applications in energy forecasting, avalanche detection, and remote sensing . His work combines theoretical innovation with real-world impact, especially in Arctic and remote environments. Scientific Affiliations and Leadership: Vice-Chair, IEEE Task Force on Learning for Structured Data Member, ELLIS Society Co-founder, Northernmost Graph Machine Learning group Member, IEEE Task Force on Reservoir Computing Visiting Professor, Politecnico di Milano (2024–2025) He actively mentors students and collaborates on interdisciplinary research. He has led projects in power grid reliability, solar fault detection, and unsupervised change detection in satellite imagery . His work is supported by open-source implementations and reproducible research practices. Laboratories and Research Groups: Northernmost Graph Machine Learning group (co-founder) ARC Research Group, UiT Graph Machine Learning Group, Lugano
Amir Shaikhha is an Associate Professor (Reader) in the School of Informatics at the University of Edinburgh. He was previously an Assistant Professor (Lecturer) at the same institution from 2020 to 2024 and a Departmental Lecturer at the University of Oxford until August 2020. He is also a Junior Research Fellow at University College, Oxford. His academic journey began with a Ph.D. from EPFL in 2018, where he was awarded the Google Ph.D. Fellowship in structured data analysis and a Ph.D. thesis distinction. His research centers on the design and implementation of data-analytics systems, drawing upon techniques from databases, programming languages, compilers, and machine learning. He develops high-performance systems such as SDQL.py, StructTensor, and VecHT, focusing on the compilation of data science workloads and optimization of tensor operations. His work bridges the gap between high-level abstractions and efficient execution, particularly in sparse and probabilistic computing domains. The recent publications highlight a strong trend in compiler-driven optimizations for data-intensive applications, including automatic differentiation, loop fusion, probabilistic programming, and domain-specific language (DSL) restaging. His research integrates machine learning for systems decisions and emphasizes reproducibility and performance. He has published consistently in top venues like PLDI, OOPSLA, SIGMOD, and CGO, reflecting sustained impact in programming languages and database systems. Dahl-Nygaard Junior Prize, 2025 Google Research Scholar Award, 2025 Most Influential Paper Award, GPCE 2024 Best Paper Award, GPCE 2017 Most Reproducible Paper Award, SIGMOD 2017 Google Ph.D. Fellowship, 2017 Amir Shaikhha has advised PhD students including Hesam Shahrokhi and has been nominated for Best Supervisor of the Year at the University of Edinburgh. He leads research projects that have received recognition and support through awards and grants, including the Google Research Scholar Award. He actively serves the community through program committees (e.g., GPCE, DBPL, DRAGSTERS), editorial roles, and peer review for premier journals. His leadership in organizing workshops and conferences underscores his role as a central figure in the programming languages and databases research communities. He leads a research group focused on compiler and database systems, with recent open-source releases such as StructTensor and VecHT. His team collaborates with researchers from institutions like MIT, EPFL, and TU Berlin, and he co-chairs workshops like Sparse@PLDI and DRAGSTERS. His lab emphasizes innovation in how data-intensive programs are compiled and executed efficiently across modern hardware.
