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

• Italian Philology
• Linguistics
• Translation Studies
• +۲ مورد دیگر

Antonella D'Angelis serves as Professor in the Department of Integrated Philologies at the Faculty of Philology, University of Seville, where she teaches advanced Italian language courses (B2.2 level), specialized linguistics seminars, and scientific-technical translation from Italian to Spanish. Her research centers on Italian-Spanish comparative morphology, with particular emphasis on suffixation processes, diminutive formation, and linguistic variation in contact scenarios. She investigates how morphological patterns evolve across dialects and influence language pedagogy, notably through music-based learning methodologies. Her work bridges theoretical linguistics with practical applications in translation and language teaching. Recent publications reveal consistent focus on morphological derivation and cross-linguistic comparison, with increasing attention to contemporary language change and innovative pedagogical approaches. Her 2020-2022 works specifically address urban dialect evolution and multisensory learning techniques. D'Angelis supervises doctoral candidates in philological research, including Francisco Núñez-Román's 2008 thesis on Sicilian verbal periphrases. She leads the LEC:TELL research group (Lenguas en contacto: Traducción, Enseñanza, Lingüística y Literatura), which investigates language contact phenomena, translation methodologies, and linguistic pedagogy. Her scholarly activities include participation in the PROGETTO PINOCCHIO research initiative as Investigator.

Alexandra Jimboreanمشاهده پروفایل

دانشیار

• Compiler Design
• Hardware-Software Co-Design
• Code Optimization
• +۵ مورد دیگر

Alexandra Jimborean is a Ramón y Cajal researcher at the University of Murcia and affiliated Associate Professor at Uppsala University. She holds a PhD from the University of Strasbourg and specializes in compile-time code analysis, optimization, and software-hardware co-designs for performance and energy efficiency. Research focuses on: Instruction prefetching and speculative execution mechanisms Compiler-assisted code optimization techniques Hardware-software co-design for secure and efficient processors Dynamic program analysis frameworks Significant contributions include the development of the DAEDAL and Clairvoyance compiler technologies, commercialized through the EtaScale startup. Holds leadership roles in major conferences including Program Chair for CGO 2019 and CC 2020.

• High Performance Computing
• Parallel Computing
• Distributed Computing
• +۶ مورد دیگر

Juan Touriño Domínguez is a Full Professor at the Faculty of Computer Science, University of A Coruña (UDC), where he has taught since 1993. He leads research in the Computer Architecture Group, focusing on High-Performance Computing (HPC) systems. His educational background includes a BS/MS in Informatics (1993) and PhD in Computer Engineering (1998), both from UDC, complemented by research visits to the Edinburgh Parallel Computing Center and CINECA Supercomputing Center. Research Interests: Prof. Touriño specializes in HPC ecosystems including parallel/distributed algorithms, cloud computing infrastructure, Big Data processing frameworks, high-performance networking, compiler design for parallel systems, and quantum computing architectures. His work bridges theoretical computing models with industrial applications. Awards & Honors: Best Student Record Award (1993) Best PhD Thesis Award (1998) Ramón LLull Spanish National Computer Science Award (2020) for entrepreneurship 21 innovation awards for Torus Software Solutions spin-off Leadership & Innovation: Co-founded Torus Software Solutions (2013), serving as Chair until 2024, achieving €2.4M turnover (2024). Secured 190+ R&D projects (87 as PI/co-PI), registered 19 software products, and holds 1 US patent. Directed 10 PhD theses (7 received Best Thesis awards). Academic Service: Program committee member for 96 international conferences (Chair/Vice-Chair for 7), Associate Editor for 5 JCR journals, and co-chair of the 2024 Spanish Informatics Conference (CEDI).

• Translation and Interpreting
• Machine Translation
• Corpus Linguistics
• +۳ مورد دیگر

