Sara Vinco is an Associate Professor at the Department of Control and Computer Engineering (DAUIN), Politecnico di Torino, Italy. She specializes in battery simulation, digital twins, and energy-efficient design automation for heterogeneous embedded systems, aligning with Industrial and Information Engineering (Area 0009) and ERC sectors including Computer Architecture and Machine Learning . Her research focuses on advancing cyber-physical systems through simulation frameworks like SystemC-AMS, enabling holistic modeling of analog, digital, and thermal domains. Key projects include data-driven digital twins for EV batteries and low-area digital circuits in industrial/medical applications, supported by commercial contracts such as C-based virtual prototyping. Her recent publications (2022-2023) emphasize machine learning for battery SOH/SOC estimation , energy monitoring in production lines , and multi-domain fault modeling . These works span journals like IEEE Transactions and conferences including DATE and ISLPED. Awarded the FFABR 2017 grant and IEEE FDL Best Paper Award 2011 , she also chairs editorial boards for IEEE Transactions on CAD and DATE Conference. She supervises PhD students Giovanni Pollo (Digital Circuits) and Khaled Alamin (EV Battery Twins), reflecting her leadership in smart systems design.
Francis Y. Yan is an Assistant Professor of Computer Science at the University of Illinois Urbana-Champaign (UIUC), holding an affiliate appointment in Electrical & Computer Engineering within the Grainger College of Engineering. He leads the Illinois Networked Systems and AI (NSAI) research group, focusing on building intelligent networked systems that are safe, robust, and performance-optimized through practical machine learning integration. Prior to joining UIUC in January 2025, he served as a Senior Researcher at Microsoft Research Redmond under Victor Bahl. His educational background includes: Ph.D. in Computer Science from Stanford University (2020), advised by Keith Winstein and Philip Levis B.S. in Computer Science (Yao Class) and B.A. in Economics from Tsinghua University (2015) Additional undergraduate studies at MIT Yan's research adopts a holistic approach to practical machine learning for networked systems, emphasizing judicious application rather than indiscriminate use. He builds real-world systems and research platforms to lay ML foundations, devises deployable algorithms using domain insights, and validates performance through extensive empirical evidence. His work consistently addresses operator concerns regarding ML deployment—focusing on safety, robustness, generalization, and efficiency—while strategically combining ML with classical networking and systems techniques. Analysis of his 15 most recent publications (2023-2025) reveals dominant themes in resource allocation for microservices (DeDe, Autothrottle), real-time video optimization (Mowgli, GRACE), and LLM-driven network algorithm design. His work bridges theoretical advances with industrial deployment, evidenced by platforms like Puffer (400,000+ users) and OpenNetLab that have become community standards for validating congestion control algorithms. His research has been recognized with top honors: USENIX NSDI Outstanding Paper Award (2024) for Autothrottle APNet Best Paper Award (2022) IRTF Applied Networking Research Prize (2021) USENIX NSDI Community Award (2020) USENIX ATC Best Paper Award (2018) for Pantheon Yan actively recruits master's and undergraduate researchers for his NSAI group, prioritizing self-motivated students for projects in networked systems and AI. His research is supported by industry collaborations (notably Microsoft) and manifests in deployable platforms like Puffer—which has enabled award-winning research at NSDI and SIGCOMM—and OpenNetLab for real-time communications. His work directly impacts production systems including Microsoft Teams and Bing. He founded and directs the Illinois Networked Systems and AI (NSAI) research group, which operates critical infrastructure including Puffer (a live TV service and research platform) and OpenNetLab. These platforms facilitate community-wide validation of novel algorithms, with Puffer alone supporting multiple best-paper awards at top conferences. Current workstreams span cloud resource management (Teal, Autothrottle, DeDe), low-latency video (Puffer, Tambur, Mowgli), and LLM-augmented systems (Nada, Designing Network Algorithms via LLMs).
Prof. Peter Müller is a Full Professor at the Department of Computer Science at ETH Zurich since 2008. Previously, he held positions as Assistant Professor at ETH Zurich (2003-2008), Researcher at Microsoft Research Redmond (2007-2008), and IT project manager at Deutsche Bank. He earned his Diploma in Computer Science from Technical University of Munich (1996) and his Dr. rer. nat. from University of Hagen (2001) with a dissertation on modular verification of object-oriented programs. His research focuses on enabling correct software development through programming languages, verification methods, and tools. Key areas include formal verification for Rust and Go programs (Prusti and Gobra projects), separation logic, security protocols, and distributed systems verification. Müller's work emphasizes practical verification techniques for real-world systems, including secure router implementations and smart contract verification. Recent research trends highlight advancements in hyperproperties, modular reasoning for iterators and closures in Rust, and formal validation of verification tools. His methodologies bridge theoretical foundations with industrial applications, addressing challenges in concurrency, memory safety, and security assurance. Notable contributions include the SCION internet architecture, the Prusti verifier for Rust, and formal verification frameworks for distributed systems. His work often integrates rigorous mathematical foundations with scalable software engineering practices.
Jeff Offutt is a Professor and Chair of the Department of Computer Science at the University at Albany, College of Nanotechnology, Software, & Engineering. Previously, he was a Full Professor with Tenure in Software Engineering at George Mason University since 2005. He received his PhD in Information & Computer Science from the Georgia Institute of Technology in 1988. His research spans software testing, mutation testing, model-based testing, automatic test data generation, web application testing, and software engineering education. He has led significant projects such as the NSF-funded integration of CS into K-5 classrooms and the Google-funded SPARC project for scalable CS1/CS2 instruction. The 15 most recent articles reflect a continued focus on mutation testing cost reduction, model-based testing oracles, educational innovations, and security aspects of web applications. Trends include empirical validation, industrial applicability, and bridging theory with practice in software testing and engineering education. John Toups Presidential Medal for Excellence in Teaching (2020) George Mason University’s Alumni Association Faculty Member of the Year (2020) Outstanding Faculty Award from the State Council of Higher Education for Virginia (2019) Best Paper Award at ICST 2021 10-Year Most Influential Paper Award at MODELS 2020 George Mason University Teaching Excellence Award (2013) ACM Notable Article Award (2013) Jeff Offutt has mentored numerous graduate students including Upsorn Praphamontripong, Nan Li, and Yu-Seung Ma, and has led major grant-funded projects such as the SPARC educational model and NSF initiatives on K-5 CS integration. His textbook Introduction to Software Testing (with Paul Ammann) is widely adopted globally. He led the MS in Software Engineering program at GMU and developed several new courses in software testing, web engineering, and usability. He pioneered innovative teaching methods using web technologies and asynchronous learning models. He also co-founded the IEEE International Conference on Software Testing, Verification and Validation (ICST) and served as Editor-in-Chief of Software Testing, Verification and Reliability from 2007 to 2019.
Benoit Combemale is a Full Professor of Software Engineering at the University of Rennes , currently on leave as Research Director at Inria . He is affiliated with the DiverSE research team (joint between IRISA and Inria) and the SM@RT team at IRIT. He serves as Editor-in-Chief of the Springer-Nature journal Software and Systems Modeling (SoSyM) and holds leadership roles in academic conferences like ACM SIGPLAN Intl. Conference on Software Language Engineering and MODELS . Education : Habilitation (2015) and PhD (2008) in Software Engineering from University of Rennes and University of Toulouse, respectively. Research : Focuses on Model-Driven Engineering , Digital Twins , and ICT for Sustainability , with applications in cyber-physical systems, scientific computing, and industrial systems. Recent Publications highlight trends in digital twin modeling, energy-aware software engineering, polyglot programming, and formal verification for heterogeneous systems. His scientific awards include: Editor-in-Chief of SoSyM Steering Committee member of ACM SIGPLAN Intl. Conference on Software Language Engineering General Chair for ICT4S 2023 and MODELS 2016 PC Chair for MODELS 2024, ECMFA 2019, and SLE 2014 Coordinator of Dagstuhl Seminars and Bellairs workshops Advising includes 30+ students in topics ranging from digital twin engineering to software testing and language design. He leads the GEMOC Initiative and contributes to projects like SciHook and GEMOC Studio .
Bryan Parno is a Professor at Carnegie Mellon University in the Departments of Electrical & Computer Engineering and Computer Science . He is the recipient of the Kavčić-Moura Chair and leads the Secure Foundations Lab , focusing on end-to-end secure systems through formal verification. Research spans secure systems , applied cryptography , distributed systems , and zero-knowledge proofs Developed Verus (verified Rust systems) and Project Everest (verified HTTPS stack) Key contributions include Ironclad , Flicker , and Pinocchio , with impacts on Intel CPUs and Windows/iOS security models His work emphasizes open-source tools and reproducibility , often published in top venues like POPL, PLDI, and IEEE S&P. Recent projects address WebAssembly security and formal verification of complex distributed systems . Major Awards Jay Lepreau Best Paper Award (OSDI 2025) IEEE Cybersecurity Award for Practice (2024) Sloan Research Fellowship (2018) Test-of-Time Awards (IEEE S&P 2023, IEEE S&P 2020) Best Paper Awards at USENIX Security, OOPSLA, and PLDI
Brendan Dolan-Gavitt is an Associate Professor in the Computer Science and Engineering Department at NYU Tandon School of Engineering and part of the NYU Center for Cybersecurity (CCS). He holds a Ph.D. in Computer Science from Georgia Tech (2014) and a BA in Math and Computer Science from Wesleyan University (2006). His research spans cybersecurity, program analysis, virtualization security, memory forensics, and embedded/cyber-physical systems, focusing on automating the understanding of large software systems to develop novel defenses. Research interests include developing techniques for static and dynamic analyses of real-world software to reveal hidden design assumptions. His work has been presented at top security conferences like USENIX Security, ACM CCS, and IEEE Security & Privacy. He led the development of the open-source PANDA platform for dynamic analysis. His publications primarily focus on AI-driven security solutions, vulnerability discovery, and automated testing tools. Recent work explores LLMs in offensive security, fuzzing enhancements, and secure code generation, emphasizing practical applications in cybersecurity. Scientific Awards: NSF CAREER Award for improving software vulnerability testing and education He leads the OSIRIS Lab, a student-run cybersecurity group, and collaborates on interdisciplinary projects addressing emerging security challenges through grants and industry partnerships.
Dr. Gabriel Wainer is a Professor in the Department of Systems and Computer Engineering at Carleton University's Faculty of Engineering and Design. He leads the Advanced Real-Time Simulation Lab and specializes in modeling and simulation methodologies, particularly focusing on discrete event systems, real-time modeling, cellular automata, and DEVS formalism. Research Interests: Discrete event systems, DEVS formalism, cellular automata, real-time simulation, IoT applications, and parallel/distributed simulation Affiliation: Carleton University Recent publications highlight his work in advanced simulation frameworks, energy-efficient 5G systems using deep reinforcement learning, and pandemic modeling with cellular automata. His lab develops tools like PROMETHEUS and Devsmap for standardized DEVS model representation, while also exploring applications in wireless communication, building energy systems, and behavioral epidemiology.
Jonas Eliasson is a Visiting Professor at Linköping University's Department of Science and Technology (ITN), focusing on Communications and Transport Systems. He concurrently serves as Director of Transport Access at the Swedish National Transport Administration and chairs the Planning & Construction committee of the Royal Academy of Engineering Sciences. Previously, he was Director of the Stockholm City Transportation Administration (2016–2019) and a professor at the Royal Institute of Technology (KTH) from 2007 to 2016. His research emphasizes transport policy design and evaluation, including cost-benefit analysis, transport pricing, railway capacity allocation, and public acceptability of policies. He advises governments on sustainable transport planning, congestion pricing, and socio-economic appraisals. His work bridges theoretical frameworks and practical implementation, with a focus on accessibility, equity, and climate targets. Key research themes include infrastructure cost overruns, traffic demand reduction strategies, and the integration of passenger and freight transport systems. Recent publications analyze policy impacts, forecasting methods, and carbon-neutral transportation systems. His interdisciplinary approach addresses both technical and socio-political dimensions of transport challenges. Eliasson collaborates with research groups like Railway and Public Transport and contributes to initiatives like the 'Next Generation Smart Transportation Systems' project. Despite extensive professional roles, no formal student advisees are listed. His work is disseminated through journals like Transportation Research Part A and policy reports for national and regional governments.
David Wentzlaff is a Professor of Electrical and Computer Engineering at Princeton University, with associated faculty roles in Computer Science and the High Meadows Environmental Institute (HMEI). He leads research in computing architecture, green computing, and sustainable system design. As Director of Undergraduate Studies, he shapes educational programs in his field. Education: Ph.D., Electrical Engineering, MIT (2012) M.S., Electrical Engineering and Computer Science, MIT (2002) B.S., Electrical Engineering, University of Illinois at Urbana-Champaign (2000) Research Focus: Future Computing Systems: Designing manycore architectures, cloud computing infrastructure, and chiplet-based systems for exascale computing. Sustainability: Developing energy-efficient hardware, recyclable computing systems, and eco-friendly decommissioning strategies. Hardware-Software Co-Design: Exploring FPGA integration, in-memory computing, and parallel processing frameworks. Advising & Grants: Advises 8 current graduate students, focusing on topics like chiplet design, neural acceleration, and sustainable computing. Recipient of NSF grants for projects like OpenPiton (open-source manycore research platform) and CAREER awards for energy-efficient architectures. Labs & Collaborations: Leads the Wentzlaff Research Group at Princeton. Develops open-source frameworks like PRGA (FPGA prototyping) and OpenPiton (manycore processor).
Professor Andrew Ireland is a faculty member in the School of Mathematical & Computer Sciences at Heriot-Watt University, specializing in Computer Science. His research focuses on formal methods, autonomous systems, and the intersection of AI with legal frameworks. He has authored over 39 publications since 1996, with recent work emphasizing safety-critical systems, hazard analysis, and legal implications of autonomous vehicle design. Recent collaborations span international teams addressing transnational legal challenges in AI and autonomous systems. His contributions include developing formal modeling techniques for accident anticipation and ontology-based legal support systems. Ireland has served as an editor for academic journals and conferences, such as the AVoCS 2015 special issue. His work bridges technical innovation with regulatory compliance, ensuring safe implementation of emerging technologies.
Tri Setiyono is an Assistant Professor in the School of Plant, Environmental, and Soil Sciences at Louisiana State University (LSU). Previously, he served as a Scientist at the Sustainable Impact Platform of the International Rice Research Institute (IRRI), Los Baños, Philippines (2011–2021), and as a Postdoctoral Research Associate in the Department of Agronomy and Horticulture at the University of Nebraska-Lincoln (2007–2011). He is affiliated with the LSU AgCenter and the LSU College of Agriculture, contributing to research and extension services in precision agriculture and crop resilience. Education: PhD in Agronomy, University of Nebraska-Lincoln (2007) MS in Agronomy, Kansas State University (2003) BS in Agronomy, Bogor Agricultural University (1998) Research interests focus on precision agriculture, remote sensing, and AI applications to enhance crop production resilience against climate change. He specializes in GIS for agronomic research, crop growth models (e.g., ORYZA, SoySim), and integrating SAR and MODIS satellite data for yield estimation. His work emphasizes sustainable practices and technology-driven solutions for row crops in dynamic environments. Publications highlight advancements in rice monitoring systems, soybean and maize modeling, and decision tools for nutrient management. These contributions bridge technological innovation with practical agricultural challenges in Asia and the US. Scientific awards: None explicitly mentioned in the text. Advising and grants: No formal advisees/students are listed. Professional experience includes roles at IRRI and UNL, suggesting involvement in grant-funded research projects, but specific grant details are not provided. Labs/Teams: Associated with Louisiana State University AgCenter research stations and collaborative projects like the RIICE initiative, but no specific lab names or teams are detailed in the text.
Dr. Farhad Merchant is an Assistant Professor of Innovative Computer Architecture at the Bernoulli Institute, University of Groningen, since July 2024. Previously, he served as a Lecturer (Assistant Professor) at Newcastle University (2022–2024) and held research roles at Bosch Research, NTU, and RWTH Aachen University. His research focuses on emerging technology-based computing and hardware-oriented security, including neuromorphic architectures, in-memory computing, and secure hardware design. Education: PhD in Electronics Engineering from the Indian Institute of Science, Bangalore, with a DAAD-funded visit to RWTH Aachen University. He also holds industry experience from Bosch Research. Research Interests : - Hardware Security - Neuromorphic Computing - Algorithm-Architecture Co-design - Reconfigurable Computing - Computer Arithmetic Projects : - Coordinator for the REACT project (2025–2029): Focuses on self-aware neuromorphic architectures. - Principal Investigator for Privacy-Preserving Computer Architectures (CogniGron, 2025–2029). - Completed BioNanoLock project (DFG-funded, focusing on bio-nanoelectronic security). Awards : - Best Paper Awards at ISQED 2022, NEWCAS 2023, and VLSI-DAT 2024. - Minerva Fellowship (Technion, Israel), HiPEAC Technology Transfer Award (2019). He co-founded the SeHAS workshop (since 2019) and serves on editorial and program committees for major conferences like DAC, ISLPED, and VLSI-SoC.
David Henderson is the Director of the Cyclone Testing Station (CTS) in the School of Engineering and Physical Sciences at James Cook University, Australia. He has over two decades of experience as a research engineer specializing in the performance of low-rise buildings under extreme wind conditions. He previously served as the CTS Research Fellow and Manager, and was seconded as a Postdoctoral Researcher at the University of Western Ontario, Canada, working on full-scale house testing under simulated wind loads. His work bridges engineering research, disaster assessment, and policy development. David's research focuses on wind engineering, structural resilience, and disaster mitigation. His key interests include cyclonic wind loading, internal and external pressure dynamics in buildings, fatigue failure of structural connections, and the vulnerability of housing to severe wind events. He has conducted post-disaster surveys across Australia and Canada, assessing damage from cyclones, tornadoes, and earthquakes. His research has direct applications in building codes, retrofitting strategies, and community risk reduction. The recent publications highlight a strong trend in understanding and mitigating wind-induced damage to residential structures, particularly through full-scale testing, modeling of pressure dynamics, and fragility assessment of roofing systems. His work spans experimental, theoretical, and policy-oriented domains, with a growing emphasis on climate change adaptation and community resilience. Topics such as internal pressure design, load sharing in roof frames, and retrofitting for wind resistance are central to his contributions. 14 research awards (specific names not listed) Active member of Standards Australia code committees Invited speaker at national and international conferences Media contributor on storm damage and building safety David has led multiple research projects funded by councils and agencies focused on extreme wind mitigation, data systems (SWIRLnet), and community risk reduction. While formal student supervision is not explicitly listed, he collaborates extensively with researchers such as John Ginger, Korah Parackal, and Daniel Smith. He has contributed to major studies involving wind load testing, housing vulnerability modeling, and climate adaptation planning. David is a key figure in the Cyclone Testing Station, leading its full-scale testing program and contributing to the development of software for controlled load and measurement systems. His team conducts wind risk assessments for communities and large installations, incorporating terrain analysis and retrofitting evaluations. The CTS serves as a national resource for wind engineering research and disaster resilience innovation.
Benjamin J. Delaware is an Assistant Professor of Computer Science at Purdue University. His research focuses on programming languages, formal verification, and tools for ensuring software correctness using mechanized theorem provers. He holds a Ph.D. from The University of Texas at Austin (2013), an MSc from Washington University in St. Louis (2007), and a B.S. from Truman State University (2005). His work emphasizes practical formal methods, including static enforcement of privacy policies, compiler design for oblivious computation, and automated verification techniques. Key contributions include tools like Taypsi, KestRel, and HACCLE. His research bridges theory and practice, addressing challenges in software security, correctness, and efficiency. Publications span top venues like POPL, PLDI, and OOPSLA, reflecting a strong focus on foundational programming language concepts. Collaborations with researchers like Suresh Jagannathan and Qianchuan Ye drive advancements in automated reasoning and secure computation.
