Crystal Chang Din is an Associate Professor at the Department of Informatics, University of Bergen. Her research focuses on formal methods, software verification, and didactics. She has organized conferences such as the KeY Symposium 2023 and served as PC Chair for FTfJP 2025. Her work includes developing verification tools like KeY-ABS and exploring concurrency semantics in programming languages. She teaches courses including INF113 (Operating Systems) and INF100 (Introduction to Programming). Notable contributions include modular reasoning systems for code reuse and runtime enforcement frameworks. She advises master’s students such as Eirik Halvard Sæther and Ida Sandberg Motzfeldt. Her publications span topics like feature model evolution, deadlock detection, and concurrent programming semantics. She has contributed to international journals like Formal Aspects of Computing and conferences such as NWPT and iFM. Her research emphasizes practical applications in distributed systems and formal verification techniques.
Joseph Sifakis is a distinguished computer scientist and professor at Grenoble Institute of Technology. He is renowned for his foundational contributions to formal verification, system design, and the BIP component framework. A Turing Award laureate (2007), his work bridges theoretical computer science with practical system engineering. His research focuses on rigorous design methodologies for real-time, embedded, and autonomous systems. Education: Ph.D. in Computer Science from Grenoble Institute of Technology (1979). Key contributions include the CESAR specification language (with Jean-Pierre Queille), formal methods for concurrent systems, and the BIP framework for component-based system design. He has authored over 200 publications and co-edited influential books on embedded systems. Research interests span autonomous systems, cyber-physical systems, real-time systems, and safety-critical software. Notable projects include the development of rigorous validation techniques for autonomous vehicles and the integration of AI with formal verification. His work emphasizes correctness-by-construction principles and trustworthiness in complex systems. Award recognition includes the 2007 Turing Award for contributions to model checking. He has advised numerous researchers and is a co-founder of the BIP framework, widely used in industry and academia. Current work focuses on autonomous system architectures, AI safety, and trustworthy computing.
Daniel S. Shaw is Distinguished Professor Emeritus in Psychology at the University of Pittsburgh, focusing on developmental psychopathology and prevention of early conduct problems. His research examines socioecological risk factors in vulnerable children, integrating child, family, and genetic predictors within longitudinal frameworks. He developed the Family Check-Up intervention model, demonstrating efficacy in reducing conduct problems through motivational interviewing techniques. Current projects investigate tiered prevention approaches and neighborhood deprivation effects on behavioral outcomes. Honored with the 2023 Provost’s Award for Doctoral Mentoring and the Cairns Award for developmental science contributions, he leads the Parents and Children Laboratory and Center for Parents and Children, facilitating community implementation of evidence-based interventions.
Dr. Joseph Gregory Rosen is an Assistant Professor of Epidemiology (Research) and Medicine (Research) at Brown University’s School of Public Health, and a Research Scientist at Rhode Island Hospital’s Division of General Internal Medicine. His work focuses on implementation science at the intersection of HIV treatment/prevention and substance use services. Key roles include Principal Investigator for studies on HIV treatment delivery in Uganda, overdose detection technologies in Massachusetts, and substance use service linkage for female sex workers in South Africa. He holds affiliations with the Providence/Boston Center for AIDS Research and Brown’s BRIDGE Program. Education: PhD in Social and Behavioral Interventions (Johns Hopkins University, 2023) MSPH in Public Health (Johns Hopkins, 2018) BA in Sociology (Bowdoin College, 2014) Research Interests: Rosen’s research emphasizes health workforce capacity-building and system reconfiguration to improve HIV/harm reduction services for marginalized groups, including sex workers, people who use drugs, and justice-involved individuals. Methodological strengths include human-centered design, discrete choice experiments, latent variable modeling, and qualitative methods. His work spans sub-Saharan Africa and the U.S., addressing topics like viral load monitoring, overdose prevention technologies, and PrEP implementation. Grants & Awards: NIH/NIDA (R21DA056304): Studying substance use and ART adherence among female sex workers in South Africa Bloomberg Philanthropies: Overdose detection sensor feasibility study in housing facilities Recipient of multiple NIH awards, including an NIMH F31 fellowship and NIAID CFAR grants Labs/Teams: Leads the Brown Implementation Science/HIV Scientific Working Group and collaborates with global organizations like UNICEF and Médecins Sans Frontières. His work is published in journals such as Addiction , Clinical Infectious Diseases , and JAIDS .
Jane Singer is a Professor in the Department of Journalism at City, University of London's School of Communication & Creativity. With a prolific publication record spanning over two decades, her work focuses on the intersection of journalism, digital media, and political communication. Her longitudinal research on online news practices has established her as a leading scholar in understanding how digital technologies transform journalistic norms and practices. Her research examines how digital technologies transform journalistic practices, norms, and ethics. She has conducted longitudinal studies on online newspaper coverage of presidential elections, analyzed the rise of fact-checking as a journalistic practice, and explored how journalists navigate innovation while maintaining traditional roles. Her work particularly illuminates the tension between technological innovation and professional identity in journalism, examining how journalists adapt (or resist) change while attempting to uphold core journalistic values. Recent analysis of her publications reveals a strong focus on fact-checking, particularly during the Covid-19 pandemic and in different global contexts. She examines how journalists respond to technological innovation and how these innovations affect journalistic norms and boundaries. Her work consistently addresses the evolving relationship between journalists and audiences in digital environments, with particular attention to how news organizations balance traditional gatekeeping roles with new participatory expectations. Her longitudinal approach, tracking changes across multiple election cycles and technological shifts, provides valuable insights into the pace and nature of change in journalism. She frequently employs qualitative methods including interviews and content analysis to understand journalists' perspectives on their changing profession.
Antonio Di Stasio is a Lecturer in the Department of Computer Science at City, St George's, University of London, and an Associate Member of the Department of Computer Science at the University of Oxford. He is also a Member of the Common Room at Kellogg College, Oxford. His research is centered in formal methods, particularly game theory, parity games, temporal logic, synthesis, verification, and automated planning. Dr. Di Stasio earned his Ph.D. in Mathematical and Computer Science from the University of Napoli "Federico II" under the supervision of Prof. Aniello Murano. During his doctoral studies, he was a visiting research scholar at Rice University, working with Prof. Moshe Vardi. His postdoctoral experience includes a Senior Research Associate role at the University of Oxford on the Advanced ERC project WhiteMech with Prof. Giuseppe De Giacomo, and a postdoc at Sapienza University of Rome. His research interests lie at the intersection of logic, games, and AI, with a strong focus on formal verification and synthesis. He has made significant contributions to LTLf synthesis, parity games, and reactive systems. His recent work explores environment specifications, finite-trace logics, and compositional synthesis techniques. The analysis of his recent publications reveals a consistent focus on temporal logic synthesis, especially under finite traces (LTLf) and environment constraints. His work bridges theoretical foundations with practical implementation, as seen in algorithmic improvements for parity games and real-world applications such as attack graphs in cybersecurity. The recurring themes across his articles include formal specification, reactive synthesis, and the application of game-theoretic models to planning and verification. Service Chair, Highlights of Reasoning about Actions, Planning and Reactive Synthesis (ECAI 2024) Chair, On the Effectiveness of Temporal Logics on Finite Traces in AI (AAAI 2023 Spring Symposium) PC Member: AAMAS 2025, VMCAI 2025, ECAI 2024, KR 2023-2024, IJCAI 2023-24, AAAI 2021, ECAI 2020 Journal Reviewer: JAIR, ACM Computing Surveys, Fundamenta Informaticae Dr. Di Stasio has taught courses such as Foundations of Self-Programming Agents at Oxford and delivered PhD-level courses on Game-Theoretic Approaches to Planning and Synthesis at Sapienza University and ESSAI. He is affiliated with the Research Centre for Machine Learning at City, St George's, where he contributes to advancing formal methods in AI. His future work likely continues in the direction of scalable synthesis, practical verification tools, and applications of formal methods in security and autonomous systems.
Pavlos Fafalios is an Assistant Professor of Information Systems at the School of Production Engineering and Management, Technical University of Crete, and an Affiliated Researcher at the Centre for Cultural Informatics (CCI) and Information Systems Laboratory (ISL), Institute of Computer Science, Foundation for Research and Technology - Hellas (FORTH). He holds a PhD and MSc in Information Systems from the University of Crete and an Engineer's Diploma from the University of the Aegean. His academic journey includes postdoctoral research at L3S Research Center, Leibniz University of Hanover, and FORTH-ICS, as well as teaching roles at Hellenic Mediterranean University and the University of Crete. His research interests span Information Systems , Data and Knowledge Management , and Linked Data , with a strong interdisciplinary focus on applications in Cultural Heritage and the Humanities . He develops semantic technologies, knowledge graphs, and information management systems for complex, real-world domains. The recent publications highlight a strong trend in applying semantic technologies to cultural and historical data, including earthquake data modeling, feminism history documentation, and museum data integration. His work consistently focuses on knowledge representation, ontology development, and data interoperability, particularly using CIDOC CRM and Linked Data principles. Individual postdoctoral research fellowship 'Marie Skłodowska-Curie' (H2020-MSCA-IF-2019) Finalist for the '2019 ERCIM Cor Baayen Young Researcher Award' Fellowship from legacy 'Maria Michael Manasaki' (2014-2015) 1st prize in Hack4Med 2014 1st prize in Blue Hackathon 2013 PhD and MSc scholarships by FORTH Pavlos Fafalios has been involved in significant research projects such as PortADa (MSCA Staff Exchange), RICONTRANS (ERC Consolidator Grant), FE.P.I.B., ReKnow (Marie Curie project), SeaLiT (ERC Starting Grant), and ALEXANDRIA (ERC Advanced Grant), where he served as principal investigator, scientific responsible, or lead researcher. He has supervised student projects that led to award-winning software tools. He is active in scientific committees and regularly publishes in international venues. He leads and contributes to research in the Centre for Cultural Informatics (CCI) and Information Systems Laboratory (ISL) at FORTH-ICS, collaborating on interdisciplinary projects that bridge computer science with humanities and cultural heritage. His lab work emphasizes practical tools for semantic data integration, exploration, and analysis.
Colin Porlezza is Associate Professor of Digital Journalism and Director of the Institute of Media and Journalism (IMeG) at the Università della Svizzera italiana (USI), Faculty of Communication, Culture and Society. He also leads the European Journalism Observatory (EJO) and holds an Honorary Senior Research Fellow position at City, University of London. Previously, he was a Research Fellow at Columbia University’s Tow Center for Digital Journalism. PhD in Communication Sciences – Università della Svizzera italiana Licentiate (BA/MA) in Communication Sciences – USI, specialization in Mass Communication and New Media Work experience at University of Zurich and University of Neuchâtel His research centers on digital journalism, with emphasis on automated journalism, artificial intelligence, datafication, disinformation, and journalistic ethics. He investigates how digital technologies reshape journalistic roles, norms, and practices, particularly in public service and hybrid news environments. His work bridges technical innovation with ethical and societal implications. The 15 most recent articles highlight a consistent trajectory in AI and journalism, focusing on automation, accountability, verification tools, and innovation. Keywords span communication, AI, ethics, and media policy, while subfields include algorithmic transparency, hybrid workflows, fact-checking, and value-sensitive design—reflecting a strong interdisciplinary focus on responsible technological integration in newsrooms. Knight News Innovation Fellowship Prof. Porlezza has secured major research grants from the Swiss National Science Foundation, Horizon 2020, Google Digital News Initiative, and OFCOM. He leads the JoIn-DemoS and Diacomet projects and previously directed Designing Hybrid Journalism and DMINR. He advises PhD students as Director of the PhD Program and collaborates with media organizations like SRG SSR and Tamedia. His advisory roles include the Austrian National Journalists' Study and Innovamedia network. He leads the Institute of Media and Journalism (IMeG) and the European Journalism Observatory (EJO), fostering collaborative research across Europe. These units serve as hubs for innovation, policy dialogue, and knowledge transfer between academia and professional journalism.
Dr. Elizabeth Aston is the Director of the Scottish Institute for Policing Research (SIPR) and a Professor of Criminology at Edinburgh Napier University . She holds leadership roles in multiple initiatives, including chairing the Independent Advisory Group on Emerging Technologies in Policing (2020–2023) and co-editing Palgrave's Critical Policing Studies Series . She is affiliated with the European Journal of Policing Studies , the ESRC Vulnerability and Policing Futures Centre, and the Scottish Violence Reduction Unit. Her research focuses on local policing, technology integration, and the intersection of policing with health issues like drug use and overdose prevention. Key academic roles include former Head of Social Sciences at Edinburgh Napier University and leadership in criminology programs. Her research portfolio includes grants such as the ESRC-funded INTERACT project (2021–2024) and the EPSRC-funded 3PO project (2022–2025). She has supervised doctoral students exploring topics like Scottish-Pakistani policing experiences and digital state surveillance resistance. Her work spans collaborative projects with Police Scotland, the EU Horizon 2020 Unity initiative, and drug policy evaluations. Publications and presentations address digital policing innovation, naloxone training for officers, and the role of technology in crime reporting. She contributes to policy discussions through media outlets like The Conversation and TV appearances on BBC/STV.
Álvaro Paricio García is an Assistant Professor at the Department of Automation within the School of Telematics Engineering at Universidad de Alcalá. He is affiliated with the NetIS Research Group (Networks and Intelligent Systems). His research focuses on smart city technologies, traffic engineering, optimization algorithms, and environmental engineering, with a particular emphasis on urban mobility, crowd evacuation systems, and emission reduction strategies. Education: He holds a PhD from Universidad de Alcalá, awarded in 2021 for his thesis Estrategias multi-mapa para el enrutamiento dinámico de tráfico urbano , supervised by Dr. Miguel Ángel López Carmona. Research Interests: His work integrates control systems, machine learning, and simulation-based optimization to address challenges in urban traffic management, crowd dynamics, and sustainable transportation. Key themes include: Design of low-emission zones for urban areas Development of adaptive evacuation systems using MPC (Model Predictive Control) Algorithmic innovations in traffic routing and multi-map strategies Article Trends: Recent publications (2021-2025) highlight his focus on: Wind farm layout optimization using metaheuristics Biometric identification via autoencoder-driven systems Dynamic low-emission zones and their policy implications Adaptive crowd evacuation systems like CellEVAC No scientific awards or grants were explicitly mentioned in the provided texts. He has not supervised any listed students. Labs/Teams: Active member of the NetIS Research Group, which develops networks and intelligent systems for urban and industrial applications.
Prof. Tobias Meggendorfer is an academic leader in formal methods and probabilistic systems verification. He currently holds an interim professorship at the Technical University Munich (TUM) within the Computational Mathematics department under the TUM School of Computation, Information and Technology. His career includes a postdoc at the Institute of Science and Technology Austria (IST Austria) and a PhD at TUM under Prof. Jan Křetínský. His research focuses on formal verification techniques for probabilistic systems, including risk-aware verification frameworks, stochastic games, and integration of machine learning into verification processes. Notable contributions include the Owl tool library for ω-automata and LTL translations, and the PET partial exploration tool for probabilistic verification. Prof. Meggendorfer has published extensively on topics such as value iteration stopping criteria for stochastic games, entropic risk measures, and semantic learning in LTL synthesis. He actively serves on program committees for AAAI, CAV, and other top conferences, and has reviewed for journals like JACM and IEEE TSE. His work bridges theoretical foundations with practical tool development, evidenced by contributions to open-source projects like the JBDD library and DOMtutor educational framework. He has advised multiple MSc and BSc theses, translating research into impactful educational and industrial applications.
Assoc. Prof. Dr. Elif Küzeci is an Associate Professor and Associate Dean at the Faculty of Law, Bilkent University. Her primary affiliation is with the Public Law Department where she focuses on cutting-edge legal issues at the intersection of technology and privacy. She holds a key administrative role managing academic affairs and strategic initiatives within the faculty. Her research interests span data protection law, telehealth compliance frameworks, blockchain's legal implications, and digital rights governance. Notable areas of expertise include GDPR implementation in Turkey, telemedicine regulations, and ethical considerations in emerging technologies like AI and biometric systems. Prof. Küzeci’s recent publications (2020-2025) reveal a focus on modern challenges such as blockchain-based privacy solutions, telehealth legal frameworks during pandemics, and cross-border data transfer mechanisms. Her work bridges technical innovation with legal accountability, often critiquing surveillance practices and advocating for human-centric data governance models. No scientific awards are explicitly mentioned in the provided texts. Her academic advising and grant activities remain unspecified, though her administrative role suggests involvement in institutional research funding initiatives. She contributes to Bilkent's legal education programs including LLM and PhD specializations in Public and Private Law.
Alessandro Facchini is a Professor at the Department of Innovative Technologies at SUPSI - University of Applied Sciences Western Switzerland, based in Lugano, Switzerland. He holds a PhD in Computer Science (2010) from the University of Lausanne and the University of Bordeaux, with prior research roles at institutions including the University of Warsaw, University of Amsterdam, and University of California, Santa Cruz. His current research focuses on logic, rationality theories, probability, and the philosophy and ethics of AI, complemented by past work in automata theory and game theory. He has received notable awards such as the FNP Homing Plus Grant (2012) and the Paul Bernays Award (2011). Education PhD in Computer Science (2010), co-supervised by Prof. J. Duparc (U. Lausanne) and I. Walukiewicz (U. Bordeaux) Doctoral Program in Logic and Foundations of Mathematics (2004-2006), University of Barcelona Master in Humanities (Logic, Linguistics, Mathematics) (1998-2003), University of Neuchâtel Research Interests : Facchini’s work bridges formal logic, AI ethics, and foundational questions in probability and quantum theory. His recent projects include the European University on AI in Curricula and SmartH2O, a platform leveraging gamification for water resource management. He explores topics like quantum rational preferences, causal models, and the societal implications of AI systems. Awards & Recognition : FNP Homing Plus Grant (2012) Paul Bernays Award (2011) Teaching & Leadership : Facchini leads courses such as “Ethics of Technology and Engineering” and “Fundamentals of Artificial Intelligence,” emphasizing ethical and legal dimensions of data analytics. He also oversees projects like the Smart UniverCity initiative. Collaborations & Labs : Active member of IDSIA (Istituto Dalle Molle di Studi sull’Intelligenza Artificiale), a leading Swiss AI research institute. His work often intersects interdisciplinary teams addressing environmental, healthcare, and ethical challenges posed by AI.
Daniele Antonioli is an Assistant Professor at EURECOM, affiliated with the Software & System Security (S3) group. His research spans applied system security and privacy, focusing on wireless communication (Bluetooth, Wi-Fi), embedded and mobile systems (e.g., smartphones, cars, fitness trackers), and cyber-physical systems like industrial control systems. His research interests include Applied System Security , Privacy , Wireless Communication Security , Embedded Systems Security , Automotive Security , IoT Security , Applied Cryptography , and Threat Modeling . His work frequently targets real-world protocols and proprietary systems, uncovering critical vulnerabilities in Bluetooth (e.g., KNOB, BIAS, BLURtooth), FIDO2 (CTRAPS), and IoT ecosystems (BreakMi, E-Spoofer). Recent publications demonstrate a strong trend in automotive and IoT security , protocol-level attacks , and privacy-preserving technologies , with work published in top venues like IEEE S&P, ACM CCS, NDSS, and USENIX Security. He has contributed to the DP3T/GAEN contact tracing framework, now used in Android and iOS. Mille E Una Lode Award CLUSIT Award'22 He has advised multiple PhD and Master’s students and received grants from the German Research Foundation (DFG). He teaches courses such as Mobile System Security and a Bluetooth-focused course at EURECOM. He has also been active in the research community, serving as Associate Editor for ACM TOPS and co-chairing NDSS'26 Artifact Evaluation. He leads or contributes to research projects including the AttackDefense Framework (ADF) , ENCOPIA , and ORSHIN , focusing on threat modeling, privacy assurance, and resilient IoT systems.
Louis-Noël Pouchet is an Associate Professor in the Department of Computer Science at Colorado State University, with a joint appointment in the Electrical and Computer Engineering department. He leads research in high-performance computing, focusing on polyhedral compilation, performance portability, and hardware-software co-design. His research interests include polyhedral compilation, iterative and adaptive compilation, machine learning for compilers, performance-oriented domain-specific languages, energy-aware program optimization, and high-level synthesis. He develops compiler technologies to optimize and parallelize code for heterogeneous platforms, with applications in scientific computing and embedded systems. The 15 most recent publications highlight a strong focus on compiler optimization for high-performance systems, particularly using the polyhedral model. Key themes include data locality, parallelization, vectorization, memory access optimization, and performance modeling. His work spans both theoretical advances in program transformation and practical implementations in tools like PoCC and PolyOpt. Member, Center for Domain-Specific Computing (NSF) Member, DSL Technology for Exascale Computing (DoE) Lead, Polyhedral Compilation Research (NSF and Intel ISRA) Former member, Platform-Aware Compilation Environment (DARPA) He teaches courses on polyhedral compilation and has developed widely used software tools such as PoCC, PolyBench/C, and PolyOpt/C. His research is supported by major funding agencies including NSF, DoE, and Intel.
![](https://www.supsi.ch/en/"https://www.supsi.ch/o/adaptive-media/image/75244824/large-hero-image/facchini_supsi_dti_140623webres-1523762.jpg?t=1718110319177")
