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

• Computer Architecture
• Programming Models
• Parallel Computing
• +۵ مورد دیگر

Marc Gonzalez Tallada is a researcher at the Universitat Politècnica de Catalunya (UPC), affiliated with the Department of Computer Architecture within the Barcelona School of Informatics (FIB). He is a member of the MGT Research Group, focusing on Programming Models and high-performance computing systems. His research interests lie in the domain of computer architecture and programming models, with a strong emphasis on parallel and distributed computing, performance optimization, and system-level software. His work contributes to the design and implementation of efficient programming models that exploit modern parallel architectures. The recent publications (2010–2024) reflect a consistent focus on programming models, particularly in the context of high-performance computing. Key themes include task-based programming, runtime systems, compiler optimization, memory management, and performance analysis. The research spans computer architecture, system software, and compiler design, demonstrating a multidisciplinary approach to solving challenges in parallel computing. Scientific Awards and Recognitions: Premi o reconeixement Advising and Grants: While specific student names are not listed, his involvement in competitive R&D+i projects indicates active participation in funded research. These projects suggest leadership or collaboration in grant-supported initiatives related to programming models and computer systems. His role in innovation and research projects highlights contributions to both academic and applied domains. Labs and Research Teams: He is a core member of the MGT (Programming Models) research group at UPC, which focuses on advancing the state-of-the-art in programming models for parallel and distributed systems.

Tiark Rompfمشاهده پروفایل

استادیار

• Compiler Design
• Programming Languages
• Runtime Code Generation
• +۸ مورد دیگر

Tiark Rompf is an Assistant Professor at Purdue University , with research spanning programming languages, compilers, and systems. His work bridges domains including architecture, databases, machine learning, and AI through projects like Reachability Types and Rhyme. Co-director of the Purdue Center for Programming Principles and Software Systems (PurPL) Scientific Advisor at SambaNova Systems Previously a member of the Scala team at EPFL His research focuses on: Runtime code generation and advanced compiler technology Expressive data-centric query languages (Rhyme, Datalog) Reachability type systems for memory safety and effect handling Metaprogramming and logical relations for formal verification Recent publications highlight contributions to Datalog compilation (Flan), nested data structures (Rhyme), and polymorphic reachability types. He leads projects exploring: Compiler optimizations for emerging architectures (GPU, TPU, FPGA) ML-driven compiler improvements Secure multi-party computation via metaprogramming Scientific awards include: NSF CAREER Award (2016) Google Faculty Research Awards (2017, 2018) DOE Early Career Research Award (2017) ACM SIGPLAN PL Software Award (2019) GPCE Test of Time Award (2020) Students and alumni from his group have joined institutions like Databricks, DeepMind, Galois, and Meta. He teaches advanced compiler courses including: CS 590 - Advanced Topics in Compilers CS 352 - Compilers CS 502 - Graduate Compilers

Ana Belén Llopis Cardonaمشاهده پروفایل

دانشیار

• Discourse Markers
• Pragmatics
• Discourse Analysis
• +۷ مورد دیگر

Ana Belén Llopis Cardona is an Associate Professor in the Department of Spanish Philology at the Faculty of Philology, Translation and Communication, University of Valencia. She is a member of the Val.Es.Co. research group, dedicated to the study of colloquial Spanish. Her academic work centers on discourse analysis, pragmatics, and the functional roles of discourse markers in spoken and written Spanish. PhD in Spanish Linguistics, University of Valencia, 2011 Supervised by Dr. Salvador Pons Bordería and Dr. Antonio Briz Gómez Her research explores the evolution and usage of discourse markers such as "eso sí," "por su parte," "en definitiva," and "igual/lo mismo," analyzing their semantic-pragmatic cycles, grammaticalization processes, and sociolinguistic functions. She investigates how colloquial language functions as a rhetorical strategy in media genres like radio commentary. Her methodological approach integrates corpus analysis, construction grammar, and functional linguistics. Her recent publications span topics including evidentiality (e.g., "según"), politeness in dialogic literary gatherings, and prosodic variation in discourse particles. The body of her work reveals a consistent focus on the dynamic interplay between form, function, and context in Spanish discourse. Discourse Markers Pragmatics Grammaticalization Spanish Linguistics Evidentiality Colloquial Register Ana Belén Llopis Cardona actively contributes to academic discourse through publications in international journals and participation in research collaborations. While specific grant details are not listed, her sustained scholarly output indicates ongoing research activity and academic engagement.

