Carlisle-Martin is an Associate Department Head and Professor of Practice in the Department of Computer Science & Engineering at Texas A&M University. They also serve as Director of the United States Air Force Academy Center for Cyberspace Research. Their research focuses on computer security, programming languages, and innovative computer science education techniques. Education: Ph.D., Computer Science, Princeton University (1996) B.S., Mathematics and Computer Science, University of Delaware (1991) Research Interests: Malware analysis and detection Cybersecurity frameworks for DNS and network protocols Visual programming tools like RAPTOR for education Ada language modernization and integration Cybersecurity education through CTF competitions Awards: 2016: Meritorious Civilian Service Award (USAF) 2014: SANS Institute Security Award 2009: ACM Distinguished Educator 2008: Colorado Professor of the Year 2007: Arthur S. Flemming Award Advising & Grants: Known for mentoring through cybersecurity initiatives and leading the USAF Academy's cyberspace research programs. No specific grant details listed, but their work aligns with defense and education funding priorities. Labs/Teams: Directs the USAF Academy's Center for Cyberspace Research, focusing on applied cybersecurity solutions and educational outreach.
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
Sharad Malik is the George Van Ness Lothrop Professor of Engineering at Princeton University's Department of Electrical and Computer Engineering. His research focuses on designing functionally correct and secure computing systems, combining system design with mathematical modeling for verification. He pioneered the Instruction-Level Abstraction (ILA) model for SoC verification and has contributed extensively to Boolean satisfiability (SAT) solvers. Education: PhD (1990), M.S. (1987) in Computer Science from UC Berkeley; B.Tech. (1985) in Electrical Engineering from IIT Delhi. Research Interests: Formal Verification of Digital Systems Hardware Security and Trust Boolean Satisfiability Solvers System-on-Chip (SoC) Design Accelerator-rich Platform Architectures Notable Achievements: IEEE CEDA A. Richard Newton Technical Impact Award (2017) 2013 IEEE/ACM DAC Most Cited Paper Award Princeton President’s Distinguished Teaching Award (2009) Advising & Labs: Leads the Malik Group, advising over 50 graduate students and postdocs. Active in postdoc recruitment and mentorship programs.
Prof. Dr. Oliver Crönertz serves as Dean and Professor of Business Administration and IT-Supported Business Processes at the Faculty of Digital Transformation , HTWK Leipzig. His work bridges digital transformation with business management, focusing on interdisciplinary project management, digital business models, and sustainability. Current roles: Dean, supervising professor for HTWK Robots/nao Team Research areas: Digital Transformation, Business Analytics, Industry 4.0, Stoffstrommanagement Research Trends : Recent publications emphasize digital solutions for environmental management, business process optimization, and smart urban logistics. His work connects Industry 4.0 with financial sustainability and societal impacts of digitalization. Projects : Leads Mittelstand-Digital Zentrum Leipzig-Halle, involved in EXIST-Potentiale, Future Parking, and FAssMII (Feedback-based E-Assessment in STEM).
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.
Hakan Aydin is a Professor and Director of the PhD Program in the Department of Computer Science at George Mason University's Volgenau School of Engineering. He has been teaching at George Mason University since 2001 and has established himself as a leading researcher in real-time embedded systems and energy-aware computing. Education: PhD in Computer Science from the University of Pittsburgh (2001) Hakan Aydin's research primarily focuses on sustainable computing, real-time embedded systems, fault tolerance, Internet-of-Things, and cyber-physical systems. His work bridges theoretical foundations with practical implementations, particularly in energy management for real-time systems. He has developed innovative techniques for reliability-aware power management, dynamic voltage scaling, and energy harvesting in wireless sensor networks. His research has significant implications for extending battery life in mobile devices, improving reliability in safety-critical applications, and enabling sustainable computing practices. Aydin's publications reveal a consistent research trajectory centered around energy efficiency and reliability in real-time systems. His work spans theoretical algorithm development, system-level implementation, and experimental validation. A notable trend is the evolution from single-processor systems to multicore and heterogeneous architectures, reflecting industry trends. His recent work increasingly addresses security aspects of real-time systems and the integration of IoT technologies. Scientific Awards: National Science Foundation CAREER Award (2006) George Mason University Computer Science Department Teaching Award (2006, 2009) Best Paper Award at IEEE Green and Sustainable Computing Conference (IGSC'20) Best Student Paper Award at IEEE International Conference on Embedded Software and Systems (ICESS'15) Best Paper Award at IEEE International Conference on Embedded Computing (EmbeddedCom'14) Best Paper Award at International Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH'13) Best Paper Award at ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM'11) Hakan Aydin has advised seven PhD students to completion, including Vinay Devadas (2011), Baoxian Zhao (2012), Bo Zhang (2012), Mohammad Atiqul Haque (2016), Maryam Bandari (2016), Arda Gumusalan (2019), and Abhishek Roy (2021). His research has been generously supported by the National Science Foundation through multiple grants, including CSR: Small: Collaborative Research: Towards Reliability-Centric Real-time Computing on Heterogeneous Chip Multiprocessor Systems (2014-2017), CSR: Small: Energy Harvesting for Performance Sensitive Wireless Sensor Networks (2011-2015), and CSR: Small: Collaborative Research: Generalized Reliability-Aware Power Management for Real-Time Embedded Systems (2010-2014). Prof. Aydin has held significant leadership roles in the academic community, serving as the Technical Program Committee Chair of the IEEE RTAS 2011 and General Chair of IEEE RTAS 2012. He is also a member of the Editorial Board of Journal of Real-Time Systems (Springer). His work has established foundational principles in reliability-aware energy management for real-time systems, influencing both academic research and industrial practices in embedded computing.
Wang Jianmin serves as Professor and Doctoral Supervisor at Tongji University's School of Art and Media, concurrently holding the position of Vice Dean since 2014. With a computer science PhD from Sun Yat-sen University, he bridges engineering and media arts through pioneering research in intelligent communication systems and digital media interfaces. His work focuses on human-centered design for emerging technologies, particularly in automotive and virtual environments. His academic foundation includes: PhD in Engineering (Computer Software and Theory), Sun Yat-sen University (2003) Master's in Computational Mathematics, Sun Yat-sen University (1999) Bachelor's in Computational Mathematics, Nankai University (1996) Professor Wang's research centers on intelligent communication systems and digital media art, with significant contributions to automotive human-machine interfaces (HMI), virtual reality applications, and user experience methodologies. His investigations into driver-robot transparency, augmented reality navigation, and mixed-reality educational platforms demonstrate interdisciplinary innovation connecting computer science, cognitive psychology, and design theory. Current projects explore AI-driven media systems for urban environments and safety-critical interaction frameworks. Analysis of his recent publications reveals a cohesive research trajectory focusing on automotive HMI (40% of output), human-robot interaction (30%), and mixed reality applications (30%). His work consistently emphasizes experimental validation through driving simulators and user studies, yielding practical design guidelines for industry implementation. The interdisciplinary nature spans computer science, cognitive ergonomics, and media studies, with increasing emphasis on AI integration in communication systems. His scientific recognition includes national and provincial awards for innovation in human-computer interaction and educational technology: 2019 China Industry-University-Research Innovation Award for automotive HMI systems 2020 China User Experience Alliance Excellence Award 2012 Guangdong Dingying Science and Technology Award Multiple national/provincial science progress awards (2001-2009) 2020 Tongji University Teaching Achievement Award for curriculum development As an educator, Professor Wang mentors graduate students in national design competitions including the 'Core Cup' Future Automotive HMI Challenge and International User Experience Innovation Competition. His research program is supported by substantial funding from diverse sources: National Grants: National Natural Science Foundation projects on driver behavior modeling and cognitive testing Ministry of Education: 15+产学合作 projects for virtual simulation labs and curriculum development Shanghai Municipal: Publicity Department funding for smart city media research Industry Partnerships: Huawei (intelligent vehicle HMI), SAIC Motor (AR-HUD design), and automotive electronics firms He directs Tongji's Media Experiment and Practice Teaching Center and the All-Media Research Institute, leading teams developing virtual simulation platforms for emergency news reporting, intelligent vehicle interaction testing systems, and mixed reality educational tools. Current initiatives focus on AI-enhanced media art for urban applications and next-generation HMI frameworks for autonomous mobility solutions.
Akio Kodaira is affiliated with the Institute of Science Tokyo as a researcher. His work focuses on soft robotics, mechatronics, and advanced actuator design using materials like IPMC (Ionic Polymer-Metal Composites) and flexible fuel cells. Primary institution: Institute of Science Tokyo Research Interests Kodaira's research spans the development of soft robots, thin-film actuators, and bio-inspired mechanical systems. Key areas include IPMC fabrication techniques, energy-efficient actuators using Au/Pt electrodes, and 3D crafts using paper/fabric materials. Publication Trends Recent publications emphasize soft robotics, material hybridization (e.g., paper/fabric-assisted IPMC), and flexible fuel cell applications. His collaborations with researchers like Koichi Suzumori and Hiroyuki Nabae highlight interdisciplinary efforts in mechatronics and mechanical engineering. Collaborations Frequent co-authors include Koichi Suzumori (Professor, Institute of Science Tokyo), Kinji Asaka , and Hiroyuki Nabae . Projects involve thin-film robotics, McKibben muscles, and simulator-based navigation software.
Vinod M. Vokkarane is a Professor in the Department of Electrical and Computer Engineering at the University of Massachusetts Lowell, where he serves as Director of the Center for Smart Cyber-Physical Systems (SCyPS) and Director of Advanced Computer Network Labs. Previously, he was an Associate Professor at University of Massachusetts Dartmouth from 2004 to 2013 and a Visiting Scientist at MIT's Research Laboratory of Electronics from 2011 to 2014. His extensive research portfolio spans multiple domains of advanced networking and cyber-physical systems. Dr. Vokkarane earned his educational foundation with a B.S. from University of Mysore, India (1999), followed by an M.S. (2001) and Ph.D. (2004) in Computer Science from the University of Texas at Dallas. His dissertation focused on optical burst-switched networks, establishing the foundation for his future research trajectory. His research interests center on Cyber-Physical Systems, Network Optimization, Reliability, Smart Grids, and Cyber-Security, with particular expertise in the design, analysis, and modeling of architectures, protocols, and algorithms for ultra-high speed networks including Optical networks, Grid/Cloud networks, and Big-data networks. His work bridges theoretical foundations with practical implementations, often addressing critical challenges in network reliability, security, and efficiency. His research has received significant recognition through numerous best paper awards and substantial external funding. Analysis of his recent publications reveals a clear evolution toward increasingly sophisticated integration of cyber-physical systems with power infrastructure, particularly in the areas of grid resilience and observability. His work has expanded from fundamental optical networking research to address critical infrastructure challenges, with a growing emphasis on machine learning applications for network optimization and power system monitoring. The recent focus on PMU networks, disaster resilience, and cyber restoration demonstrates his strategic pivot toward addressing national security and critical infrastructure protection challenges. UMass Dartmouth Scholar of the Year Award (2011) UMass Dartmouth Chancellor's Innovation in Teaching Award (2010-11) University of Texas at Dallas Computer Science Dissertation of the Year Award (2003-04) Multiple Best Paper Awards including IEEE GLOBECOM 2005, IEEE ANTS 2010, ONDM 2015, ONDM 2016, and IEEE ANTS 2016 Texas Telecommunications Engineering Consortium Fellowship (2002-03) Dr. Vokkarane has successfully mentored numerous graduate students who have contributed significantly to his research projects, with several going on to successful careers in academia and industry. His research has been consistently supported by major funding agencies including NSF, DOE, and USMC, with recent projects totaling over $5 million in funding. Current projects include Unified Post-Disaster Restoration Planning for Cyber-Physical Power Distribution Systems (ONR, $550K), CyberCARE: Northeast University Cybersecurity Center (DOE, $3.5M), and Flexible Spectrum Allocation in Next-Generation Optical Networks (NSF, $350K). He leads the Center for Smart Cyber-Physical Systems (SCyPS) and Advanced Computer Network Labs at UMass Lowell, where his research teams work on cutting-edge problems in network architecture, cyber-physical security, and infrastructure resilience. His labs collaborate extensively with national laboratories and industry partners to translate theoretical advances into practical solutions for real-world infrastructure challenges.
Laurie Williams serves as a Goodnight Distinguished University Professor in the Computer Science Department within the College of Engineering at North Carolina State University. She co-directs both the NCSU Secure Computing Institute and the NC State Science of Security Lablet, demonstrating deep institutional leadership in cybersecurity research. With over 260 refereed publications, her work establishes her as a prominent figure in software security academia. Her research spans critical areas including software security, agile development practices (particularly continuous deployment), software reliability, and software supply chain security. Williams focuses on practical security solutions addressing modern challenges like malicious dependencies in open-source ecosystems, AI-generated code vulnerabilities, and runtime protection mechanisms. Her work bridges theoretical security principles with industry-relevant applications. Recent publications reveal strong trends toward software supply chain security, with multiple 2024-2025 papers addressing vulnerability exploitability, malicious commit detection, and metrics-driven security control selection. Her research increasingly incorporates machine learning for threat detection while maintaining focus on human factors in secure development practices. IEEE Fellow (2018) National Science Foundation CAREER Award (2004) ACM SIGSOFT Influential Educator Award (2009) Multiple IBM Faculty Awards (2002-2012) NCSU Alumni Association Outstanding Research Award (2015-2016) Williams leads multiple major NSF-funded projects including the $5.7M SaTC Frontiers grant on secure software supply chains and the Science of Security Lablet with $3.6M in DoD funding. Her research emphasizes practical industry impact through collaborations with Cisco and Laboratory for Analytic Sciences. She actively mentors through the NCSU Research Leadership Academy and maintains significant educational outreach in software security. Her laboratory work centers on the Secure Computing Institute and Science of Security Lablet, where her team develops frameworks for vulnerability prediction, supply chain risk assessment, and secure development methodologies. Current projects focus on machine learning integrity, cognitive modeling for security decisions, and empirical analysis of build/deployment logs for anomaly detection.
Kwantae Kim is an Assistant Professor at the Department of Electronics and Nanoengineering within Aalto University's School of Electrical Engineering . He leads the Tiny Systems and Circuits (TSirc) Group , focusing on power-efficient analog/mixed-signal ICs for biomedical and neuromorphic sensor systems. IEEE Senior Member (2025) Collaborates with institutions across Europe, Asia, and America Specializes in ultra-low-power AI-embedded IoT platforms His research emphasizes Tiny, Sensory, Intelligent, and Wireless IoT systems through: Development of energy-efficient IC architectures Democratizing access to advanced chip design Hardware-software co-design for edge computing Recent publications highlight innovations in: Spoken-language-understanding SoCs Temporal-sparsity-aware keyword spotting Open-source silicon frameworks Awards include: 2025 IEEE Senior Member 2023 Best Poster Award (AICAS) 2019 Samsung HumanTech Silver Award Research partnerships span: Prof. Tobi Delbruck (UZH/ETH Zurich) Prof. Hoi-Jun Yoo (KAIST) Prof. Shih-Chii Liu (UZH) Prof. Sohmyung Ha (NYU Abu Dhabi)
William A. Goddard, III is the Charles and Mary Ferkel Professor of Chemistry, Materials Science, and Applied Physics at the California Institute of Technology. With a career spanning over five decades, he has held positions from Noyes Research Fellow (1964–66) to his current professorship since 2001. His educational background includes a B.S. from UCLA (1960) and a Ph.D. from Caltech (1965). Quantum chemistry and first-principles simulations Multiscale modeling (QM→MD→mesoscale) Catalysis and protein structure prediction Nanotechnology and bionanotechnology Energy storage (batteries, supercapacitors) Recent publications emphasize applications in metal-organic frameworks , electrocatalysis , and space manufacturing , reflecting his interdisciplinary approach. His work on G-protein coupled receptors and Li-S batteries demonstrates methodological innovation through quantum mechanics and machine learning . Horizon Prize , Royal Society of Chemistry Over 1548 total publications (1967–2022) As Director of Caltech's Material and Process Simulation Center , he leads development of software like ReaxFF for reactive dynamics. He teaches Ch 120 ab (Nature of the Chemical Bond) and Ch 121 ab (Atomic-Level Simulations), emphasizing hands-on computational applications for experimentalists and theorists.
Dr Isobelle Clarke is a Lecturer in Security and Protection Science at the School of Social Sciences, Lancaster University. Her work bridges corpus linguistics, forensic linguistics, and sociolinguistics with a focus on media and social media discourses. Research Overview Current projects: Leverhulme-funded investigation of anti-science discourses (anti-vaccination, climate denialism, anti-GMO) Core Methodologies: Corpus analysis, discourse analysis, authorship attribution Her recent publications explore: Climate change denialism across conspiracy platforms Vaccine conspiracy theories on social media Representation of religion in press Spoken language patterns in American English She supervises PhD student Xinran Wang and contributes to academic activities like the FACTOR Summer School and Lancashire Cyber Education Week. Her work integrates computational methods with critical discourse analysis.
Mark S. Handcock is a Distinguished Professor in the Department of Statistics and Data Science at the University of California, Los Angeles (UCLA), where he leads research at the intersection of statistical methodology and applied problems in social sciences, epidemiology, and environmental science. His work bridges theoretical statistics with real-world challenges through innovative methodological development. His primary research interests encompass statistical models for social networks, network inference, methodology for hard-to-reach population surveys, spatial processes, demography, and environmetrics. Handcock has pioneered advances in exponential-family random graph models (ERGMs) and developed foundational R packages like ergm and tergm within the statnet suite, enabling sophisticated network analysis across disciplines. Analysis of his recent publications (2023-2025) reveals three dominant research thrusts: (1) Antarctic sea ice modeling using Bayesian reconstruction and temporal variability analysis, (2) epidemiological modeling of infectious disease transmission dynamics (particularly COVID-19), and (3) methodological innovations in network inference and causal analysis over stochastic networks. His work consistently integrates advanced computational statistics with domain-specific applications in climate science, public health, and social systems.
