جست‌وجوی استاد و پژوهشگر

• Theoretical Computer Science
• Distributed Computing
• Formal Models
• +۵ مورد دیگر

Fabian Reiter is an associate professor in theoretical computer science at Gustave Eiffel University (formerly University of Paris-Est Marne-la-Vallée). He is affiliated with the BAAM team at the Gaspard Monge Laboratory of Computer Science (LIGM). His academic journey includes postdoctoral positions at Technical University of Munich (TUM), LSV (University of Paris-Saclay), and a PhD at Paris Diderot University under Olivier Carton, focusing on distributed automata and logic. His Master's thesis at the University of Freiburg explored algorithmic and computational logic under Fabian Kuhn and Andreas Podelski. Reiter's research centers on logic and formal models of distributed computing, particularly extending descriptive complexity theory to distributed systems. He investigates equivalences between distributed algorithm classes and logical formulae, aiming to characterize computational power via logical frameworks. Key contributions include foundational work on distributed automata, modal μ-calculus, and the interplay between algorithmic expressiveness and logical expressiveness. His publications span venues like PODC, CONCUR, FOSSACS, and LICS, addressing topics such as polynomial hierarchy in distributed systems, asynchronous models, and automata-logic equivalences. His PhD thesis, “Distributed Automata and Logic” , explores logical characterizations of distributed automata variants, including nonlocal and asynchronous models. Current research emphasizes bridging distributed computing with descriptive complexity to develop machine-independent computational characterizations. Reiter’s work is supported by grants from the Simons Foundation and ERC projects (e.g., PaVeS and EQualIS). He actively contributes to conferences through talks at venues like PODC 2024 and CONCUR 2020, and his findings are accessible via dblp, arXiv, and institutional repositories.

Ernest Tenienteمشاهده پروفایل

استاد

• Software Engineering
• Database Systems
• Conceptual Modeling
• +۴ مورد دیگر

Ernest Teniente is a full professor at the Universitat Politècnica de Catalunya — BarcelonaTech and director of the inLab FIB . He specializes in software engineering, databases, and IoT systems, with a focus on conceptual modeling, data integration, and automated reasoning. His research spans 20 years, yielding over 60 peer-reviewed publications and leading roles in national/international projects like SUDOQU and DAGIA. He has supervised numerous students across BSc, MSc, and PhD levels, contributing to projects such as an AI-based police patrol tool and semantic IoT infrastructure monitoring. Teaching experience includes undergraduate/postgraduate courses on software analysis, requirements engineering, and advanced databases. He has collaborated with institutions like Mossos d’Esquadra and Barcelona City Council on projects like the Artificial Intelligence-assisted police patrol manager and LinDaFIX for social welfare data analysis. His work bridges academia and industry, emphasizing practical applications in transportation optimization (SORT project) and cybersecurity. Research Highlights : Conceptual modeling and automated reasoning for database schemas IoT semantic integration and critical infrastructure monitoring Artifact-centric business process modeling in UML Projects : SUDOQU (data quality via ontologies) DAGIA (threat detection in ICT infrastructures) REMEDiAL (ontology-based software development) He regularly serves on program committees for top conferences and has coordinated projects funded by Spain’s Ministry of Science. His labs and teams, notably inLab FIB, drive innovation in AI applications, DevOps benchmarking, and IoT ecosystems.

• Digital Journalism
• New Media
• Mobile Journalism
• +۵ مورد دیگر

Alba Silva Rodriguez is a Professor at the University of Santiago de Compostela's Faculty of Communication Sciences, affiliated with the Department of Communication Sciences and the Institute of Studies and Development of Galicia (IDEGA). She holds a Doctorate from the same institution (2014), focusing on 'Cybermedia on mobile devices' under Professors Xosé López García and Manuel Gago Mariño. Her research emphasizes digital media innovation, mobile journalism, media trust, and disinformation regulation. Her academic work spans over 50 publications, including studies on the Fourth Industrial Revolution's impact on journalism, audience-centered content strategies, and fact-checking methodologies. Key contributions address mobile media's role in journalism education, cross-border media collaboration, and the evolution of digital native media ecosystems. Silva Rodriguez actively participates in international conferences and editorial boards, advocating for ethical practices in emerging media landscapes. Education: Doctorate in Communication Sciences (2014), University of Santiago de Compostela Research Focus: Mobile Journalism, Digital Media Innovation, Media Law, Fact-Checking, Audience Engagement Affiliations: IDEGA, European Journalism Training Association Her recent work (2023-2025) explores global legislative frameworks against misinformation and the transformative role of mobile technologies in reshaping journalistic narratives and audience interactions. Silva Rodriguez also contributes to policy discussions on media identity and the ethical use of AI in news production.

