جستجوی استاد راهنمای دانشگاهی

KC Sivaramakrishnanمشاهده پروفایل

استاد مدعو

• Functional Programming
• Language Runtimes
• Concurrency
• +۵ مورد دیگر

KC Sivaramakrishnan serves as an Adjunct Professor at the Indian Institute of Technology, Madras and CTO of Tarides, bridging academic research and industrial application in programming languages and systems. His dual roles reflect a commitment to advancing both theoretical foundations and practical implementations in computer science. His research spans Functional Programming, Language Runtimes, Concurrency/Parallelism/Distribution, and Weak Memory/Consistency models, with particular focus on the OCaml programming language. Sivaramakrishnan's work addresses fundamental challenges in concurrent and distributed systems through innovative language design and runtime techniques. Analysis of his publication record reveals a consistent trajectory from foundational work on effect handlers and concurrency models (2015-2020) to more recent contributions in verified systems, multicore programming, and distributed data types (2021-2025). His research demonstrates strong continuity in exploring how programming language principles can solve real-world systems challenges. Sivaramakrishnan actively contributes to the academic community through program committee memberships across major PL conferences including POPL, PLDI, ICFP, and SPLASH. His service spans multiple roles from committee member to track chair and diversity co-chair. As CTO of Tarides, he leads industrial efforts in OCaml compiler development and systems programming, maintaining a productive synergy between his academic research and industry leadership. His work with the OCaml community includes significant contributions to multicore support and effect handler implementations.

• Smart City Technologies
• Traffic Engineering
• Optimization Algorithms
• +۴ مورد دیگر

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

• Disinformation and Fact-Checking
• Social Media Analysis
• Political Communication
• +۳ مورد دیگر

Uxia Carral Vilar serves as Assistant Professor in the Department of Communication Studies at the School of Humanities, Communication and Documentation, Charles III University of Madrid. Affiliated with both the University Institute on Gender Studies and the UC3M MediaLab research group, her work bridges communication theory, digital media analysis, and European political discourse through empirical investigation of social media dynamics. Her research critically examines disinformation ecosystems and AI-driven communication analysis , with particular focus on fact-checking alliances, social media toxicity in political contexts, and European public sphere formation. Recent work applies computational methods to analyze Spanish political discourse on Twitter and cross-national MEP interactions during crises like the pandemic, revealing how digital platforms reshape democratic engagement and institutional communication. Publication trends demonstrate increasing methodological sophistication in analyzing disinformation, with 2024 works pioneering AI tools for toxicity detection and examining fact-checking viability in Spain. Her scholarship consistently addresses European communication challenges, evolving from institutional chronicles (2017) to real-time analysis of far-right strategies (2020) and pandemic-era transnational dialogue (2021). Dr. Carral Vilar leads significant research initiatives including: VITAL-IoT cybersecurity project for personal IoT systems (2023-2025) Gender equality and human rights project in Mexico (2024-2025) Combating disinformation against refugees in Chile (2023-2025) Building Ukrainian fact-checkers' resilience against EU disinformation (2023) Multi-source prediction for COVID-19 policy decision-making (2020-2022) Her work within UC3M MediaLab fosters interdisciplinary collaboration on communication analytics, with current projects emphasizing practical interventions against disinformation while advancing methodological innovation through AI applications in social media research.

Juan Carlos Vidal Aguiarمشاهده پروفایل

استادیار

• Knowledge Discovery
• Semantic Annotation
• Workflow Modeling
• +۷ مورد دیگر

Juan Carlos Vidal Aguiar is an Assistant Professor in the Department of Electronics and Computing at the University of Santiago de Compostela (Spain), affiliated with the Higher Technical School of Engineering and the Center for Research in Intelligent Technologies (CITIUS). His research focuses on knowledge discovery, semantic technologies, process mining, and AI-driven business intelligence. He holds a PhD from the University of Santiago de Compostela (2010) and a Bachelor's in Computer Science from the University of La Coruña (2000). His work integrates formal methods like Petri nets with machine learning and semantic web technologies, addressing challenges in workflow modeling, predictive monitoring, and healthcare analytics. Key projects include Predictive monitoring and causality for cardiac rehabilitation , Responsible AI for Process Mining 2.0 , and AQUATECHInn 4.0 (digital aquaculture training). He has led research on glucodensity analysis for diabetes monitoring and developed frameworks like OPENET for Petri net-based workflow execution. His contributions span 200+ publications in venues like IEEE Transactions, ACM T-KDD, and Advances in Data Analysis and Classification. Juan Carlos collaborates with institutions across Europe and Latin America on learning analytics, smart manufacturing, and health informatics. His lab's work emphasizes practical applications of AI in education and industry, including gamification analytics and cloud-based process monitoring tools.

