Find Academic Supervisors

• Journalism
• Digital Media
• Political Campaign Coverage
• +6 more

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 StasioView profile

Lecturer

• Formal Methods
• Game Theory
• Parity Games
• +7 more

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 FafaliosView profile

Assistant Professor

• Information Systems
• Data and Knowledge Management
• Linked Data
• +7 more

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.

• Digital Journalism
• Automated Journalism
• Artificial Intelligence in Media
• +7 more

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.

• Criminology
• Local Policing
• Technology in Policing
• +7 more

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.

• Smart City Technologies
• Traffic Engineering
• Optimization Algorithms
• +4 more

Á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.

• Proof Assistants
• Formal Verification
• Inductive and Coinductive Datatypes
• +12 more

Andrei Popescu is a Senior Lecturer (Associate Professor level) in the Department of Computer Science at the University of Sheffield, where he conducts research in formal methods, proof assistants, and information flow security. He previously held academic positions at Middlesex University and TU Munich. University: University of Sheffield Department: Department of Computer Science Previous Affiliations: Middlesex University, TU Munich His research focuses on the logical foundations and practical applications of proof assistants, particularly Isabelle/HOL. He has made foundational contributions to inductive and coinductive datatypes, syntax with bindings, higher-order logic, and the formal verification of secure systems. His work bridges theoretical logic with real-world systems such as conference management (CoCon) and social media platforms (CoSMeDis). The recent publications highlight a strong trend in formalizing deep logical results (e.g., Gödel’s incompleteness theorems), advancing datatype theory, verifying complex security properties, and applying formal methods to practical systems. His work consistently appears in top-tier venues such as POPL, CAV, ITP, and CSF. Distinguished Paper Award at POPL 2025 Distinguished Paper Award at POPL 2024 Distinguished Paper Award at POPL 2023 RS 3 Best Paper Award for 2012–2013 He has advised PhD students including Lorenzo Gheri and has been actively involved in organizing major academic events such as the Midlands Graduate School, CPP, ITP, and TABLEAUX conferences. He has served on numerous program committees including POPL, ITP, CSF, and CAV, and has led research projects funded by VeTSS and industrial partners. He is a key contributor to the Isabelle proof assistant ecosystem, particularly in the development of the (co)datatype package and foundational consistency results. His work combines deep theoretical insight with practical implementation, making significant impacts in both academia and applied security.

Tobias MeggendorferView profile

Professor

• Formal Methods
• Probabilistic Verification
• Risk-aware Verification
• +5 more

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.

Elif KüzeciView profile

Associate Professor

• Data Protection Law
• Telehealth Compliance
• Public Law
• +7 more

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 FacchiniView profile

Professor

• Logic
• Probability Theory
• AI Ethics
• +4 more

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.

• Biomedical Engineering
• Biomedical Signal Processing
• Entropy Analysis
• +7 more

