Majken Schultz is a Professor of Management and Organization Studies at Copenhagen Business School (CBS) since 1996, affiliated with the Center for Organization and Time (COT). She serves as Chair of the Carlsberg Foundation (since 2022) and Deputy Chair of the Carlsberg Group (since 2022), with prior board roles at Realdania (until April 2023) and Danish Crown (2018–2021). Her research explores the temporal dimensions of organizational phenomena, focusing on how distant futures and pasts influence strategy, identity, and temporary organizations, particularly in the context of climate change. Research Trends : Recent work examines organizational resilience through temporal trajectory models, path enactment for distant-future goals, and corporate sustainability initiatives. Publications highlight challenges in translating long-term climate targets into actionable strategies and reconfiguring organizational-nature relationships via pilot projects. Scientific Awards : Member of the Royal Danish Academy of Sciences and Letters Grants & Leadership : Principal Investigator for the Making Distant Futures Actionable: Innovating for Zero-Carbon Future project (Novo Nordisk Foundation, 2021–2025). Active in Danish business networks with board roles in multiple organizations (2013–2025).
Daniel E. Koditschek is the Alfred Fitler Moore Professor in the Department of Computer and Information Science at the University of Pennsylvania’s School of Engineering and Applied Science. He also holds primary appointments in the Department of Electrical and Systems Engineering and a research affiliation with the Department of Mechanical Engineering and Applied Mechanics. He is a leading figure in the GRASP Lab, where he leads the Kod*lab, a specialized group focused on physical interaction and locomotion in autonomous robots. His research lies at the intersection of dynamical systems theory and robotics, emphasizing legged locomotion, hybrid control systems, and bio-inspired design. Koditschek's work integrates formal mathematical modeling with empirical testing of physical robots that run, jump, climb, and manipulate objects. He actively explores how biological insights into animal mobility can inform robotic autonomy and control. His group maintains strong collaborations with biologists and emphasizes embodied intelligence in machine behavior. The recent publications reflect a strong trend in applying theoretical control frameworks—such as hybrid dynamical systems, averaging methods, and navigation functions—to practical robotic challenges in unstructured environments. Topics include terrain adaptation, energy-efficient locomotion, reactive planning, and affordance-based interaction. There is a clear focus on bridging abstract mathematical models with real-world robotic performance, particularly in legged and mobile manipulation systems. IEEE RAS Pioneer Award Heilmeier Research Award AFOSR MURI Award (2010) Daniel Koditschek has advised numerous PhD students and postdoctoral researchers, many of whom now hold faculty positions or leadership roles in robotics companies like Ghost Robotics and Boston Dynamics. His research is supported by major grants from the NSF and AFOSR, including the MURI award and REU/RET programs that engage K-12 and undergraduate educators. He has also been involved in international outreach, including activities at the Penn Wharton China Center. Koditschek leads the Kod*lab within the GRASP Lab’s PERCH facility, which houses advanced legged robots such as the Ghost Minitaur, XRHhex, Inu, Delta Hopper, and Jerboa platforms. The lab emphasizes experimental validation of control theories using custom hardware and real-world terrain challenges.
Prof. Dr. Johanna Heitzer is a University Professor for Mathematics Education at RWTH Aachen University since 2011. She leads the Teaching and Research Area of Mathematics Education within the university's mathematics department. Her office is located in Room 352 of the Kreuzherrenstraße 2 building in Aachen. She serves as co-editor of the journal 'mathematik lehren,' co-author of the 'Mathematics - New Ways' textbook series, and holds numerous committee positions including membership in the Faculty Advisory Board and Structural Commission of the Center Council. 1989: High school diploma 1989-1994: Mathematics and Physics Teacher Training at RWTH Aachen 1994-1996: Traineeship at Aachen Teacher Training College 1997: Research assistant at University of Münster 1998-2007: Mathematics and Physics teacher at Korschenbroich Gymnasium 2007-2010: Scientific assistant and doctorate at RWTH Aachen 2011-present: University Professor at RWTH Aachen Professor Heitzer's research focuses on the training and further education of mathematics teachers, development of contemporary teaching materials, applied and interdisciplinary mathematics, and the transition from school to university. Her work emphasizes concept formation, linguistic communication in mathematics, and the historical development of mathematical ideas as teaching resources. She investigates mathematics-specific learning and cognitive processes through multiple research projects including the Aachen school-university project iMPACt. Her recent scholarly output demonstrates a strong trend toward integrating digital technologies in mathematics education, particularly 3D printing and e-learning tools. She has increasingly focused on the social relevance of mathematics, exploring concepts of fairness, sustainability, and citizen empowerment through mathematical modeling. Her work bridges theoretical mathematics education with practical classroom applications, maintaining a strong connection to both historical perspectives and contemporary educational challenges. Special prize from Sparkasse Bad Hersfeld-Rotenburg for best mathematics Abitur (1989) Borchers Plaque for doctoral examinations passed with distinction (2011) DMV honor as Mathemaker of the Month (2013) Brigitte Gilles Prize 2013 for the MINT-L4 Center Professor Heitzer has supervised numerous doctoral students, serving as primary or secondary advisor for at least nine PhD dissertations between 2016-2021. Her research projects include the School-University Project MathePlus Aachen (iMPACt), e-Learning 'Mathematics for Civil Engineers,' and the development of mathematics items for StudiChecks NRW. She has secured funding through the Quality Initiative for Teacher Education (both phases) and participates in the ComeIn project focused on digitalization in teacher training. Her grants consistently emphasize practical applications of mathematics education research with direct impact on classroom practice. As a founding member of the MINT-L4@RWTH center and initiator of the working group Mathematical Education for Sustainable Development, Professor Heitzer has established significant collaborative structures. She participates in the Subject Didactics Forum at the Teacher Training Center of RWTH Aachen and has served in leadership roles including Chair of the Center Council (2014-2016) and Board member of the Teacher Training Center (2014-2017). Her work connects with national and international networks through her membership in the Society for Mathematics Education (GDM), the German Association for Mathematics and Science Education (MNU), and the German Mathematical Society (DMV).
James Aspnes is the Harold W. Cheel Professor of Computer Science at Yale University, specializing in distributed algorithms and randomized methods. He holds a PhD from Carnegie Mellon University and degrees from MIT. His research focuses on distributed systems, peer-to-peer networks, and sensor networks, emphasizing tools for efficient data management and fault-tolerance. Education: PhD (CMU, 1992), SM & SB (MIT, 1987) Affiliations: Yale since 1993, IBM Almaden Research Center (1992–1993) Research interests include distributed algorithms, randomization, and applications in biology and economics. Notable contributions include skip graphs, population protocols, and consensus algorithms. He has received the ACM-EATCS Dijkstra Prize (2020) and Dylan Hixon Prize (2000). Publications span distributed computing, algorithms, and cryptography. Recent work explores consensus protocols and privacy in population models. Grants include NSF awards totaling over $2M. Active in editorial roles (Algorithmica, Distributed Computing) and conference organization (PODC 2005, DCOSS 2007).
Luca Cardelli is a Principal Researcher and Assistant Director at Microsoft Research Cambridge, UK, since 1997. He holds visiting professorships at Imperial College London (Department of Computing, 2004–2009) and the University of Trento (2005–2007). He earned his PhD in Computer Science from the University of Edinburgh in 1982. His research spans type theory , molecular programming , and principles of programming languages , with applications to systems biology and concurrency theory. Notable contributions include formal frameworks for modeling biochemical systems (e.g., the stochastic π-calculus) and designing DNA-based circuits. Key achievements include the AITO Dahl-Nygaard Senior Prize (2007) and multiple Most Influential Paper Awards at POPL and ETAPS. His work bridges computer science and biology, advancing both theoretical foundations and practical molecular computing.
Dr. Chee Kiat Seow is an Associate Professor at the University of Glasgow's School of Computing Science. He holds a PhD from Nanyang Technological University (NTU) and an MSc from the National University of Singapore (NUS). His research focuses on cyber-physical security, wireless communication localization, and IoT systems leveraging AI/ML. He has led projects valued in the millions, winning awards like the IEEE Best Student Paper and National Instruments Engineering Impact Awards. Education: PhD (NTU), MSc (NUS) Research: Specializes in UWB positioning, spoofing detection, and IoT integration with 5G/GNSS. Teaching: Courses include Big Data, Software Engineering, and Data Analytics. His recent work addresses NLOS mitigation in indoor localization and cyber-physical security threats. Over 63 publications span journals like IEEE Transactions and conferences such as IPIN and WF-IoT. Supervised 6+ PhD/MSc students on topics like autonomous robotics and AI-driven localization. Grants: Includes $853K for 5G-X Smart Building projects and $797K for GNSS signal authentication. Awards: IEEE PIERS Best Student Paper (2019), NI Engineering Impact Awards (2015-2016). He advises on IoT and cybersecurity for organizations like ARTC and National Instruments. Active in IEEE Signal Processing and Computer Society.
Dr. Emily Cuming is a Senior Lecturer in the Humanities and Social Science school at Liverpool John Moores University , specializing in British literature, culture, and social history from the 19th century to the present. Her research focuses on maritime relations, working-class girlhood, life writing, and representations of domestic spaces including council estates, slums, and bedsits. PhD, MA, BA in English & Russian from University of Manchester (2006, 2002, 2001) Editor of Key Words: A Journal of Cultural Materialism Co-leader of the Home and Domestic Cultures research network Committee member of the Research Institute for Literature and Cultural History Board member of the Centre for Port and Maritime History Her research combines literary analysis with historical and cultural studies, emphasizing material culture, port cities, and marginalized voices. Recent publications include Maritime Relations: Life, Labour and Literature at the Water’s Edge, 1830-1914 (Cambridge University Press, forthcoming 2025) and Housing, Class and Gender in Modern British Writing, 1880-2012 (CUP, 2016). She has received multiple research grants including AHRC Connected Communities funding and Liverpool John Moores University QR awards. Dr. Cuming teaches undergraduate modules on Life Stories , Representing Domestic Space , and Waterscapes , as well as MA courses on Place: Imagining Place in Modern Times . She supervises three PhD projects and welcomes new supervisees in her research areas. 2025: Enhancing Research Cultures funding for 'The Sinking of the Lancastria' 2024: Editorial board member of Journal of Victorian Culture 2023: NCCPE Engage Prize for 'Around the Toilet' project 2022: Caird Short-term Research Fellowship 2016: NCCPE Engage Prize winner
Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives
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.
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.
Danfeng Zhang is a faculty member at Duke University whose research sits at the intersection of programming languages and security. Active across the premier PL conferences since 2015, Zhang has served on more than two-dozen program committees and currently co-chairs the POPL Student Research Competition. Education & Affiliation: Home page: users.cs.duke.edu/~dz132 Affiliation: Duke University, United States Research Interests: Zhang’s work spans programming-language design, static and dynamic analysis, formal verification, and security. A recurring theme is developing language-based techniques that guarantee strong security and privacy properties—ranging from side-channel resistance and constant-time execution to differential-privacy proofs—while preserving performance and usability. His recent projects combine type systems, program logics, and automated reasoning to build practical verification tools for concurrent, speculative, and approximate software. Publication Trends: Across nine representative papers (2015-2024) Zhang has advanced static detection of cache side channels, automated proofs of differential privacy, and relaxed concurrency models. The trajectory shows deepening integration of security concerns into language infrastructure, with tool-building (CtChecker, SpecSafe, LightDP) that bridge formal guarantees and real-world systems. Service & Leadership: 2024 POPL Student Research Competition Co-Chair 2025 POPL Program Committee member Repeated reviewer/PC member: PLDI, SPLASH/OOPSLA, ISSTA, ECOOP, APLAS, PriSC, PASS Zhang regularly mentors student researchers through SRC sessions and workshop panels, fostering diversity and early-career participation in the programming-languages community.
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.
Kurt Maute is a Professor and Palmer Engineering Chair at the University of Colorado Boulder’s College of Engineering and Applied Science (CEAS). He currently serves as Associate Dean for Undergraduate Education. His academic journey includes a PhD in Civil Engineering (University of Stuttgart, 1998) and a Dipl.-Ing. in Aerospace Engineering (University of Stuttgart, 1992). He has held progressively senior roles at CU Boulder, including Associate Dean for Research (2012–2014), Associate Professor (2006–2012), and Assistant Professor (2000–2006). Maute’s research focuses on structural topology optimization, multi-disciplinary optimization, and aeroelastic systems. He has pioneered methods integrating XFEM, level-set techniques, and isogeometric analysis for complex engineering problems. His work spans fluid-structure interaction, hypersonic vehicle design, and additive manufacturing. His notable contributions include advancements in immersed boundary methods, multi-material optimization, and uncertainty quantification. Awards include the NSF Career Award (2004) and Palmer Endowed Chair (2016–present). Maute’s lab (Aerospace Mechanics Research Center, AMREC) addresses challenges in computational mechanics and multi-physics systems. He has advised numerous students and led grants in battery modeling, topology optimization, and aerospace systems. His research bridges theory and application, emphasizing industrial relevance and computational innovation.
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.
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.