Elena Cano Turriónمشاهده پروفایل

استادیار

• Spanish Literature
• Golden Age Literature
• Baroque Poetry
• +۵ مورد دیگر

Elena Cano Turrión is an Assistant Professor at the Department of Spanish Philology, University of Córdoba, specializing in Spanish Literature of the Golden Age. She earned her PhD in 2019 with a thesis on Alberto Díez y Foncalda's Poesías varias (1653). Her research focuses on: Baroque and post-Baroque poetry Paratextual elements in early modern texts Literary academies and networks Mythological reinterpretation in Hispanic literature Authorial self-positioning in prologues Editorial practices and poetic canon formation Notable publication: Aunque entiendo poco griego... Fábulas mitológicas burlescas del Siglo de Oro (2019), analyzing comic mythological poetry. She has participated in 9 international congresses and organized 6 academic events, including the 2017 International Congress of Young Researchers. Her current projects include "Sujeto e Institución Literaria en la Edad Moderna" and "El Canon Poético Barroco en el Siglo XVIII."

Manuel Carroمشاهده پروفایل

دانشیار

• Programming Language Implementation
• Abstract Machines
• Parallelizing Compilers
• +۷ مورد دیگر

Manuel Carro is an Associate Research Professor and holds a dual appointment as Associate Professor at Universidad Politécnica de Madrid, Spain. He serves as Director and previously as Deputy Director at IMDEA. His research focuses on declarative programming languages, parallelism, service-oriented computing, and formal methods. He leads projects in the CLIP lab and participates in European/ national initiatives. Education: PhD in Computer Science, Universidad Politécnica de Madrid (2002) Research Highlights: Manuel investigates implementation of logic/constraint languages, quality analysis of service compositions, and data-driven behavior in service-oriented systems. He applies advanced operational semantics techniques like tabling and parallelism. His work also covers workflow analysis, visualization, and verification techniques. Affiliations: UPM Representative in NESSI ETP Steering Committee Conference Coordinator, Association of Logic Programming Labs & Teams: Active in the CLIP lab, focusing on programming language implementation and service-oriented computing research.

Josep Casanovasمشاهده پروفایل

استاد

• Modelling and Simulation
• Internet and Information Systems
• Urban Mobility
• +۴ مورد دیگر

Josep Casanovas is a Full Professor at the Statistics and Operations Research Department of the Technical University of Catalonia (UPC), affiliated with the Barcelona School of Informatics. He previously served as head of inLab FIB (2012-2020) and as dean (1998-2004) and vice-rector (2006-2011) of UPC, leading strategic initiatives in university governance and ICT policies. His research focuses on Modelling and Simulation , Internet and Information Systems , and Urban Mobility . He has led projects for the European Union, including C-ROADS Spain, REMEDiAL, and ECHORD++, addressing intelligent transport, software automation, and robotic innovation. Recent publications highlight his work on agent-based simulation for urban health, deep learning applications in traffic and energy savings, and wildfire management tools . He co-directs LogiSim and coordinates the Severo Ochoa Research Excellence Program at the Barcelona Supercomputing Center (BSC-CNS).

• Computer Architecture
• Programming Models
• Parallel Computing
• +۴ مورد دیگر