• Journalism Studies
• Digital Media
• European Union Policy
• +۳ مورد دیگر

Susana Pérez Soler is an Associate Lecturer at the Blanquerna School of Communication and International Relations, Ramon Llull University. Her research focuses on digital journalism, media literacy, European Union policy, and the impact of social networks on communication practices. She has contributed to projects like the STReaM initiative analyzing societal, technological, and media intersections. Roles: Researcher in 4 funded projects (2014-2025) Expertise areas: Social media strategies, misinformation combat, EU media governance Key projects: STReaM (2022-2025), Digilab (2014-2017) Her work bridges journalism ethics with digital innovation, addressing challenges like AI integration in newsrooms and podcasting evolution. She has published extensively on media history, paywall strategies, and professional development in journalism. Recent focus: Fact-checking platforms and digital media business models

• Continuous Time Models of Computation
• Analog Computing
• Dynamical Systems
• +۱۲ مورد دیگر

Olivier Bournez is a Professor of Computer Science at Ecole Polytechnique, which is a member of Institut Polytechnique de Paris (IP Paris) in the Paris-Saclay area. He is affiliated with the Computer Science Department (DIX) and the Computer Science Laboratory of Ecole Polytechnique (LIX), a joint laboratory with CNRS (UMR 7161). His leadership roles include serving as Vice-head (representative of LIX/DIX) of the Computer Science, Data and Artificial Intelligence (CSDAI) department at IP Paris, Head of the 'Proofs and Algorithms' pole at LIX, and Head of the 'Algorithms and Complexity' team from LIX laboratory. Professor Bournez's research spans multiple areas within theoretical computer science, with a focus on continuous time models of computation, analog computing, and dynamical systems. His work bridges mathematical theory with practical computational models, particularly exploring the connections between continuous and discrete computation. He has made significant contributions to understanding the computational power of analog models, chemical reaction networks, and population protocols. His research also extends to distributed computing, algorithmic game theory, verification, and rewriting systems. His recent publications demonstrate a consistent focus on foundational aspects of computation, particularly examining how continuous models relate to traditional discrete computation. The trend shows increasing interest in hybrid analog-digital systems and biological computation models, with several award-winning papers on characterizing computational power using differential equations and chemical reaction networks. His work has been recognized with multiple best paper awards at prestigious conferences. MFCS'2023 best paper award for work with Manon Blanc MCU'2022 student best paper award La Recherche 2019 award for computer science CMSB'2017 Best paper award ICALP'2016 best paper award (track B) CIE'2016 Best paper award Professor Bournez actively mentors students, with notable advisees including Manon Blanc and Amaury Pouly (who received the Ackermann Award 2017). He has been involved in significant research projects, including the ANR PROJECT ∂IFFERENCE. His laboratory work centers around the LIX laboratory at Ecole Polytechnique, where he previously served as Director from 2010 to 2015. He also contributes to the academic community through roles such as managing the Computability in Europe (CIE) association membership and serving on the editorial board of the Computability journal.

Ahmed Bouajjaniمشاهده پروفایل

استاد

• Formal Verification
• Concurrency
• Model-Checking Algorithms
• +۷ مورد دیگر

Ahmed Bouajjani is a Professor at Paris Diderot University (Univ. Paris 7) and a Senior member of the Institut Universitaire de France . He leads the Automata, Structures, and Verification (ASV) pole of the IRIF laboratory and is a member of the Modeling and Verification team. His work focuses on formal methods, program verification, and automata theory, particularly for concurrent and infinite-state systems. Research Interests : Formal specification and verification, program verification, concurrency, model-checking algorithms, verification of infinite-state systems, automata, and logics. Teaching : He teaches courses such as Introduction to Artificial Intelligence and Game Theory , Formal Methods for Verifying Systems , and Algorithmic Program Verification at the university. Scientific Contributions : His recent articles address weak memory models, robustness in distributed systems, and inter-procedural analysis of list-manipulating programs. Keywords include Computer Science , Formal Verification , and Concurrency . Awards : He is a Senior member of the Institut Universitaire de France , a prestigious academic recognition. Labs and Teams : He is affiliated with the IRIF laboratory and its Modeling and Verification team, contributing to collaborative research in automata and verification.

• Service-Oriented Programming
• Recommendation Systems
• Graph Transformation
• +۳ مورد دیگر

