Anastasios Zafeiropoulos serves as Assistant Professor at Harokopio University of Athens, specializing in Spatial Data Management and Analysis within the Postgraduate Studies Program for “Applied Geography and Spatial Management” (Direction C: Geoinformatics). His academic role encompasses teaching “Spatial Databases” and advancing research at the intersection of geospatial technologies and distributed computing systems. His research program focuses on Spatial Databases, Internet of Things (IoT), Cloud/Edge Computing, and 6G Network Orchestration, with significant extensions into Knowledge Graph applications for Sustainable Development Goals (SDGs) and socio-emotional learning in education. Key innovations include the EduCardia methodology for student competency assessment and frameworks for climate vulnerability analysis using knowledge graphs. Analysis of his 2024-2025 publications reveals three dominant thrusts: (1) AI-driven orchestration of 6G services across the computing continuum using reinforcement learning; (2) Knowledge Graph applications for SDG interlinkage analysis and materials science; (3) EU-funded IoT/Edge Computing project ecosystems. His work consistently bridges theoretical networking concepts with practical sustainability and educational applications. Dr. Zafeiropoulos actively contributes to EU-funded initiatives in IoT and Edge Computing standardization, particularly through AIOTI WG Standardisation. His project portfolio includes NEPHELE multi-cloud ecosystem development and O-RAN slice admission control research, demonstrating strong industry-academia collaboration in next-generation networking. He leads the development of innovative tools including Palindrome.js for distributed system visualization and the EmoSocio open-access emotional intelligence model, reflecting his commitment to translating research into practical educational and environmental solutions.
Tien N. Nguyen is a Professor in the Computer Science Department at the Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas. He has been actively contributing to the software engineering research community since 2005, with significant publications and service to major conferences including ASE, ICSE, and ESEC/FSE. His extensive research portfolio spans multiple areas at the intersection of artificial intelligence and software engineering. Dr. Nguyen's research focuses on AI/ML4Code, encompassing Machine Learning, Natural Language Processing for Software Engineering and Software Security. His work specifically addresses Program Analysis, Software Evolution and Mining, Software Security, Software Maintenance, Mining Software Repositories, Version and Configuration Management, and Web Code Analysis and Security. His research has been consistently funded by multiple NSF grants including NSA NCAE-C-002-2021, CNS-2120386, CCF-1723215, CCF-1723432, CNS-1723198, and others dating back to CCLI-0737029. His recent publications demonstrate a strong trend toward leveraging large language models for various software engineering tasks including program analysis, bug detection, code completion, and automated program repair. The research spans both theoretical foundations and practical applications, with numerous papers accepted at top-tier conferences across multiple years. His scientific contributions have been recognized with several prestigious awards: ACM SIGSOFT Distinguished Paper Award at FSE 2024 IEEE Computer Society TCSE Distinguished Paper Award at SANER 2022 ACM SIGSOFT Distinguished Paper and ASE Best Paper Award at ASE 2014 ACM SIGSOFT Distinguished Paper Award at ASE 2012 ACM SIGSOFT Distinguished Paper Award at ESEC/FSE 2009 Dr. Nguyen has served in numerous leadership roles including Program Co-Chair for ICSE 2020 Demonstrations, Doctoral Symposium Co-Chair for ESEC/FSE 2021, NIER Track Chair for ASE 2020, and Tutorials Co-Chair for ASE 2024. He has received multiple NSF grants supporting his research in software analysis, mining, and security. His work with the Boa infrastructure for ultra-large-scale code mining has established significant infrastructure for the research community. His laboratory focuses on AI for software engineering, with particular emphasis on program analysis, software security, and mining software repositories. The research group develops techniques that bridge the gap between artificial intelligence and practical software engineering challenges, creating tools that are both theoretically sound and practically applicable to real-world software development.
Michael Sammler is an Assistant Professor leading the Programming Languages and Verification Group at the Institute of Science and Technology Austria (ISTA). He holds a PhD from the Max Planck Institute for Software Systems (MPI-SWS) and was a postdoctoral researcher at ETH Zürich. His research focuses on formal verification of low-level systems code, combining foundational proofs with automation. Key projects include RefinedC (C verification), Islaris (assembly code verification), and DimSum (multi-language interoperability). Education: PhD at MPI-SWS/Saarland Informatics Campus, postdoc at ETH Zürich. Research interests emphasize tool development for safety-critical systems, including Rust verification (RefinedRust), OCaml/C interoperability (Melocoton), and decentralized multi-language semantics (DimSum). Awards: Runner-Up for Informatics Europe 2024 Best Dissertation Award, Dr. Eduard Martin Prize, Distinguished Paper Awards at PLDI/POPL/USENIX, and Google PhD Fellowship. Labs/Teams: Programming Languages and Verification Group at ISTA, collaborations with MPI-SWS and international researchers. His work bridges foundational theory with practical tools for industry-relevant verification challenges.
Daniel Frumin is an Assistant Professor in the Department of Fundamental Computing Science at the University of Groningen, affiliated with the Bernoulli Institute. His research focuses on Logic, Type Theory, and Program Verification, with a particular emphasis on formal methods for concurrency, type systems, and homotopy type theory. He has contributed to foundational work in denotational semantics, modular programming language design, and mechanized verification of concurrent systems. His expertise includes the application of logical frameworks to concurrency models, such as ReLoC (Relational Logic for Concurrent Programming) and the integration of type theories with operational semantics. Recent work explores guarded interaction trees, interval domains in homotopy type theory, and compositional security properties for fine-grained systems. Frumin has published extensively in top-tier venues like ESOP, CONCUR, and ACM POPL, with peer-reviewed contributions on topics ranging from bunched implications in session-based concurrency to formal verification of data structures like concurrent queues. His research often bridges theoretical computer science and practical formal verification, leveraging tools like Coq for mechanized proofs. Collaborations include projects with institutions such as Aarhus University (Denmark) and the University of Bologna, focusing on univalent foundations, categorical semantics, and security verification. His work is supported by grants from the Dutch Research Council (NWO) and industry partnerships like Meta's Folly Library verification efforts. Labs/Teams: Active contributor to the Bernoulli Institute's Formal Methods Group and the Univalent Foundations initiative. His research group specializes in applying type-theoretic and categorical methods to concurrency and verification challenges.
Prof. Peter van der Heijden is a Professor of Statistics for the Social and Behavioural Sciences at Utrecht University's Department of Methodology and Statistics. He also holds a professorship in Social Statistics at the University of Southampton. His roles include chairing the Ethical Review Board and the Committee for Policy on Integrity at Utrecht's Faculty of Social and Behavioural Sciences. He chairs the Advisory Council on Methodology and Quality of Statistics Netherlands and serves on the Executive Board of the European Statistical Advisory Committee (ESAC). Since 2017, he has led Utrecht's Applied Data Science focus area, focusing on human-centered AI and data-driven solutions. His research emphasizes population size estimation, fraud detection, and categorical data analysis, with applications for Dutch ministries and international bodies like the UN. He has pioneered methods for estimating human trafficking victims and optimizing healthcare treatments using multilevel models and neural networks. Key projects include the AI for Health initiative with Utrecht Medical Center and Wageningen University. His work bridges statistical rigor with societal impact, addressing challenges in criminal justice, public health, and policy-making through innovative methodologies. Universities: Utrecht University (Primary), University of Southampton Key Committees: European Statistical Advisory Committee, UN Human Trafficking Monitoring Research Themes: Multiple Systems Estimation, Data Science for Social Issues Research interests span statistical methods for complex societal problems, including: Register linkage and fraud detection Machine learning applications in healthcare Human trafficking prevalence estimation His publications (2019-2023) highlight advancements in multilevel modeling, randomized response techniques, and AI-driven clinical data classification. He has advised on policy frameworks for official statistics and contributed to global initiatives like the UN Sustainable Development Goals (Target 16.2). Grants and collaborations include projects with Dutch ministries, the EU, and international organizations. Current initiatives involve optimizing Hepatitis C treatment networks and improving criminal recidivism prediction models. His leadership in interdisciplinary teams ensures methodological innovation addresses real-world challenges.
Daniel Campbell is a Lecturer in Web Development & Web AI at the Computer Science department of Edge Hill University. His work contributes to UN Sustainable Development Goals related to health and innovation. He is affiliated with the Centre for Intelligent Visual Computing and the Data and Complex Systems Research Centre. Education: He completed his Doctoral Thesis in 2018 titled 'An Ontology-Driven Approach To Personalised mHealth Application Development' under supervisors E. Pereira, G. McDowell, and C. Balakrishna. Research focuses on mHealth applications, ontology-driven frameworks, machine learning for health monitoring, and software engineering practices like bug prediction and open-source repository analysis. Recent projects include a Knowledge Exchange initiative with the water industry (2024-2026) as a Co-Investigator. His articles explore topics ranging from accelerometer-based elderly activity prediction to automated classification of software repository messages. Collaborations span institutions globally, with active engagement in topics like healthcare technology and user-centric design.
Nuno Pereira Lopes is an Associate Professor at Instituto Superior Técnico , part of Universidade de Lisboa , and a researcher at INESC-ID . He also serves as an advisor at FuriosaAI , focusing on tensor contraction processors for AI workloads. Research Interests : Compilers, formal verification of LLVM optimizations, machine learning frameworks, undefined behavior exploitation, probabilistic model checking, blockchain security, and many-core code generation. Teaching : Compilers and Computer/Informatics Engineering projects. Funding : Supported by Google, Matter Labs, NLnet, Oracle, PRACE, RNCA, and Woven by Toyota. Recent Publications focus on LLVM backend validation , PyTorch pipeline parallelism , C++ dynamic cast optimization , undefined behavior in C/C++ , and AI tensor processors . His work bridges compiler design, formal methods, and AI hardware. Academic Service includes representing Portugal in ISO/IEC JTC 1/SC 22 (C++), organizing FLoC'26 , and serving on program committees for PLDI, EuroLLVM, and CGO.
Fionn C. Bennett is a Lecturer at the University of Reims Champagne-Ardenne, affiliated with the CIRLEP research team (section 11). His academic work bridges philosophy, language sciences, and interdisciplinary humanities. He focuses on intermedial semiotics, comparative poetics, and speculative music, while contributing to environmental humanities and multilingual didactics. His research explores intersections between ancient Greek poetics, musicology, and philosophical thought, often analyzing how artistic forms encode cultural and cosmological frameworks. Recent work interrogates pre-modern models for human-environment relations, applying semiotic theories to contemporary ecological discourse. He also critiques modern language proficiency assessment norms and investigates ethnoecological glossopoiesis in early Irish contexts. Bennett has published extensively since 2000, with over 20 peer-reviewed articles in journals like Humanities , International Review of the Aesthetics and Sociology of Music , and Revue de Métaphysique et Morale . Upcoming 2019 publications address cosmopolitical ethics and interdisciplinary methodologies. His work frequently combines philosophical analysis with empirical research in musicology, linguistics, and classical studies. Despite no listed scientific awards, his prolific output and cross-disciplinary approach indicate significant academic engagement. He is part of a large research team (CIRLEP) involving 39 main researchers, 35 doctoral students, and multiple affiliated institutions. Contact: fionn.bennett@univ-reims.fr
David McMeekin is a Senior Lecturer at Curtin University's School of Elec Eng, Comp and Math Sci (EECMS), part of the Faculty of Science and Engineering. He holds a PhD in Software Engineering focusing on the human aspects of software development and has extensive experience in both academia and international NGOs. His research emphasizes applying technology to solve societal challenges, including accessibility for vision-impaired individuals, autism support through tech, cultural heritage preservation, and spatial data infrastructure. Education and professional background are not explicitly detailed in this profile, though his career spans over three decades in education and tech sectors. Research interests include semantic web technologies for spatial data, assistive technologies for disabilities, and digital humanities. He has been recognized with the 2014 Western Australian Spatial Educator of the Year award. Teaching spans topics like software engineering, programming languages (C, Java, Python), cross-cultural communication, and spatial data processing. His work bridges technical innovation with social impact, particularly in enhancing accessibility and cultural preservation through digital tools.
Peter Desain is a Professor and Principal Investigator at the Donders Institute for Brain, Cognition and Behaviour, Radboud University. His work focuses on developing advanced brain-computer interfaces (BCI) leveraging evoked potentials, particularly through code-modulated visual and auditory stimuli. He pioneers methods like noise-tagging and Bayesian dynamic stopping to enhance BCI efficiency and accessibility. His research spans neurotechnology, electrophysiological modeling, and clinical applications such as objective EEG audiometry and ALS communication aids. Recent studies emphasize gaze-independent systems, semantic decoding, and minimizing BCI calibration requirements. Key contributions include optimizing c-VEP code-books, real-time fMRI neurofeedback for memory contexts, and literature reviews on BCI design trends. Experimental pilot studies explore auditory attention and high-frequency SSVEP dynamics. No scientific awards are explicitly mentioned. His work integrates multidisciplinary approaches, bridging neuroscience, machine learning, and engineering to advance human-computer interaction and clinical tools.
Stefan-Michael Newerkla is a University Professor of West Slavic Linguistics at the Department of Slavonic Studies, Faculty of Philology and Cultural Studies, University of Vienna. He has served as Head of the Institute of Slavic Studies since 2022, following previous leadership roles as Deputy Head (2018-2022) and Head (2005-2008). His academic leadership extends to significant positions including Member of the Academy Council of the Austrian Academy of Sciences (2022-2026), Member of the International Board of Palacký University Olomouc (2022-2026), and Member of the Scientific Council of the Czech Academy of Sciences (since 2013). Professor Newerkla earned his doctorate in 1998 with a dissertation on "Intended and actual linguistic reality in Bohemia. Diglossia in the school system of the Czech-speaking countries of the Habsburg Monarchy 1740–1918 using the example of the West Bohemian district town of Plzeň (Pilsen)" and completed his habilitation in 2003 on "Language Contacts Czech – German – Slovak. German Loanwords in Czech and Slovak: Historical Development, Evidence, Previous and New Interpretations." His academic journey began with studies in Slavic Studies, English Studies, and American Studies at the University of Vienna from 1992-1998. His research focuses on West Slavic linguistics with particular emphasis on contact linguistics, areal linguistics, linguistic geography, and historical sociolinguistics. He investigates the development of linguistic contacts between German, Hungarian and Slavic languages, examining Central Europe as a linguistic area with special attention to Austriazisms and Internationalisms research. His work also explores the school system and language teaching in the Habsburg Monarchy, analyzing language legislation versus language reality and diglossia or polyglossia in the educational system. Additional research interests include the National Renewal in the Bohemian Lands, Vienna's role in the Czech National Renewal, the Slovak national awareness process, and the grammatology and grammarography of West Slavic languages. Analysis of his recent publications (2023-2025) reveals a continued focus on historical language contact in Central Europe, particularly examining multilingualism in the Habsburg Monarchy and linguistic heritage. His work increasingly incorporates interdisciplinary approaches, connecting linguistic analysis with historical, educational, and cultural studies perspectives. Recent publications show particular attention to Czech language in Austria, language teaching methodologies, and the reconstruction of historical language contact phenomena, with several multilingual publications reflecting his expertise in cross-cultural communication. Professor Newerkla's scientific achievements have been recognized with numerous prestigious awards: Medal of the Minister for Foreign Affairs of the Czech Republic (August 7, 2024) for Services to Diplomacy Premia Bohemica for 2023 for outstanding contribution to promoting Czech literature abroad Josef-Dobrovský-Ehrenmedaille of the Czech Academy of Sciences (April 25, 2017) Full member of the Austrian Academy of Sciences (since 2018) Corresponding Member of the Austrian Academy of Sciences (since 2014) Member of the Academic Assembly of the Czech Academy of Sciences (since 2010) Award from University of Vienna for Innovative Teaching (June 22, 2001) As an academic leader, Professor Newerkla has supervised numerous theses across various levels of study. His research is supported by significant grants, most notably his role since 2016 as consortium member and board member of the Special Research Programme "German in Austria. Variation – Contact – Perception" (SFB F 60-G23), where he heads Task Cluster C and subprojects 05 and 06. He also led the research project "Slavists in Exchange: Austria and Russia 1849-1939" (2021-2025). His administrative roles have included Chairman of the Curricular Commission of the Senate of the University of Vienna (2010-2016) and Member of the Senate of the University of Vienna (2009-2016). Professor Newerkla is actively involved in multiple international research teams and collaborations, including the Permanent Conference of Austrian and Czech Historians on Common Cultural Heritage (SKÖTH), which he has co-chaired since 2009. His research group at the University of Vienna's Institute of Slavic Studies focuses on West Slavic linguistics, with particular expertise in historical language contact phenomena and the linguistic heritage of Slavic languages in Central Europe. He has also served as editor for numerous publications including the Vienna Slavic Yearbook (New Series) since 2013.
Elise Newman is an Assistant Professor in the Department of Linguistics and Philosophy at MIT. Her research focuses on syntax, with additional interests in semantics/pragmatics and first language acquisition. She completed her PhD at MIT in 2021 and held a postdoctoral position at the University of Edinburgh, collaborating on projects about syntactic locality effects. Her work bridges formal syntax with experimental approaches, exploring topics like argument structure, syntactic locality, and cross-linguistic variation. Education: PhD in Linguistics (MIT, 2021); Postdoctoral Research at University of Edinburgh (2021-2022). Research themes include syntactic derivation processes, feature-driven movement, and the interface between syntax and semantics. Recent publications analyze DP movement, A/A-bar interactions, and the role of features in syntactic pathways. Her work often employs theoretical frameworks from the minimalist program while engaging with empirical data from diverse languages like Wolof and Shanghainese. Publications showcase contributions to core syntax questions, including subcategorization restrictions, pied-piping phenomena, and adjunct island effects. Though no specific awards are noted, her work demonstrates significant engagement with foundational linguistic theory. Advising and grants details are not explicitly stated in the provided information. Active in academic networks, she collaborates with institutions globally and participates in MIT's Linguistics Program, contributing to the vibrant theoretical linguistics community there.
Professor Gila Safran Naveh holds the Jewish Foundation of Cincinnati Chair in Judaic Studies and serves as Department Head at the University of Cincinnati. She specializes in Holocaust Studies, Genocide Studies, Critical Theory, and Gender and Judaism, with interdisciplinary expertise in Semiotics and Linguistics. Her academic trajectory includes roles from Visiting Assistant Professor (1978-1986) to full Professor (1999–present). Education: Ph.D. in Comparative Literature, University of California San Diego, 1981 Ph.D.C. in Linguistics and Comparative Literature, UC San Diego, 1979 B.A. in Comparative Literature & Near Eastern Studies, Hebrew University, 1969 Multiple additional degrees from San Diego State University (1973–1974) Her research bridges textual analysis with cultural and psychological dimensions, particularly focusing on Holocaust survivors’ narratives, semiotics, and gender dynamics. Key works include Biblical Parables and Their Modern Recreations (2000) and Unpacking the Heart with Words (in progress). She has organized major conferences, including the Semiotic Society of America meetings in 1988 and 2010, and founded the Center for Jewish Cultures and Ideas. Awards include the George C. Barbour Award (2006) and Edith Alexander Award (2000) for teaching excellence. Awards: Fellow of the Academy for Teaching and Learning (2010) Skirball Fellowship (1997) Multiple teaching awards (1996–2006) Her courses span Holocaust literature, Jewish humor, and film studies, reflecting her commitment to interdisciplinary pedagogy. She advises on scholarly journals and serves on boards for the Cincinnati Psychoanalytic Institute and Rockwern Academy.
Deepak Garg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Germany. His work primarily focuses on secure compilation , type theory , and formal verification of software systems. Conference Roles: He has served as an author and committee member in premier programming language conferences such as POPL , PLDI , ICFP , and ESOP since 2015. Research Interests include: Secure compilation techniques for hyperproperty preservation. Modal and refined type theories for cost analysis and concurrency. Formal verification of C code and probabilistic programs. Compiler correctness and decentralized multi-language verification. Contributions span foundational research in programming languages, with a focus on security, complexity, and concurrency. His work has been published in tracks like PriSC , OOPSLA , and ESOP , addressing topics such as data-flow back-translation and robust property preservation.
Paola Cantoni is an Associate Professor at the Department of Modern Literature and Culture , Sapienza University of Rome, Faculty of Arts. She teaches courses in Istituzioni di Storia della Lingua Italiana (12 CFU) and Didattica dell'Italiano e Sociolinguistica , with a focus on Italian language teaching, sociolinguistics, and historical linguistics. Her research spans linguistic variation, educational linguistics, and dialect studies. Current courses: Italian Language History (Undergraduate), Italian Didactics and Sociolinguistics (Master's) Office hours: Tuesday 10:00-11:00, Thursday by appointment (Studio C, 3rd floor) Her publications address topics like: Linguistic variation in educational contexts Historical pragmatics of teacher discourse Dialect representation in literature Language of fascism in school registers Italian punctuation and textual practices She utilizes digital platforms (Google Classroom, Meet) for remote teaching and has presented research at conferences like the Convegno Luca Serianni e la Storia dell'Italiano . Her work includes analyzing historical educational texts and developing teaching methodologies for Italian language variation.