• Statistics
• Operational Research
• Nonparametric Regression
• +۲ مورد دیگر

César Andrés Sánchez Sellero is a Professor in the Department of Statistics, Mathematical Analysis and Optimization at the Faculty of Mathematics, University of Santiago de Compostela. He is affiliated with the Galician Mathematical Research and Technology Center (CITMAga) and leads research in the MODESTYA group (Optimization, Decision, Statistical Models and Applications). His academic career spans over 25 years, with a focus on statistical inference for censored/truncated data, nonparametric regression, and quantile modeling. PhD in Statistics (2001) from University of Santiago de Compostela Research Interests: Specializes in advanced statistical methodologies for complex data structures, including censored and truncated datasets. Key contributions in goodness-of-fit testing, bandwidth selection algorithms, and empirical likelihood frameworks for regression models. Publication Trends: His work bridges theoretical statistics with practical applications in data analysis, particularly in nonparametric methods and quantile regression. Collaborations with researchers like Wenceslao González-Manteiga and Valentin Patilea have produced significant results in error distribution estimation and model diagnostics.

Maria Jose Baños Morenoمشاهده پروفایل

استاد مهمان

• Digital Preservation
• Metadata Modeling
• Ontology Development
• +۳ مورد دیگر

María José Baños Moreno is a Visiting Professor at the University of Murcia's Faculty of Communication and Documentation, specializing in Information and Documentation Science. She leads research in the Information Technology group focusing on semantic technologies and archival systems. Education: PhD in Information and Communication Management in Organizations, University of Murcia (2017) Her research explores FAIR data implementation, ontological modeling for knowledge representation, and digital preservation frameworks. Recent work includes metadata schemas for biomedical collections, Wikidata-based knowledge ranking systems, and combating misinformation during health crises. She integrates computational linguistics with archival science to enhance semantic interoperability. Professional experience includes over a decade as a digital archivist and metadata specialist at Odilo, where she developed preservation strategies for institutional repositories.

Chana Weil-Kennedyمشاهده پروفایل

پژوهشگر

• Formal Verification
• Distributed Systems
• Petri Nets
• +۳ مورد دیگر

Chana Weil-Kennedy is a Researcher at CEA List in Paris, focusing on formal verification of distributed systems, Petri nets, and theoretical computer science. Previously, she was a Postdoctoral Researcher at the IMDEA Software Institute (2023–2024) and completed her PhD at the Technical University of Munich (TUM), supervised by Javier Esparza. Her PhD thesis, Observation Petri Nets , explores parameterized verification and Petri net reachability under the ERC-supported PaVeS project. Education: PhD in Computer Science, TUM (2023) Master’s in Computer Science, École Normale Supérieure Paris-Saclay (2018) Bachelor’s in Mathematics, Université Paris-Sud (formerly Orsay) Research Interests: Runtime verification, distributed systems, formal methods, Petri nets, and mathematical reasoning in computer science. Her work emphasizes parameterized verification of protocols and systems, with applications to population protocols and distributed computations. Teaching & Supervision: Tutored courses at TUM including Automata and Formal Languages, Petri Nets, and Fundamental Algorithms. Co-supervised three Bachelor’s theses and a Master’s thesis on distributed systems and verification tools. Awards: Best Paper Award at Petri Nets 2019 for Parameterized Analysis of Immediate Observation Petri Nets . Labs/Teams: Active at CEA List, collaborating on runtime verification and distributed system analysis. Formerly part of Pierre Ganty’s group at IMDEA and Javier Esparza’s team at TUM.

Carmelo Conesa Garciaمشاهده پروفایل

استاد

• Physical Geography
• Geomorphology
• Hydrology
• +۱۰ مورد دیگر