Nicolas Eduardo Mylonakis Pascual is a Computer Science researcher at the Department of Computer Science, Barcelona School of Informatics, Universitat Politècnica de Catalunya. With a Doctorate in Computer Science, he maintains active research in formal methods for service-oriented computing, specializing in graph-based approaches to system modeling and verification. His research interests focus on service-oriented programming , recommendation systems , and graph transformation . He has developed theoretical frameworks for business process modeling using symbolic graphs, created semantics for ambient calculus variants applicable to service-oriented computing, and contributed to formal verification methods for graph transformation systems. His work bridges theoretical computer science with practical applications in distributed systems and business process management. Analysis of his publication trends reveals a consistent focus on graph-based formal methods spanning over three decades. His research evolved from foundational work on type checking and semantic verification in the 1990s to sophisticated graph transformation systems for service-oriented computing in the 2000s and 2010s, culminating in recent work on logical approaches to graph databases. His publications demonstrate strong collaboration patterns, particularly with Fernando Orejas (15 joint publications) and other researchers in the ALBCOM research group. As a member of the ALBCOM research group (Algorithms, Bioinformatics, Complexity and Formal Methods), he contributes to the Department of Computer Science's research profile in theoretical computer science and formal methods. His work has been supported by competitive R&D projects including 'Modelos y métodos basados en grafos para la computación en gran escala' and 'Modelos y métodos computacionales para datos masivos estructurados' under Spain's National Research Plan.

• Advertising
• Public Relations
• Social Media Communication
• +۶ مورد دیگر

JUAN MANUEL CORBACHO VALENCIA is a Full-Time Professor at the University of Vigo , affiliated with the Faculty of Social Sciences and Communication in the Audiovisual Communication and Advertising department. With a doctorate in Audiovisual Communication (2008), his work focuses on digital communication, event management, and fact-checking practices. Education: Doctorate in Audiovisual Communication (University of Vigo, 2008) Advisors: Dr. Alberto Pena Rodríguez Research Interests span diverse areas including: Fact-Checking across social media platforms (Instagram, Facebook, Telegram) with emphasis on disinformation combat and engagement metrics Event Organization analyzing technological integration and pandemic-era adaptations Nation Branding exploring the disparity between internal and external country perceptions Digital Advertising covering creative trends and economic bid evaluations Political Communication through case studies of emerging digital parties Educational Innovation in audiovisual production models and protocol teaching Publication Trends show a strong focus on disinformation (2020-2021) and event spectacularization (2023). His work combines theoretical approaches with practical case studies from European and Iberoamerican contexts.

Alastair Reidمشاهده پروفایل

پژوهشگر

• formal verification
• security
• functional languages
• +۱ مورد دیگر

Alastair Reid is a researcher at Intel (2021–present) focusing on formal instruction set architecture (ISA) specifications and model checking processor pipelines. His career spans roles at Google Research (2019–2021) developing Rust verification tools, Arm Ltd (2004–2019) working on formal ISA specifications and vectorizing compilers, University of Utah (1998–2004) on component-based operating systems, Yale University (1994–1998) contributing to Haskell functional reactive programming, and University of Glasgow (1988–1994) in formal specification and verification. Ph.D. in Defining interfaces between hardware and software: Quality and performance , Glasgow University M.Sc. in A precise semantics for Ultraloose Specifications , Glasgow University B.Sc., University of Strathclyde His research interests include formal verification, security analysis, functional programming languages (particularly Haskell and Rust), and computer architecture. He has contributed to the development of machine-readable ISA specifications for ARM, RISC-V, and Intel architectures, and worked on symbolic execution tools like KLEE for Rust verification. Key publications include work on RISC-V specification improvements (2024), formal methods for persistent programming (2023), PLARCH workshop contributions on ISA specification (2023), and foundational papers on ARM processor verification with ISA-Formal (2016). His technical blog posts cover topics in symbolic execution, SMT solvers, and practical verification challenges. Contributions to conferences include committee roles in PLDI (2024), PriSC (2024), and workshop organization in formal methods and programming language design.

• Global Program Analysis
• Verification
• Debugging
• +۵ مورد دیگر