Elisa Alonso Jiménez is a Full Professor at the Pablo de Olavide University, affiliated with the Department of Philology and Translation. Her work bridges translation studies, technology, and cultural analysis, focusing on the evolving role of translators in digital ecosystems. PhD in Philological, Translation and Cultural Studies from the University of Seville (2014) Supervised by Dr. Adrián Fuentes-Luque and Dr. Manuel Ángel Vázquez Medel Her research centers on Translation and Interpreting , with a strong emphasis on Machine Translation , Wikipedia Studies , and Translation Tools . She explores how Technology in Translation reshapes workflows through collaborative platforms like Linguee and Wikipedia, and investigates Socio-technical interactions in professional translation environments. Her recent publications analyze ubiquitous translation , post-editing , and media remediation , reflecting trends in the integration of human and machine processes. Articles like The Translator's Amanuensis (2020) and Translating perceptions and managing expectations (2019) highlight her contributions to understanding how collaborative translation and digital multilingualism are redefining the field.

• High Performance Computing (HPC)
• Big Data
• Parallel Computing
• +۵ مورد دیگر

Cesar Alfredo Piñeiro Pomar is an Assistant Professor at the University of Santiago de Compostela, affiliated with the Department of Electronics and Computing within the Higher Technical School of Engineering. His research focuses on bridging High Performance Computing (HPC) and Big Data technologies, with a strong emphasis on parallel computing, heterogeneous programming frameworks, and bioinformatics applications. He holds a Doctorate from the University of Santiago de Compostela, awarded in 2022 for his thesis on 'New technologies to bridge the gap between High Performance Computing (HPC) and Big Data.' His academic contributions span the design of interoperability frameworks for HPC and Big Data, development of scalable Big Data toolkits (e.g., BigSeqKit for genomics data), and multilingual linguistic analysis tools like LinguaKit. He has also worked on distributed algorithms such as Fast Distributed kNN Graph Construction and optimized phylogeny estimation methods in Very Fast Tree. His publications reflect a focus on parallelization strategies, framework design, and cross-disciplinary applications of computing technologies. While no specific grants or awards are listed, his research demonstrates expertise in integrating computational paradigms to address large-scale data challenges in science and engineering.

• Computer Architecture
• High-Performance Computing
• Hardware Transactional Memory
• +۷ مورد دیگر

Adria Armejach Sanosa is a Senior Lecturer in the Department of Computer Architecture at the Faculty of Computer Science of Barcelona (FIB), Universitat Politècnica de Catalunya (UPC). He is also affiliated with the Barcelona Supercomputing Center (BSC-CNS), a leading institution in high-performance computing in Europe. His research spans computer architecture, high-performance computing, memory systems, and hardware acceleration for genomics and machine learning. PhD from UPC His research interests focus on optimizing computer systems for performance and efficiency, particularly in the areas of hardware transactional memory, cache optimization, RISC-V architectures, and acceleration of bioinformatics workloads. He investigates how to improve data movement, prefetching, and parallelism in large-scale heterogeneous systems. His work combines architectural innovations with practical implementations on real-world HPC platforms. The most recent articles reflect a strong trend towards high-performance computing for genomics, sparse data handling, and efficient hardware/software co-design. Topics include genomics benchmarking on ARM processors, tensor marshaling, RTL simulation scalability, and low-precision training for deep neural networks. These works demonstrate a consistent focus on bridging architectural research with real-world applications in science and AI. HiPEAC Paper Award 2024 HiPEAC Paper Award Armejach has advised several doctoral students, including J. Pavón, G. López, and J. Osorio. He has been involved in numerous competitive R&D+i projects such as Digital Autonomy for RISC-V in Europe, Laboratorio Zettaescala de Barcelona, and Genome Analysis Acceleration on HPC Architectures. These projects are often funded by national and European programs, indicating strong recognition and support for his research. He collaborates extensively within the CAP (High-Performance Computing) research group and with key figures like Miquel Moreto, Mateo Valero, and Osman Unsal. He is a member of the CAP research group and contributes to initiatives like the Laboratory for Open Computer Architecture and systems (RISC-V Chip Development) and the Barcelona Zettascale Lab. These labs focus on open hardware, European technology sovereignty, and next-generation supercomputing. His work on Metro-MPI for RTL simulation and hardware accelerators for databases highlights his contributions to both design automation and data-intensive computing.

• High-performance computing
• Parallel programming
• Computer architecture
• +۷ مورد دیگر