Carmelo Conesa García is a Professor in the Department of Geography at the Faculty of Arts and Humanities, Universidad de Murcia, Spain. His academic career is deeply rooted in physical geography, with a focus on geomorphology and hydrology of Mediterranean environments. Research Interests: His work spans a broad range of topics including fluvial processes, natural and hydrological hazards, soil erosion, sediment transport in ephemeral streams, climate change impacts on hydrology, and the application of GIS and remote sensing in environmental modeling. He has extensively studied the geomorphological evolution of intermittent rivers using historical imagery and UAVs, and has applied models such as SWAT, HEC-HMS, and GeoWEPP to assess hydrological responses and erosion dynamics. Publication Trends: His recent publications (2021–2022) reveal a strong trend toward interdisciplinary environmental modeling, integrating field data with advanced geospatial techniques to analyze climate change impacts, sediment connectivity, and extreme temperature events in the Iberian Peninsula. His research often involves high-resolution spatio-temporal analysis and contributes to understanding environmental risks in semi-arid regions. Scientific Awards: No awards were mentioned in the provided text. Advising and Grants: He was part of the Eroderme research group focused on erosion and desertification in the Mediterranean. While specific students or grants are not listed, his long-standing research activity suggests involvement in mentoring and funded projects related to environmental change and geomorphology. Labs and Teams: He was a member of the Eroderme research group (Erosion, Desertification in the Mediterranean), which indicates active collaboration in a team setting focused on environmental degradation processes in Mediterranean basins.

• Digital Media
• Journalism Studies
• Media Strategies
• +۳ مورد دیگر

Xosé Soengas Pérez is a Professor at the University of Santiago de Compostela (USC), affiliated with the Department of Communication Sciences within the Faculty of Communication Sciences. He is part of the Institute of Studies and Development of Galicia (IDEGA) and focuses on Audiovisual Communication and Advertising. His academic career began with a PhD from the Universitat Autònoma de Barcelona in 1993, where his thesis examined regional television news. Research Interests: Soengas Pérez specializes in digital media transformation, social networks strategies, journalism evolution, and media policy. His work bridges traditional media adaptation to digital landscapes, with a focus on local and public service media roles. Key themes include crossmedia radio strategies, misinformation combat through algorithms, and the impact of Industry 4.0 on journalism. Publications Trends: His recent articles emphasize digital media ecosystems (e.g., Fediverse/Mastodon analysis), pandemic-era information consumption patterns, and Latin American political discourse. He frequently collaborates on projects like the XESCOM network, exploring global media challenges. Grants & Projects: Involved in EU-funded projects (e.g., SENESCYT), analyzing media innovation and interactivity in Spain. His work often addresses public broadcasting credibility, youth media habits, and radio’s hybrid digital evolution. Labs/Teams: Active in IDEGA and the Novos Medios research group at USC, leading studies on cibermedia architecture and local media strategies. Collaborates internationally with universities in Portugal, Mexico, and Ecuador.

ANGEL ANTONIO VIZOSO GARCIAمشاهده پروفایل

استادیار

• Information Visualization
• Digital Journalism
• Fact-Checking
• +۵ مورد دیگر

Ángel Antonio Vizoso García is an Assistant Professor in the Department of Communication Sciences at the University of Santiago de Compostela (USC), affiliated with the Faculty of Communication Sciences and the Institute of Studies and Development of Galicia (IDEGA). He holds a PhD in Communication and Contemporary Information from USC, completed in 2021 with a thesis on multimedia infographic production models. His research focuses on information visualization, professional adaptation to new media, and combating misinformation. He served as a researcher in training (FPU program) at NOVA University of Lisbon between 2018-2021. Education: PhD in Communication and Contemporary Information, USC (2021) Master in Marketing, Consulting, and Political Communication, USC Graduate in Journalism, USC Research Interests: His work addresses misinformation dynamics, fact-checking strategies, digital journalism innovation, and the evolving roles of journalists in the digital age. He explores AI-driven challenges like deepfakes and examines business models for digital media sustainability. Publications: Dr. Vizoso has authored over 20 peer-reviewed articles, including studies on media forensics, mobile journalism practices, and global fact-checking initiatives. Notable works include analyses of deepfake mitigation strategies and business models for online native media. Collaborations: Member of the Novos Medios Research Group Co-author with prominent scholars like Xosé López García Labs/Teams: Active in USC’s communication research initiatives, contributing to IDEGA’s interdisciplinary projects on media and technology.

Sergio Moverمشاهده پروفایل

استاد

• Formal Methods
• Model Checking
• Satisfiability Modulo Theories (SMT)
• +۳ مورد دیگر