Daniel Jimenez Gonzalez is a faculty member at the Universitat Politècnica de Catalunya (UPC), affiliated with the Department of Computer Architecture within the School of Informatics (FIB). He is an active researcher in programming models and high-performance computing, contributing extensively to the field through publications, projects, and academic supervision. Research Interests: His work focuses on Computer Architecture , Programming Models , and Parallel Computing . He investigates task-based programming, runtime systems, compiler optimizations, and performance modeling for multi-core and heterogeneous architectures. His research addresses challenges in scalability, energy efficiency, and resilience in modern computing environments. His recent publications show a consistent trend in task-based programming models , runtime scheduling , and performance optimization across diverse architectures, including NUMA and GPU-accelerated systems. The work spans from theoretical modeling to practical implementation, often targeting real-world HPC applications. Scientific Awards: No awards explicitly mentioned in the provided text. Advising and Grants: While specific students are not listed, his involvement in doctoral theses and R&D projects suggests an active role in mentoring graduate students. He has participated in both competitive and non-competitive R&D+i projects, indicating grant acquisition and project leadership experience in areas related to programming models and computer architecture. Labs and Teams: He is a member of the UPC PM - Programming Models research group, which focuses on the design, analysis, and optimization of modern programming paradigms for high-performance systems.

• Legal History
• History of Navarre
• Constitutional Law
• +۳ مورد دیگر

Mercedes Galán Lorda is a University Professor at the Faculty of Law, University of Navarra, specializing in Public Law and Legal Institutions. She leads two research groups: ART T&H (Architectural Research Team: Theory and History) and NAHIS (Historical Navarre: Presences and Contexts) . Her work focuses on legal history, particularly Navarrese foral systems and their evolution within the Spanish monarchy. Research: Legal history, foral law, constitutional evolution, state formation Key Themes: Historical institutions, transitional legal systems, regional autonomy Recent publications analyze Navarre's integration into Spanish governance, historical property regimes, and comparative legal studies. She has published extensively in national and international journals. Her academic career includes supervising doctoral theses, notably on Navarrese legal traditions, and collaborating with institutions preserving regional historical records.

Frank Piessensمشاهده پروفایل

استاد

• Software Security
• System Security
• Formal Methods
• +۲ مورد دیگر

Frank Piessens is a Professor in the Department of Computer Science at Katholieke Universiteit Leuven (Belgium). His work bridges software security, systems security, formal methods, and programming languages. He actively investigates information flow security, with a dual focus on attack techniques and defense mechanisms. Current role: Professor at KU Leuven (Belgium) Research areas: Software Security, System Security, Formal Verification, Programming Languages Research Interests: His defense work includes formal verification for C-like languages, memory safety hardening, micro-architectural side-channel mitigation, and embedded security architectures. On the attack side, he studies transient execution attacks, memory safety exploits, and controlled channel attacks. Recent Article Trends: His publications span secure compilation techniques (2025), control-flow linearization (2024), functional reactive programming (2021-2014), formal verification (2020-2016), and hardware/software co-design security (2022). Keywords cluster around Computer Science , Security , and Programming Languages .

Jesper Cockxمشاهده پروفایل

استادیار

• Type Theory
• Dependently Typed Programming
• Pattern Matching
• +۶ مورد دیگر

Jesper Cockx is an Assistant Professor in the Programming Languages group at Delft University of Technology . His research focuses on the theory and implementation of dependently typed languages , particularly Agda , and he is a core contributor to Agda's development. His work bridges Type Theory , Pattern Matching , and practical Compiler Design through tools like agda2hs . Research Interests : Type Theory and Dependently Typed Programming Pattern Matching and Unification Agda and Compiler Implementation Erasure Annotations for Verified Compilation Generic Programming and Language Design Formal Verification of Functional Code Scientific Awards : NWO Veni Grant (2020) for a Trustworthy and Extensible Core Language for Agda Conference Contributions : He serves on program committees for CPP , WITS , POPL , and ICFP . Recent publications analyze erasure annotations , correct-by-construction compilers , and dependent (co)pattern matching in Agda. His work often intersects with Haskell and functional programming education in the Netherlands.

• Knowledge Representation
• Answer Set Programming
• Non-monotonic Reasoning
• +۵ مورد دیگر