Enrique Morancho Llena is a Professor in the Department of Computer Architecture at the Barcelona School of Informatics (FIB), Polytechnic University of Catalonia (UPC). He is an active member of the UPC PM - Programming Models research group and has been affiliated with the CAP - Grup de Computació d'Altes Prestacions (High-Performance Computing Group), one of UPC's most productive research teams with over 120 publications. His academic career spans more than 30 years, with continuous research output from 1994 to the present. Dr. Morancho Llena's research spans multiple areas in computer systems, with particular expertise in high-performance computing, parallel programming models, computer architecture, operating systems, and compiler optimization. His work has evolved from early research in instruction scheduling and memory access optimization to current work on heterogeneous computing, RISC-V architecture, hardware security, and malware detection. He has made significant contributions to OpenMP programming models, GPU acceleration, and virtualization technologies, with publications in top-tier venues including IEEE Transactions on Parallel and Distributed Systems and the Journal of Parallel and Distributed Computing. His recent publications (2021-2024) show a clear trend toward heterogeneous computing architectures, security aspects of computer systems, and RISC-V based technologies. He has published extensively on OpenMP extensions for heterogeneous systems, hypervisor implementations for RISC-V, and security applications including malware detection using opcode analysis. His work bridges theoretical computer architecture concepts with practical implementations for scientific computing and security applications. Dr. Morancho Llena has supervised PhD students, with R. Gran's thesis on "Non-speculative enhancements for the scheduling logic" being one documented example. He has participated in numerous competitive research projects funded by Spanish and Catalan governments, including multiple iterations of the "Computació d'Altes Prestacions" (High-Performance Computing) projects and RISC-V related initiatives under the RIS3CAT program. His collaborations extend across UPC departments and include partnerships with the Barcelona Supercomputing Center. He is an active member of the CAP research group and the PM - Programming Models group, focusing on advanced programming techniques for high-performance systems. His work on the UPC-Computación de Altas Prestaciones series demonstrates long-term leadership in establishing UPC as a center of excellence in high-performance computing research. Current projects include work on RISC-V based accelerators, security in the computing continuum, and trustworthy development environments for cloud services.

Francisco Fernández Riveraمشاهده پروفایل

استاد

• High Performance Computing
• Parallel Processing
• Computer Architecture
• +۵ مورد دیگر

Francisco Fernández Rivera is a Full Professor in the Department of Computer Architecture at the University of Santiago de Compostela (Spain), where he obtained both his BS (1986) and PhD (1990). His academic career spans parallel processing, computer architecture, and high-performance computing applications. He has supervised 7 PhD theses and authored over 150 publications, including 60+ journal articles and 90+ conference papers. Research Focus: His work centers on parallel/distributed system optimization, including compilation of irregular codes, performance prediction, sparse matrix algebra, GIS, and memory hierarchy improvements. Key applications include LiDAR data processing for infrastructure analysis, NUMA system optimization, and heterogeneous computing. Publication Trends: Recent works (2021-2024) emphasize LiDAR-based geospatial analysis, thread/memory optimization for NUMA systems, and heterogeneous computing frameworks (e.g., Intel OneAPI). Methodologies feature parallel algorithms, hardware-aware optimizations, and real-world applications in urban planning and remote sensing. Projects & Leadership: Principal investigator for 8 research projects (e.g., HiPerHC2DA, SDNHPC) focused on high-performance and cloud computing. Manages collaborations in geospatial technologies and parallel systems.

• Literary Translation
• Translation Studies
• Cultural Studies
• +۷ مورد دیگر

Patricia Buján Otero is an Associate Professor at the University of Vigo's Department of Translation and Linguistics, Faculty of Philology and Translation. She specializes in German-to-Galician/Spanish translation, eco-edition, and translation editorial policies. Education: PhD in Translation (University of Vigo, 2015); BA in Translation and Interpreting (University of Vigo, 1998) Her research focuses on literary translation, phraseology, and gender representation in translation policies. She has contributed to major projects like the 35,000-entry Idiomatik Deutsch-Spanisch (2013) and leads the BiFeGa research group. Recent publications emphasize German literary translation, eco-edition, and phraseological analysis. She secured the European Union's Creative Europe grant (2025) for a literary translation project with Literarisches Colloquium Berlin. Scientific Awards: Creative Europe grant (2025), European Mention PhD distinction (2015) As a part-time lecturer and co-owner of Catro Ventos Editora (since 2016), she combines academic work with editorial activism focused on ecology and human rights.