Sergio Mover is a Professor at the Department of Computer Science , Polytechnic Institute of Paris , affiliated with the Cosynus team and the LIX - Computer Science Laboratory . His research focuses on formal methods , particularly model checking using SMT for hybrid systems, embedded software, and program analysis. He has contributed to tools like HyCOMP , nuXmv , and SABBATH . Research interests include: Formal verification of infinite-state systems Symbolic model checking Hybrid system stability Callback protocol analysis Relational abstraction techniques In 2024, he published a book on abstraction techniques for symbolic model checking. His work has been featured at top conferences like CAV , FMCAD , and ICLR . Awards include the IEEE TCSE Distinguished Paper Award (2018) and Best Paper at FMCAD 2012 . He collaborates with researchers such as Alessandro Cimatti , Stefano Tonetta , and Bor-Yuh Evan Chang , focusing on hybrid systems, Android callback protocols, and SMT-based verification.

Alberto José Bugarín Dizمشاهده پروفایل

استاد

• Machine Learning
• Natural Language Generation
• Soft Computing
• +۵ مورد دیگر

Alberto José Bugarín Diz is a Full Professor of Artificial Intelligence at the University of Santiago de Compostela (USC), where he serves as coordinator of the Intelligent Systems Group (GSI), founded in 1990 and recognized as a competitive reference group by the Xunta de Galicia since 2006. He previously served as Deputy Director of the School of Engineering of the University of Santiago de Compostela (ETSE) and currently acts as the USC coordinator of the Degree in Artificial Intelligence taught across the three universities in Galicia. His research focuses on various areas of artificial intelligence and its applications, including natural language generation (Data-To-Text systems), soft computing, automatic learning, and approximate knowledge and reasoning representation. He has co-authored nearly 230 scientific papers and participated in over 63 R&D projects and innovation contracts, serving as principal researcher in 25 of them. His work spans healthcare applications, manufacturing processes, conversational agents, and linguistic descriptions of data, with particular emphasis on making AI systems more transparent and understandable to users. Prof. Bugarín Diz is actively involved in the AI community, currently serving as a Board Member of the Spanish Society for Artificial Intelligence (AEPIA), Secretary of the Spanish Society for Natural Language Processing (SEPLN), and as a member of the Organizing Committee of the 27th European Conference on Artificial Intelligence (ECAI), which took place in Santiago de Compostela in October 2024. He also participates in the TELSEC4TAI network about 'Trustworthy AI: technical, ethical, legal, cultural and socio-economic challenges.' His recent publications reveal a strong focus on explainable AI, trustworthy systems, and the application of fuzzy logic to complex reasoning problems, particularly in medical diagnosis, automotive manufacturing, and conversational systems. His work consistently bridges theoretical AI concepts with practical applications that address real-world challenges in healthcare, industry, and human-computer interaction. Board Member, Spanish Society for Artificial Intelligence (AEPIA) Secretary, Spanish Society for Natural Language Processing (SEPLN) Organizing Committee Member, 27th European Conference on Artificial Intelligence (ECAI 2024) Coordinator, Intelligent Systems Group (GSI) USC Coordinator, Degree in Artificial Intelligence (Galicia)

Manuel Lama Penínمشاهده پروفایل

استاد

• Machine Learning
• Process Mining
• Predictive Monitoring
• +۶ مورد دیگر

Manuel Lama Penín is a Full Professor at the Research Center on Intelligent Technologies (CiTIUS) with the University of Santiago de Compostela. His research bridges machine learning, process mining, and semantic modeling to address challenges in healthcare, industry, and e-learning. He has led 29 of 51 R&D projects and authored over 150 scientific works, including 52 journal articles. Research Areas: Process Mining & Conformance Checking Predictive Monitoring & Drift Detection Semantic Modeling & Service Computing Social Workflow Analysis & Data-to-Text AI in Healthcare & Educational Technologies Notable Projects: TRANSFIRESAUDE (2023, EU Health R&I Ecosystems) AQUATECHInn 4.0 (2023, Aquaculture Education) INCEPTION (2021, Concept Drift in Process Mining) Scientific Recognition: Recipient of the Transfer Technology award from the Galician Royal Academy of Sciences for co-founding InVerbis Analytics, a spin-off commercializing process mining research. Article Trends: His recent publications focus on explainable AI integration in EU regulations, drift detection methodologies, and natural language generation for process documentation. Collaborative efforts emphasize cloud-based solutions, healthcare process formalization, and predictive modeling across sectors.