Pedro Cabalar is Full Professor at the Department of Computer Science of the University of Corunna, Galicia, Spain, and current coordinator of the inter-university Master in Artificial Intelligence (Universities of A Coruña, Santiago de Compostela and Vigo). He also serves as Area Editor (Theory Foundations) for Theory and Practice of Logic Programming and as Standard Editor for the Artificial Intelligence journal. Education: PhD in Computer Science, University of Corunna, 2001 Master in Computer Science, Politéchnic University of Madrid, 1993 Bachelor in Computer Science (3-year degree), University of Santiago de Compostela / University of Corunna, 1989 Research interests revolve around Knowledge Representation & Reasoning , especially Answer Set Programming , non-monotonic reasoning , temporal and modal logics , and causal reasoning . He investigates theoretical foundations (equilibrium logic, temporal extensions, deontic operators) and practical systems (telingo, eclingo, aspBEEF), with applications ranging from planning and diagnosis to explainable AI and healthcare decision support. His recent articles (2023-2025) exhibit a clear trend toward temporal and metric extensions of ASP , explainability , and hybrid reasoning systems , often combining logic programming with deontic or probabilistic features. Scientific awards & recognition: University of Corunna Dissertation Award, 2003 Best Paper Award at LPNMR 2019 Best Student Paper at ICLP 2020 Best Student Paper at JELIA 2019 Grants & projects: He currently leads or co-leads nationally funded Spanish projects (GEISER 2024-2028, ARLEKIN 2021-2024) and has coordinated EU COST actions (DigForASP) as well as earlier MINECO projects on temporal ASP and medical reasoning (TARDIS, MERLOT, FEAST, etc.). PhD supervision: He has successfully supervised three PhD theses (Martín Diéguez, Jorge Fandiño, Brais Muñiz) and continues to advise students within the Information Retrieval Laboratory (IRLab) and the Spanish node of Potassco Solutions.

• Propaganda Cinema
• Film History
• Public Relations
• +۵ مورد دیگر

Ramon Girona Duran serves as Adjunct Professor in the Department of Philology and Communication at the University of Girona's Faculty of Arts, teaching Cultural Communication, Advertising and Public Relations degrees, and the Master's in Communication and Cultural Studies. He currently holds the position of Vice-Dean of Arts and previously coordinated both the Advertising/Public Relations Degree (2012-2015) and Cultural Communication Degree (2015-2018). His academic foundation includes a bachelor's degree from the Autonomous University of Barcelona and a doctorate from the University of Girona. Girona Duran specializes in propaganda cinema, particularly American WWII documentaries like Frank Capra's 'Why We Fight' series, examining their historical and rhetorical strategies. His research extends to film history (early cinema, surrealist movements), public relations theory, and intersections of cinema with advertising and tourism. Recent work analyzes mental health representations in post-war documentaries and rural imagery in contemporary Catalan/Francophone media. His publication trends reveal consistent focus on political communication through film, evolving from WWII propaganda studies to contemporary analyses of rural identity and gender representation. Key subfields include documentary discourse construction, archival footage utilization, and the role of film in shaping collective memory. Scientific awards: No awards or honors are documented in available sources. As an academic administrator, he has led curriculum development for two degree programs while securing competitive research funding. His project portfolio includes EU-funded initiatives like 'Shababuna: our youth' (2021-2023) and nationally funded studies on immigration competencies (2009-2010) and sick body representations in visual media (2022-2025). He actively contributes to the Research Group in Social and Institutional Communication and the Research Group on Theories of Contemporary Art, where interdisciplinary collaborations examine cinema's role in political discourse and cultural memory formation.

FRANCISCO MANUEL FERNANDEZ RIVERAمشاهده پروفایل

استاد

• Computer Architecture
• High-Performance Computing
• Parallel Algorithms
• +۳ مورد دیگر