Alastair F. Donaldsonمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Verification
• +۲ مورد دیگر

Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, leading the Multicore Programming Group. His research focuses on programming languages, compilers, and automated testing of software systems. He previously directed GraphicsFuzz, an Imperial College spinout acquired by Google in 2018. Education: PhD in Computer Science (University of Glasgow), Postdoctoral Research Fellow (University of Oxford), Visiting Researcher (Microsoft Research Redmond) His research interests include: Compiler Design and Verification Randomized Testing Techniques Multicore and GPU Programming Formal Methods for Software Reliability Recent publications emphasize compiler fuzzing, metamorphic testing, and verification of GPU systems. He actively contributes to the development of testing tools for programming languages and hardware interfaces. Alastair holds leadership roles in academic conferences, including Publicity Co-Chair for POPL 2024 and committee roles in ASE, ECOOP, PLDI, and SPLASH. He maintains a personal website at http://www.doc.ic.ac.uk/~afd and has been registered on conf.researchr.org since 2015.

Marco Vassenaمشاهده پروفایل

استادیار

• Programming Languages
• Security
• Compilers
• +۷ مورد دیگر

Marco Vassena is an Assistant Professor at the Department of Information and Computing Sciences, Utrecht University. His research focuses on using programming language techniques like type systems, compilers, and program verification to build secure systems with reliable security guarantees. Affiliation: Utrecht University, Netherlands Research Areas: Language-based security, memory safety, constant-time programming, information flow control, WebAssembly security, and defenses against microarchitectural attacks. His work includes developing frameworks for secure execution environments, such as MSWasm for WebAssembly, and advancing tools like Blade to mitigate speculative leaks in cryptographic code. He has contributed to leading conferences including POPL, PriSC, and PLDI. Scientific Awards: Veni Grant (2023)

Andreas Pavlogiannisمشاهده پروفایل

دانشیار

• Formal Methods
• Algorithmic Verification
• Automata Theory
• +۶ مورد دیگر

Andreas Pavlogiannis is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, where he leads research in the Programming Languages group. His work focuses on formal methods, algorithmic verification, and concurrency analysis, with additional interests in network diffusion and evolutionary graph theory. He holds a PhD from IST Austria and actively recruits PhD students and PostDocs. Research Interests: Pavlogiannis investigates foundational and applied aspects of concurrent systems, including static/dynamic program analysis, automata theory, and weak memory models. His interdisciplinary work bridges computer science with evolutionary biology through network diffusion models and game theory. Awards: Distinguished Paper Award (PLDI 2025) Best Paper Award (ASPLOS 2024) Best Presentation Award (SOAP 2024) Best Paper Award (ASPLOS 2022) Teaching: He teaches courses on Programming Languages (Bachelor), Algorithmic Model Checking (Master), and Program Analysis (Master). Service: Serves on program committees for top conferences including POPL, PLDI, CAV, and IJCAI. Organizer of CONFEST 2025. Funding: Research supported by Villum Foundation, Danish Free Research Foundation (DFF), Stibo Foundation, and Austrian Science Fund (FWF).

• Program Analysis
• Software Verification
• Debugging
• +۱۳ مورد دیگر