Manuel V. Hermenegildo is a Distinguished Professor at the IMDEA Software Institute and a Full Professor at the Department of Computer Science, Universidad Politécnica de Madrid. He holds a PhD in Electrical and Computer Engineering from the University of Texas at Austin (1986). His academic career spans over four decades, contributing to global program analysis, verification, and parallel computing. Education: PhD, Electrical and Computer Engineering, University of Texas at Austin (1986) M.S., Electrical and Computer Engineering, University of Texas at Austin (1984) M.S., Electrical Engineering, Technical University of Madrid (1981) Research Interests: His work focuses on global program analysis , verification , and optimization for functional/non-functional properties. He pioneered techniques in abstract interpretation , parallelism , and constraint/logic programming . His contributions include the Ciao programming system and the CiaoPP preprocessor, emphasizing static analysis and program debugging . Key Awards: ACM Fellow Julio Rey Pastor Prize (2006) Elected member of Academia Europaea (2010) Test of Time Award at ICLP 2017 His work has been cited over 10,000 times, with an h-index of 60. Leadership & Contributions: Founded and directed the IMDEA Software Institute Directed Spain's National Research Directorate (1999–2002) Chair of major conferences (POPL 2010, ICLP 2006) Labs & Teams: Leader of the CLIP Lab (Computational Logic, Implementation, and Parallelism) Principal investigator in EU-funded projects on resource-aware computing

• Business Process Management
• Process Performance Measurement
• IT Service Management
• +۳ مورد دیگر

Adela del Rio Ortega is a Full Professor at the University of Seville's Higher Technical School of Computer Engineering, working in the Languages and Computer Systems department. She leads research in the INGENIERÍA DEL SOFTWARE APLICADA (ISA) group and has been Principal Investigator in multiple national and EU projects like S-CUBE and RISE_BPM. Her work focuses on bridging business and IT through process performance measurement, decision management systems, and service-oriented architectures. She has co-authored books such as 'Desarrollo de Software Guiado por el Negocio' (2012) and developed tools like PPINOT for process performance indicator management. Her research interests include process variability analysis, SLA definitions for outsourcing, and dashboard generation for process analytics. She actively participates in major conferences like Business Process Management and CAiSE, serving as Senior PC member since 2019. Her contributions span over 50 peer-reviewed publications, with recent focus areas including flipped classroom methodologies in CS education and AI-driven decision support systems. She coordinates interdisciplinary projects involving academia-industry collaboration in Andalusian healthcare and aerospace sectors.

• Machine Learning
• Computer Vision
• Artificial Intelligence
• +۴ مورد دیگر

Manuel Felipe Muciéntes Molina is a Professor of Computer Science and Artificial Intelligence at the Research Center on Intelligent Technologies (CiTIUS), University of Santiago de Compostela (USC). He holds a PhD from USC (2002) focusing on fuzzy logic-based control systems for autonomous robots. His research emphasizes machine learning applications in computer vision, process mining, robotics, and healthcare. He teaches courses like Statistical Learning, Supervised Machine Learning, and Deep Learning. Key Projects: RAI4P: Responsible AI for Process Mining 2.0 QC4SUSTEX: Authentication and security of sustainable textiles CAREBOT: Intelligent robotic units for hospital care Research Interests: Machine learning, computer vision (object detection, tracking), process mining, robotics navigation, and healthcare AI applications. Labs/Teams: Leading the Grupo GSI (Systems Intelligence) within CiTIUS, focusing on intelligent systems and AI-driven solutions.

• Economics
• International Trade
• Monetary Policy
• +۵ مورد دیگر

Paul Krugman is a Nobel laureate economist and prominent public intellectual, formerly with the New York Times and currently authoring a widely-read Substack newsletter. He maintains an academic affiliation with the Stone Center on Socio-Economic Inequality at the City University of New York's Graduate Center, where he engages with economic research and policy analysis. Professor Krugman's scholarly work spans international trade theory, monetary policy, and political economy, with recent focus on contemporary economic challenges including stagflation risks, AI's energy demands, and the economic impacts of trade policy. His research consistently bridges academic rigor with accessible public commentary, making complex economic concepts understandable for broader audiences while maintaining scholarly precision. His expertise in international economics stems from foundational work that earned him the Nobel Prize. Recent analysis shows Krugman examining nonlinear economic effects of policy decisions, with particular attention to how seemingly incremental changes can trigger disproportionate economic consequences. His writing demonstrates how economic theory applies to real-world political decisions, especially regarding trade wars, immigration policy, and energy transitions. Nobel Prize in Economics As a public intellectual, Krugman actively participates in policy debates through multiple channels, connecting academic economics with current events. His commentary frequently influences economic discourse in media and political circles, and he is known for his incisive analysis of economic policy proposals and their potential consequences. His work with the Stone Center indicates ongoing engagement with academic research despite his primary role as a public commentator.

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