Nikos Tzevelekosمشاهده پروفایل

مدرس ارشد

• Theoretical Computer Science
• Programming Language Semantics
• Verification
• +۲ مورد دیگر

Nikos Tzevelekos is a Senior Lecturer at the School of Electronic Engineering and Computer Science, Queen Mary University of London, where he is a member of the Theory Group. He holds a PhD from the University of Oxford, where he previously served as a postdoctoral researcher in the Quantum Group. His research focuses on Theoretical Computer Science with emphasis on: Mathematical modeling of programming languages using game semantics and category theory Applications to program analysis and verification Automata theory (particularly automata over infinite alphabets) Development of formal methods for software verification His publications demonstrate consistent focus on program semantics and verification techniques, with recent work exploring bisimulation methods, separation logic foundations, and compositional verification frameworks. Research often combines theoretical depth with practical tool development. Awards: LICS 2023 Distinguished Paper Award He actively contributes to the research community through: Program committees for top conferences (POPL, LICS, FOSSACS) Organization of events like World Logic Day 2025 Teaching courses on Algorithms, Automata Theory, and Logic in Computer Science

Gonçal Costa Jutglarمشاهده پروفایل

استاد

• Building Energy Efficiency
• Semantic Data Modeling
• Building Compliance Regulations
• +۵ مورد دیگر

Gonçal Costa Jutglar serves as a Contracted Professor within the Department of Architecture at La Salle Technical School of Architecture, Universitat Ramon Llull. His academic appointment focuses on Human-Environment Research, bridging architectural design with environmental performance analysis. His institutional affiliation places him within a technical architecture school known for its practical engineering approach to built environments. His research interests span multiple critical areas in sustainable architecture, with particular emphasis on building energy efficiency and semantic data modeling for architectural applications. Costa Jutglar's work addresses building compliance regulations through automated systems, develops digital twin technologies for facility management, and creates ventilation solutions for pandemic-resilient workspaces. His research portfolio demonstrates consistent progression from fundamental energy conservation measures toward sophisticated AI-driven compliance systems. Analysis of his recent publications reveals a clear trajectory toward increasingly complex integration of artificial intelligence with building regulatory frameworks. Starting with foundational energy conservation measure catalogs, his work has evolved to incorporate machine learning for automatic compliance checking and semantic tools for digital twin implementations. His research consistently addresses practical challenges in public building management while advancing theoretical frameworks for data interoperability in architectural contexts. Costa Jutglar actively leads multiple significant research projects including ACCESS (Automated verification service for compliance with accessibility regulations), BUILDING LEGACY, and ACCORD (Automated Compliance Checks for Construction, Renovation or Demolition Works). These projects demonstrate sustained external funding from diverse sources including the European Commission and regional Catalan government agencies. His collaborative network spans multiple European countries with notable partnerships in Germany, Estonia, and Finland, focusing on sustainable building environments and data exchange standards. The Human-Environment Research group he participates in represents a substantial interdisciplinary effort involving over 40 researchers addressing complex challenges at the intersection of architecture, environmental systems, and digital technologies.

Carla Ferreiraمشاهده پروفایل

پژوهشگر

• Distributed Systems
• Concurrency
• Low-code Development
• +۵ مورد دیگر

Dr. Carla Ferreira is a Researcher at NOVA University Lisbon, Portugal. She actively contributes to academic communities as a committee member and session chair in conferences like POPL, ECOOP, and SPLASH. Her work bridges distributed systems, low-code development, and program verification. Researcher at NOVA University Lisbon Conference committee roles: POPL, ECOOP, SPLASH, MODELS, PLDI Research interests: distributed systems, low-code development, invariant verification Carla’s work focuses on ensuring correctness in distributed systems through coordination-free designs and replicated data types. She has explored low-code templates for safe application composition and automated scaling of sequential systems. Her recent contributions include consistency models for weakly consistent databases and educational approaches for teaching distributed verification with TLA+. She has authored key works on ECROs, OSTRICH, and VeriFx frameworks. Her publications span from 2016 to 2025, reflecting ongoing contributions to system design and verification. Carla Ferreira can be reached via her personal website at http://ctp.di.fct.unl.pt/~cf/ , though no direct email addresses are publicly listed in the scraped data.