Manuel V. Hermenegildo is a Distinguished Professor at the IMDEA Software Institute and a Full Professor in the Department of Artificial Intelligence at the Technical University of Madrid (UPM). He is the founding Scientific Director of IMDEA Software and leads the CLIP Lab, a joint research unit between UPM and IMDEA Software focused on computational logic, programming languages, and parallelism. His career spans leadership in national research policy, academic positions in Spain and the U.S., and extensive international collaboration. PhD in Electrical and Computer Engineering, University of Texas at Austin (1986) M.S. in Electrical and Computer Engineering, University of Texas at Austin (1984) M.S. in Electrical Engineering, Technical University of Madrid (1981) His research centers on global program analysis, verification, debugging, and optimization for functional and non-functional properties such as time, memory, and energy. He has pioneered work in abstract interpretation, partial evaluation, constraint and logic programming, parallelizing compilers, and computational logic. His methodologies support the development of safe, efficient, and reliable software systems. The integration of static and dynamic analysis, resource-aware compilation, and assertion-based debugging are recurring themes in his work. His recent publications emphasize incremental and modular analysis, assertion checking, energy-aware computing, and verification via Horn clauses. Trends show a strong focus on making static analysis more practical, scalable, and integrated into real-world development workflows, particularly for logic and declarative languages. He frequently publishes in top venues such as TPLP, SCP, TOPLAS, and POPL. ACM Fellow Julio Rey Pastor Prize (2006) Aritmel Prize (2005) Elected member, Academia Europaea (2010) Test of Time Award, ICLP 2017 Best Paper Awards at ICSOC 2011 and ICLP 2005 Fulbright-Hays Scholarship Hermenegildo has supervised numerous PhD students and postdocs, many of whom are now leading researchers. He has been principal investigator in over 50 research projects funded by the EU, Spanish government, NSF, and industry partners. His leadership extends to national research policy, where he directed Spain’s National Research Directorate and launched the Ramón y Cajal fellowship program. He has served on tenure and evaluation committees for institutions worldwide and is active in shaping research agendas through roles in Informatics Europe and EIT Digital. He leads the CLIP Lab, which develops advanced program analysis tools and systems such as the Ciao programming environment, CiaoPP static analyzer, and LPdoc documentation generator. The lab fosters collaboration across academia and industry, focusing on next-generation program development tools, verification, and resource-aware computing.

JOSE CARLOS CABALEIRO DOMINGUEZمشاهده پروفایل

استاد

• High Performance Computing
• Parallel Systems Architecture
• Parallel Algorithms
• +۷ مورد دیگر

Prof. José Carlos Cabaleiro Domínguez is a Full Professor at the Department of Electronics and Computing, University of Santiago de Compostela. He holds a BS (1989) and PhD (1994) in Physics from the same university. His academic journey includes roles as an associate professor at the University of A Coruña (1990–1994) and associate professor at US圣地亚哥 de Compostela until 2022. He is affiliated with the Center for Research in Intelligent Technologies (CiTIUS) and leads the ARQCOMP research group in Computer Architecture. His research focuses on high-performance computing, parallel systems architecture, LiDAR data processing, and cloud computing. Notable contributions include optimizing parallel algorithms for sparse matrices, developing frameworks like BigOPERA for big data, and advancing LiDAR-based applications in infrastructure mapping and autonomous systems. He has led over 20 national/international projects, including HiPerHC2DA (2023–2026) and TLIX2 (2017–2018). Prof. Cabaleiro’s work spans 150+ peer-reviewed publications, with recent emphases on digital forensics (e.g., Android private browsing analysis), graph-based LiDAR segmentation, and energy-efficient thread migration strategies for NUMA systems. His research integrates hardware performance analysis, parallel algorithm design, and real-world applications in geomatics, bioinformatics, and cybersecurity.

• High-performance computing
• Decimal arithmetic
• Parallel programming
• +۴ مورد دیگر

Alvaro Vazquez Alvarez is an Assistant Professor at the Higher Technical School of Engineering, University of Santiago de Compostela. He holds a PhD in Computer Engineering (2009) from the same institution, focusing on High-performance decimal floating point units under the supervision of Dr. Elisardo Antelo Suárez. His research interests span high-performance computing, decimal arithmetic hardware design, parallel programming models, and LiDAR data processing. His work emphasizes FPGA implementation of arithmetic units, numerical algorithms optimization, and compiler/runtime systems for parallel environments. He leads the CograDe Research Group (Computer Graphics and Data Engineering), exploring advanced topics in parallel computing and data engineering applications. Key contributions include universal MPI binding frameworks for new languages and efficient LiDAR point cloud processing algorithms. Notable technical expertise includes: digit-by-digit algorithms, redundant number systems, CORDIC-based computations, and multi-operand decimal arithmetic implementations. His publications bridge theoretical numerical methods with practical hardware/software co-design solutions. Current research focuses on extending parallel programming interfaces, improving decimal arithmetic precision in modern architectures, and applying advanced geometric processing techniques to 3D data challenges.