Georgios Manis is an Associate Professor in the Department of Computer Science and Engineering at the School of Engineering, University of Ioannina, Greece. He holds a PhD from the National Technical University of Athens and has been a faculty member at the University of Ioannina since 2002, progressing from Lecturer to Associate Professor in 2018. He has also served as temporary teaching staff at the University of Patras, University of Crete, and University of Ioannina in the late 1990s and early 2000s. Education: B.Sc. in Computer Engineering (Diploma), National Technical University of Athens (NTUA), 1987–1992 MSc in Advanced Methods in Computer Science (Distributed and Parallel Systems), Queen Mary, University of London, 1992–1993 PhD in Computer Engineering, NTUA, School of Electrical and Computer Engineering, 1993–1997 His research interests lie at the intersection of Biomedical Engineering and Computing Systems , with a strong emphasis on Biomedical Signal Processing , Entropy Analysis , and Machine Learning . He has pioneered work in Bubble Entropy —a parameter-free entropy measure—and developed fast algorithms for entropy computation. His work also extends to compiler design and parallel computing, particularly in the automatic parallelization of recursive functions and loops. The trends in his recent publications reflect a dual focus: (1) biomedical applications involving entropy, heart rate analysis, and disease diagnosis using machine learning (especially Random Forests and SVMs), and (2) high-performance computing, including parallelization techniques and compiler optimizations for multi-core and SVP architectures. His research is highly interdisciplinary, combining signal processing, algorithm design, and clinical applications. Scientific Leadership and Recognition: Guest Editor, Special Issue on “Entropy in Biomedical Engineering”, Entropy (MDPI) Member of the IPAN Laboratory, University of Ioannina Active contributor to IEEE, Elsevier, and MDPI journals He has supervised several graduate students and is involved in funded research projects such as Palimpsest and Homore , focusing on smart systems for cultural interaction and elderly monitoring. His advising contributions are evident in co-authored papers with students like Evanthia Tripoliti and Aristeidis Mastoras. He teaches both undergraduate and postgraduate courses, including Compilers I/II and Biomedical Data Analysis . Laboratories and Teams: He is a member of the IPAN lab at the University of Ioannina, which supports interdisciplinary research in informatics and biomedical applications. His collaborative network includes researchers from Greece and abroad, particularly in the fields of biomedical signal analysis and entropy-based methods.

Daniele AntonioliView profile

Assistant Professor

• Applied System Security
• Privacy
• Wireless Communication Security
• +13 more

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 PouchetView profile

Associate Professor

• polyhedral compilation
• iterative and adaptive compilation
• auto-tuning compilers
• +15 more

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.

Roopsha SamantaView profile

Assistant Professor

• Program synthesis
• Program repair
• Concurrency
• +3 more

Roopsha Samanta is an Assistant Professor in the Department of Computer Science at Purdue University, where she leads the Purdue Formal Methods (PurForM) research group and is a core member of the Purdue Programming Languages (PurPL) group. She completed her PhD at the University of Texas at Austin in 2013 under the supervision of E. Allen Emerson and Vijay K. Garg, followed by postdoctoral research at IST Austria (2014-2016) with Thomas A. Henzinger. Her research focuses on developing foundational techniques at the intersection of formal methods and programming languages, with primary interests in: Program synthesis and repair using semantic guidance Modular verification of distributed systems Concurrency and synchronization synthesis Robustness analysis of I/O systems Her publication record shows consistent contributions across programming languages and formal methods venues, with recent emphasis on explainable program synthesis, bounded verification of distributed systems, and semantics-guided approaches to enhance synthesis robustness. Her work frequently appears in premier conferences including PLDI, POPL, OOPSLA, and CAV. Notable scientific recognitions include: NSF CAREER Award (2019) Amazon Research Award (2021) She actively advises graduate and undergraduate researchers in the PurForM group, with current students including Nouraldin Jaber, Christopher Wagner, and Yongwei Yuan. Her research is supported by grants from NSF and Amazon. Beyond research, she teaches courses on program reasoning (CS560) and neurosymbolic program synthesis (CS592), and serves on steering committees for VMW@CAV and DARS. She also co-edits the ACM SIGPLAN Blog on PL Perspectives.

Xiaoxing MaView profile

Professor

• Software Engineering
• Self-adaptive Software Systems
• Software Engineering for Machine Learning
• +3 more

Xiaoxing Ma is a Professor at the State Key Laboratory for Novel Software Technology , Nanjing University , focusing on Software Engineering , Self-adaptive Software Systems , and Software Engineering for Machine Learning . His recent work bridges neuro-symbolic reasoning and formal verification. Key research areas: Software Engineering, Self-adaptive Systems, Neuro-symbolic AI Awards: China National Awards (2006, 2011), MOE Award (2010), CVIC SE Award (2009) His 2023-2024 publications emphasize: Formal semantics for hardware description languages (Verilog) Neuro-symbolic frameworks for mathematical reasoning Dynamic update verification and CRDT model checking LLM-driven API migration and traceability recovery He serves as Program Co-Chair for SEAMS 2024 and contributes to major software engineering conferences (ICSE, ASE, FSE, PLDI).