Francisco Manuel Fernández Rivera is a Professor at the University of Santiago de Compostela, affiliated with the Department of Electronics and Computing under the Faculty of Physics. His research focuses on high-performance computing, parallel algorithms, and LiDAR data analysis. He leads the ARQCOMP research group and is part of the Center for Research in Intelligent Technologies (CITIUS). His work addresses challenges in NUMA systems optimization, sparse matrix computations, and geospatial data processing. He holds a PhD from the University of Santiago de Compostela (1988), with a thesis on algorithm partitioning in hypercube computers. His research spans parallel computing frameworks, LiDAR-based infrastructure analysis, and performance modeling of distributed systems. Recent projects include developing thread migration strategies for NUMA architectures and creating tools for LiDAR data visualization and simulation. Key contributions include advancements in LiDAR-based pathfinding, energy-efficient NUMA system management, and parallelization techniques for irregular codes. His work bridges theoretical computer architecture with practical applications in urban planning and environmental monitoring.

• Computer Architecture
• GPU Systems
• Accelerators for Machine Learning
• +۴ مورد دیگر

Jose Luis Abellan Miguel is a Ramón y Cajal Fellow and Tenure-Track Associate Professor at the University of Murcia's Department of Computer Engineering and Technology. He leads the EcoArTech team and is a European R3 researcher. Previously, he held roles at the University of Ferrara, Boston University, and Universidad Católica de Murcia. His research focuses on GPU architectures, accelerators for machine learning, and privacy-preserving computing, particularly Fully Homomorphic Encryption (FHE). He has authored over 70 peer-reviewed publications and contributed to conferences like ISCA, HPCA, and MICRO. Education: Bachelor's, Master's, and PhD in Computer Science and Engineering (University of Murcia, 2007–2012) Research Interests: Abellan's work emphasizes architectural enhancements for GPU systems, customized accelerators for ML and FHE, and efficient synchronization/communication in many-core architectures. His contributions include tools like MGPU-Sim and STONNE for simulation, and frameworks like FIDESlib for FHE on GPUs. Recognition: HiPEAC Paper Awards (2011, 2019–2024) Top Picks in Hardware and Embedded Security 2024 European R3 Certificate (2024) Editorial roles at ACM TACO and Frontiers in Electronics Grants & Leadership: Recipient of a Ramón y Cajal fellowship and a Consolidación Investigadora grant. He chairs sessions at conferences like ISPASS and serves on TPCs for venues including DATE, HPCA, and MICRO. His lab collaborates with institutions like Georgia Tech, Northeastern University, and Intel. Labs/Teams: He leads the EcoArTech team, focusing on next-gen computing systems via architectural simulators. Collaborators include researchers from MIT, Boston University, and industry partners like NVIDIA and Intel.

Enrique Alvarez Coraمشاهده پروفایل

استاد

• Legal History
• Criminal Law
• Medieval Law
• +۳ مورد دیگر

Enrique Alvarez Cora is a Professor at the Faculty of Law of the Universidad de Murcia. He specializes in Legal History and Criminal Law, focusing on medieval and early modern Spanish legal systems, Visigothic law, and the evolution of criminal repression. His research explores topics such as legal doctrine, inquisition practices, and the transition to liberal legal frameworks in Spain. Education: PhD in Law from Universidad de Murcia (1994), thesis: *Las pautas de la ley hispana antigua*. Research Interests: His work spans legal historiography, penal structures in Castile, the role of the Inquisition, and the socio-political dimensions of legal change. He has authored over 100 publications, including books on Visigothic Sexual Law , La Constitución postiza , and a multi-edition Compendio de Historia del Derecho Español . Teaching: Teaches History of Law (first-year Law Degree), History of Legal Repression in Spain (fourth-year), and History of Crime in Spain (Master’s in Criminology). Courses emphasize medieval legal institutions, penal evolution, and socio-legal dynamics. Grants & Projects: Led major research projects including *Crime and Legal Repression in Spain* (2013–2015), *Conflict and Reparation in Legal History* (2019–2022), and *Legal Responsibility in Modern Europe* (2015–2018). Funded by Spain’s Ministry of Science and other national/international bodies. Labs/Networks: Active in interdisciplinary legal history groups, including the History of Legal Sources and Institutions research group. Collaborates internationally on projects analyzing Spanish legal traditions and comparative penal systems.