Sam Lindley is a Reader in Programming Language Design and Implementation at the School of Informatics, University of Edinburgh. He holds a UKRI Future Leaders Fellowship in Effect Handler Oriented Programming. His research focuses on foundational aspects of programming languages, including effect systems, session types, type theory, and functional programming. Key research interests span algebraic effects, concurrency models, type systems for resource management, and language implementation techniques. Lindley's work bridges theory and practice, addressing challenges in systems programming, web technologies (e.g., WebAssembly), and compiler design. Recent publications (2023–2025) emphasize effect handlers for low-level languages (e.g., C, WebAssembly), modal type systems for memory management, and formal semantics for concurrent systems. His work often explores how advanced type systems can improve expressivity and efficiency in programming models. Scientific Awards: UKRI Future Leaders Fellowship Labs/Teams: Laboratory for Foundations of Computer Science (LFCS) Grants: Active funding via UKRI Fellowship
Jonathan Balkind is an Assistant Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB). His research focuses on the intersection of computer architecture, programming languages, and operating systems, with an emphasis on pragmatic system design and open-source hardware. He leads the ArchLab at UCSB and is affiliated with the OpenPiton project, an open-source manycore research framework. Education includes a PhD and MA in Computer Science from Princeton University (adviser: Prof. David Wentzlaff), an MSci in Computing Science from the University of Glasgow (advisers: Prof. Joseph Sventek and Dr. John O'Donnell), and exchange studies at UCSB. His work has been supported by awards such as the NSF Early CAREER Award (2023) and the Open Hardware Trailblazer Fellowship (2022). Research interests span heterogeneous computing, cache-coherent systems, FPGA integration, and domain-specific architectures. Notable projects include the 25-core Piton chip, the CIFER SoC with embedded FPGA, and the DECADES manycore processor. Recent publications address fused-kernel operating systems (Stramash), control logic synthesis, and hyperloop data-center architectures. His awards reflect contributions to open-source hardware and academic mentorship, including Siebel Scholarship (2018), Gordon Y.S. Wu Fellowship (2013–2017), and multiple teaching/research recognitions. He actively collaborates with industry (e.g., Microsoft Research, ARM) and advises on open-source projects.
Simon Foster is a Senior Lecturer in the Department of Computer Science at the University of York. His research focuses on formal methods, theorem proving (using tools like Isabelle/HOL and Agda), and the verification of cyber-physical systems. He holds a PhD and MComp from the University of Sheffield. Research Interests: Foster specializes in formal semantics, unifying theories of programming, and functional programming. His work addresses challenges in verifying complex systems, including robotic control software and safety-critical applications. He has contributed to projects like CyPhyAssure and RoboCalc, emphasizing assurance case generation and probabilistic modeling. Recent Work Trends: His recent publications (2022–2025) emphasize scalable verification techniques for cyber-physical systems, probabilistic modeling, and formal verification of robotic systems using Isabelle/HOL. Key themes include hybrid systems theorem proving, assurance case automation, and the integration of formal methods with robotic state machines. Grants & Projects: He led the CyPhyAssure project (2018–2021) and contributed to the H2020 INTO-CPS initiative. His roles include Research Fellowships in safety-critical systems and model-driven architectures. Labs & Teams: Active in the High Integrity Systems group at York, focusing on formal methods for safety-critical systems and collaborative tool development for systems engineering.
Laura Pozzi is a Full Professor at the Faculty of Informatics, Università della Svizzera italiana (USI), Switzerland, since 2015. She previously held positions as Associate Professor (2011–2015) and Assistant Professor (2005–2011) at USI. Prior to joining USI, she was a postdoctoral researcher at EPFL's Processor Architecture Laboratory (2001–2005), a research engineer at STMicroelectronics (2000), and an Industrial Visitor at UC Berkeley (2000). Education: MS and PhD in Computer Engineering from Politecnico di Milano, Italy (1996–2000). Her research focuses on the interaction between compiler and architecture design, particularly in embedded systems , with key areas including approximate computing , coarse-grained reconfigurable arrays (CGRAs) , high-level synthesis (HLS) , and fuzz testing . She has led projects on automated design space exploration, compiler optimizations for reconfigurable architectures, and error estimation in approximate circuits. Recent Publications span topics like SAT-based mapping for CGRAs , grammar-based fuzzing of shell interpreters , and approximate logic synthesis , reflecting her interdisciplinary work bridging hardware/software co-design and software verification. Scientific Awards: Credit Swiss Best Teaching Award IEEE DAC Best Paper Award Leadership Roles: Co-Program Chair, IEEE Symposium on Application Specific Processors (SASP) Editorial Board Member, IEEE Design and Test Students: Current: Rodrigo Otoni (Postdoc), Morteza Rezaalipour (PhD), Riccardo Felici (PhD), Cristian Tirelli (PhD) Alumni: Ilaria Scarabottolo (PhD/Postdoc), Lorenzo Ferretti (PhD/Postdoc), Georgios Zacharopoulos (PhD), Giovanni Ansaloni (PhD/Postdoc), Paolo Bonzini (PhD)
Yassine Lakhnech is a Professor at the University Joseph Fourier (Grenoble 1), leading the 'Distributed and Complex Systems' research team within the VERIMAG laboratory. His work focuses on computer security, cryptography, formal verification, and programming language semantics. He has been actively involved in coordinating major interdisciplinary research initiatives like the PERSYVAL-lab, which addresses cyber-physical systems (CPS) challenges. His research bridges computational and formal approaches, with contributions to cryptographic protocol analysis, information flow control, and automated theorem proving. Key projects include the development of tools like HERMES for cryptographic protocol verification and involvement in ANR-funded projects such as Verso, PROSE, and AVOTE. He has also organized international conferences and workshops, including the Canada-France MITACS Workshop on Foundations & Practice of Security and the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign. His publications span over 147 papers, with an h-index of 25 and g-index of 42, reflecting significant contributions to formal methods, security protocols, and hybrid systems. Despite his role as Vice President of Research, he maintains active scientific productivity, emphasizing the integration of theoretical and practical advancements in CPS and security.
Fred Popowich is a Professor in the School of Computing Science at Simon Fraser University (SFU), Canada. He holds adjunct positions at Dalhousie University's Faculty of Graduate Studies and is an Associate Member of SFU's Department of Linguistics and Cognitive Science Program. His academic career began post-PhD (Cognitive Science/Artificial Intelligence, University of Edinburgh, 1989) and has spanned over three decades at SFU. Education: PhD in Cognitive Science/Artificial Intelligence (University of Edinburgh, 1989); M.Sc. and B.Sc. in Computing Science (Simon Fraser University and University of Alberta, 1985/1982). Research focuses on natural language processing (NLP), machine translation, intelligent systems, and big data applications. He directs SFU’s Big Data Initiative and leads the Natural Language Laboratory, supervising MSc/PhD students in computing science. His work includes developing systems for smart homes, toxic language detection in social media, and energy grid analysis. Industry roles include co-founding Axonwave Software (as CTO/President) and contributing to technology commercialization. Current projects address EV charging impacts, personalized learning systems, and real-time load monitoring. Publications span machine translation, sentiment analysis, and NLP applications in education and energy systems. His work bridges theoretical computer science with practical applications in healthcare, smart cities, and education.
Dr. Jiabin Luo is a Senior Lecturer in Business Analytics at Aston University's Aston Business School, within the College of Business and Social Sciences. She holds a PhD in Management Science from the University of Southampton and has held academic and research roles at institutions including Coventry University and De Montfort University. Her research focuses on optimization and decision-making in logistics, supply chain management, maritime shipping, and production planning. She is Programme Co-Director of the MSc Degree Apprenticeship in Digital & Technology Solutions Specialist. Education: PhD in Management Science, University of Southampton, UK MSc in Risk and Stochastics, London School of Economics and Political Science, UK MSc in Statistics, University of Nottingham, UK BSc in Mathematics, Zhongshan University, China PGCert in Learning and Teaching in Higher Education Research Interests: Transportation and logistics optimization Maritime shipping and port operations Production planning and inventory management Supply chain management and sustainability Fuzzy optimization and scenario-based modeling Recent Research Trends: Her work emphasizes optimization techniques in logistics systems, including automated container terminals, intermodal transport, and risk management. Recent articles explore machine learning for credit risk prediction and geospatial analysis of traffic datasets. Awards and Memberships: Fellow of The Higher Education Academy Member of The Operational Research Society Member of British Academy of Management Grants and Collaborations: Newton Researcher Links: Strategy & Policy Innovation in Supply Chain Management (2018) Newton Researcher Links: Emission Control in Green Port Development (2017) EPSRC Grant: Resilience of Manufacturing Supply Networks (2013–2016)
Wei Li is a Professor at the School of Computer Science and Engineering, Beihang University (since 1986), and Director of the State Key Laboratory of Software Development Environment (since 1992). He has held visiting positions at institutions including the University of Minnesota and Universität Saarlandes. Education: Ph.D. in Computer Science, University of Edinburgh (1979–1983) B.Sc. in Mathematics, Peking University (1961–1966) Research Interests span Mathematical Logic, Concurrent Programming Languages, Satisfiability Problems, Artificial Intelligence, Software Crowdsourcing, and Big Data. His work includes foundational contributions to logical frameworks for belief revision and specification evolution, with applications in software trustworthiness and constraint satisfaction. Publication Trends reveal a focus on formal methods (R-calculus, open logic systems), software crowdsourcing, and phase transitions in constraint satisfaction problems. His research integrates theoretical rigor with practical applications in information science and engineering. Scientific Awards include: Chinese Government Award for Publishing (2017) Tsiolkovsky Medal (2007) National Prize of First Class for Achievements in Education (2005) Ho Leung Ho Lee Prize (1998) Academician, Chinese Academy of Sciences (1997) He also supervised 8 post-docs, 52 Ph.D., and over 100 graduate students.
Prof. Dr. Peter Sanders is a full professor in Theoretical Computer Science at the Karlsruhe Institute of Technology (KIT), leading the Algorithm Engineering group. His academic career includes a doctoral degree from Karlsruhe University and research stints at institutions like the Max Planck Institute for Informatics. He specializes in algorithm theory and engineering, focusing on parallel computing, large-scale data processing, and graph partitioning. His research bridges theoretical foundations with practical implementations, emphasizing real-world applications in optimization, route planning, and distributed systems. Education: Ph.D. in Computer Science, Karlsruhe University (1996) Bachelor/Master studies at Karlsruhe University (1988-1996) Research Interests: Algorithm design and analysis Parallel and distributed algorithms Graph algorithms and partitioning Algorithm engineering for big data High-performance computing Publications: Over 250 papers, emphasizing parallel algorithms, distributed systems, and graph theory. Recent work includes scalable SAT solving, hypergraph partitioning, and distributed string sorting. His contributions have advanced practical applications in route planning, load balancing, and large dataset processing. Awards: Recipient of the prestigious Leibniz Prize (DFG) and Baden-Württemberg State Research Prize. He coordinated the DFG Priority Program on Algorithm Engineering and is an active reviewer for major funding bodies. Consulting: Engages with companies like SAP and Google, focusing on optimization, route planning, and database algorithms. Leads projects on algorithm scalability and real-world problem-solving. Labs/Teams: Heads the Algorithm Engineering group at KIT, fostering collaborations in distributed computing and algorithmic research.
Peter Maurer is a Senior Lecturer in Media and Communication Research at Karlstad University's Department of Geography, Media and Communication. He holds a doctorate from Freie Universität Berlin (2011) and a master's in political science from Johannes Gutenberg-Universität Mainz. His research focuses on populist communication, political journalists' perceptions of media, automated frame analysis, and digital media dynamics. Maurer currently teaches in the Digital Media and Analysis (DMA) program, convening courses like Media Audiences in the Digital Age and Digital Methods . He leads the Journalistic Role Performance project (2021-2024) as Co-Principal Investigator and is Sweden's representative in the COST Action OPINION network. Notable grants include an Ander Foundation award (2025-2029) for studying disinformation detection via computational methods. His work bridges media studies with political science, emphasizing digital platforms' role in contemporary communication. Publications highlight crisis communication (e.g., pandemic reporting), transnational comparisons of media systems, and the intersection of populism with social media. His research often employs computational methods to analyze large-scale data, such as automated frame detection in journalists' tweets. Labs/Teams: NODE research group at Karlstad University, COST OPINION Tools working group Grants: SEK 7.5M Ander Foundation grant, Faculty of Arts and Social Sciences funding (2024)
Fatima Fabião is an Assistant Professor at the Lisbon School of Economics and Management (ISEG), University of Lisbon, where she has been affiliated since 1990. Her work bridges mathematical methodologies with economic and financial theory, focusing on growth models, optimal control, and differential equations. She teaches courses in mathematical analysis, difference equations, and complex equations in economics and management programs. Affiliations: ISEG – University of Lisbon (since 1990) Roles: Course coordinator for key subjects like Mathematical Analysis III and Difference Equations Her research explores economic growth dynamics through modified Solow models incorporating time delays, optimal resource extraction strategies via control theory, and financial applications of Black-Scholes equations. She has also contributed to pedagogical innovations integrating mathematical logic into primary education.
Stephen Taylor is a Professor of Computer Engineering at Dartmouth College's Thayer School of Engineering. His research focuses on cybersecurity, distributed computing, and embedded systems security. He has held leadership roles including DARPA Program Manager and Air Force Research Laboratory IPA. Taylor's work includes foundational contributions to the National Cyber Range and Air Force Cyber Experimentation Environment. Education: BSc in Computer Systems from Essex University (1982), MSc in Computer Science from Columbia University (1985), and PhD in Computer Science from the Weizmann Institute (1989). Research emphasizes resilient operating systems for cloud computing, security mechanisms for embedded systems, and large-scale experimentation infrastructure. Awards include the USAF Exemplary Civilian Service Medal and Secretary of Defense Medal for Public Service. Teaches courses on microprocessors, software design, and cyberspace technology. Advises on multi-disciplinary projects and has authored 4 books and over 25 journal articles. His lab explores hardware-software co-design for cyber resilience and soil-based sustainable computing.
Kinam Kim is an Assistant Professor in the Construction Management Program at the College of Technology, University of Houston. He teaches courses such as CNST 1361: Construction Management, CNST 4397: Cloud-based System in Construction Management, and CNST 6340: Best Practices in Construction Research. Education: Ph.D. in Civil Engineering, Georgia Institute of Technology, Atlanta, GA (2022) M.S. in Civil and Environmental Engineering, Yonsei University, Seoul, South Korea (2016) B.S. in Civil and Environmental Engineering, Yonsei University, Seoul, South Korea (2016) Dr. Kim's research centers on leveraging emerging technologies to enhance construction project efficiency and safety. His work particularly emphasizes Artificial Intelligence (AI) , Internet of Things (IoT) , computer vision , and wearable device systems to automate the acquisition, processing, and sharing of information across construction stakeholders. His focus areas include real-time safety monitoring and intelligent alert systems. The available publication reflects a strong trend in applying IoT and signal processing to construction safety, particularly in work zone proximity detection. The research demonstrates technical rigor in developing and evaluating alert logic systems, contributing to smart construction and automated hazard prevention. Scientific Awards: No awards listed. Dr. Kim has contributed to innovation in construction safety through patented systems. He is actively involved in research and teaching within the construction technology domain. While no current students or grants are listed, his research output indicates engagement in applied, industry-relevant projects with potential for scalability. Patents: Visualization of Safety Assessment System in Construction Site using Wearable Device (Patent #10-1715001, Mar. 4, 2017) System for Assessment of Safety Level at Construction Site based on Computer Vision (Patent #10-1674266, Nov. 2, 2016)
Ingrid Hotz-Davies is Professor of English Literature and Gender Studies at the English Seminar, Philosophische Fakultät, Eberhard Karls University of Tübingen. She has held this position since 2001 and leads a dynamic research environment focused on gender, queer theory, early modern literature, and cultural narratives. She is actively involved in multiple academic programs and leadership roles, including co-directing the Tübingen Center for Gender and Diversity Studies and serving as the Gender Equality Representative for academic staff and students. Her academic journey includes a PhD from Dalhousie University (Canada), an MA/State Examination from the University of Munich, and a habilitation completed in Munich in 2000. Her research interests include Gender/Queer Studies, Women’s Literature from the Renaissance to the present, Early Modern Prose, and the dynamics of censorship and identity formation. She has organized numerous seminars on topics such as queer theory, camp aesthetics, postmodern realism, and the cultural construction of heterosexuality. Her work bridges literary analysis with philosophical, psychoanalytic, and sociopolitical inquiry. The recent publications analyzed reflect a consistent engagement with gender performativity, camp aesthetics, closet narratives, and the intersections of literature with psychoanalysis, religion, and political power. Her scholarship spans from Renaissance texts to contemporary science fiction, demonstrating a broad and interdisciplinary reach. Gender Equality Representative, University of Tübingen (since Nov. 2023) Academic Coordinator, Erasmus Mundus MA Program 'Crossway in Cultural Narratives' (since 2017) Co-Director, Tübingen Center for Gender and Diversity Studies (since 2013) Equal Opportunities Officer, University of Tübingen (2014–present; also 2002–2006) Academic Coordinator, Erasmus Mundus Doctoral Program 'Cultural Studies in Literary Interzones' (2010–2018) She supervises a diverse group of PhD candidates working on topics such as precariousness in Jean Rhys, polymigrant imagination, feminist speculative fiction, posthuman weird fiction, and the representation of subaltern female workers. Her mentorship extends into interdisciplinary research involving affect theory, postcolonial studies, and identity politics. While no direct mention of funding grants is made, her leadership in international Erasmus Mundus programs implies significant grant acquisition and project management experience. She is affiliated with the English Seminar's research environment and contributes to collaborative projects such as the 'Dark Side of Camp Aesthetics' and 'Naturalization of Gender'. Her work fosters transnational academic exchange and critical inquiry into marginalized voices and cultural border zones.
Thomas E. Trail is a Senior Behavioral Scientist at RAND Corporation and a Professor of Policy Analysis at the RAND School of Public Policy. His work bridges behavioral science and public policy, with a strong emphasis on military and civilian family well-being. He is based at RAND, a leading policy research organization, where he leads multiple high-impact studies on military families, caregiver support, and stress-related outcomes. Ph.D. in Social Psychology, Princeton University M.S. in Applied/Experimental Psychology, Virginia Tech Postdoctoral Scholar, UCLA Trail's research focuses on how stress affects relationships and health outcomes among couples, particularly in military contexts. His expertise spans military families, poverty, food insecurity, marriage and divorce, and caregiver mental health. He designs and evaluates interventions aimed at reducing family stress and improving support systems. His recent publications reveal a consistent focus on military family readiness, deployment impacts, and program evaluation. Key themes include the effectiveness of non-medical counseling, spouse employment programs like MyCAA, and the hidden challenges faced by military caregivers. His work often informs policy decisions at the Department of Defense and Congress. Trail has received no explicitly listed scientific awards in the provided text, but his body of work—including over 60 research outputs—demonstrates significant scholarly impact. He has led evaluations of major military programs, developed policy tools, and contributed to national studies on caregiver burden and family resilience. While there is no mention of formal students or advisees, Trail leads research teams and contributes to mentoring through collaborative projects. He has secured funding for and directed large-scale studies such as the Today's Army Spouse Panel and evaluations of National Guard Youth ChalleNGe. His future work appears to center on long-term outcomes of military support programs and the socioeconomic challenges facing service members and their families. Trail is actively involved in research labs and teams focused on military family policy, behavioral health, and program evaluation at RAND. He has developed methodological tools for assessing program effectiveness and continues to publish on emerging issues like food insecurity in the armed forces. His work is instrumental in shaping evidence-based policies for military communities.
