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

• Computer Architecture
• Microarchitecture
• Compilers
• +۷ مورد دیگر

Antonio Maria Gonzalez Colas is a Full Professor at the Universitat Politècnica de Catalunya (UPC), affiliated with the Department of Computer Architecture within the Faculty of Computer Science of Barcelona (FIB). He leads the ARCO research group focused on Microarchitecture and Compilers and is actively engaged in high-impact research in computer architecture, GPUs, and energy-efficient computing. His collaborations extend to the Barcelona Supercomputing Center and various national and European research initiatives. Research Interests: His primary research areas include computer architecture, microarchitecture, compilers, GPUs, and processor design. He focuses on energy-efficient computing, deep neural network (DNN) accelerators, GPU simulation and optimization, memory systems, and architectural support for machine learning and autonomous systems. His work often integrates compiler techniques with hardware design for performance and efficiency. Scientific Production Trends: His recent publications demonstrate a strong focus on energy-efficient hardware for AI workloads, particularly DNN and speech recognition acceleration, GPU architectural innovations, memory optimization, and real-time rendering. He frequently publishes in top-tier venues such as ISCA, MICRO, HPCA, and IEEE/ACM journals. ICREA Academia Award 2024 HiPEAC 2024 Paper Award ACM Senior Member (2020) Advising and Grants: He has advised numerous PhD students whose theses cover topics like energy-efficient architectures for autonomous driving, speech recognition, and neural networks. He leads competitive R&D projects, including an ERC Advanced Grant and projects funded by the Spanish National Program and the ICREA Academia program, focusing on domain-specific architectures and cognitive computing units. Labs and Teams: He is the principal investigator of the ARCO (Microarchitecture and Compilers) research group at UPC, a leading team in computer architecture research in Spain. The group is part of a larger collaborative network within UPC and with international partners.

Ramon Canalمشاهده پروفایل

استاد

• Secure microarchitectures
• System reliability
• Virtualization and operating systems
• +۵ مورد دیگر

Ramon Canal is a Professor at the Universitat Politècnica de Catalunya (UPC), affiliated with the Barcelona School of Informatics and the Computer Architecture Department. He has served as Vice Dean of postgraduate studies and leads the VirtuOS (Virtualization and Operating Systems) research group. His academic background includes BSc, MSc, and PhD from UPC, with thesis supervision by Antonio González (UPC) and James E. Smith (University of Wisconsin-Madison). He completed sabbaticals at Harvard University (2006-2007) and University of Cyprus (2019-2020). Education: PhD, MSc, BSc in Computer Engineering (UPC) Research focus: Microarchitecture security, reliability across circuit/system levels, cloud optimization Recent publications address privacy in IoT, secure hardware accelerators, and safety-critical systems. His work contributes to the DRAC project (2019-2022), Red-RISCV network, and Horizon's Vitamin-V project. Awards include HiPEAC Paper Awards, IEEE Senior Member status, Fulbright recognition, and multiple education excellence accolades. Scientific Honors HiPEAC Paper Award (ISCA-44, 2017) IEEE Senior Member (2016) Best Paper Nominee (ICCD-32, 2014) UPC Outstanding PhD Award supervision (2011) He advises current MSc students and has mentored multiple PhD graduates. Professional activities span academic leadership, research collaborations with Barcelona Supercomputing Center (BSC), and technical contributions to reliability analysis frameworks like RECIPE and FRACTAL.

• Literary Theory
• Poetics
• Intermediality
• +۵ مورد دیگر

Rocío Araceli Badía Fumaz is a Researcher at the Faculty of Spanish Language and Literary Theory , Complutense University of Madrid. She specializes in Literary Theory , Poetics , and Intermediality , with a focus on relationships between literature and music in contemporary Spanish works. Key research areas : Explicit poetics, authorship theory, intermedial analysis, neoplatonic influences in poetry Collaborations : Works with authors like Clara Marías and Ottmar Ette Projects : "Tomar la palabra" (Intertextuality and Intermediality in pedagogy) Recent publications explore: Intermediality models (intrinsic, extrinsic, referential) Poetic career of María Victoria Atencia Authorship conflicts in explicit poetics Neoplatonic influences in contemporary Spanish poetry Teaching focuses on literary theory didactics and Golden Tradition pedagogical applications.

Santiago Badiaمشاهده پروفایل

استاد

• Computational Science and Engineering
• Numerical Analysis
• Finite Element Methods
• +۳ مورد دیگر

Santiago Badia is a Full Professor of Computational Science and Engineering at Universitat Politècnica de Catalunya (UPC), holding an adjoint researcher position at the International Center for Numerical Methods in Engineering (CIMNE). He leads the Large Scale Scientific Computing (LSSC) group at CIMNE, focusing on finite element methods, numerical analysis, and high-performance computing. His research emphasizes fluid dynamics, multiphysics problems, and scalable solvers for large-scale systems. Previously, he worked at Politecnico di Milano and Sandia National Labs. He developed the FEMPAR software framework, a parallel finite element tool for PDE simulations, achieving landmark scalability (e.g., 60 billion unknowns on 458,672 cores). FEMPAR is recognized in the High-Q Club of European codes. His expertise includes discontinuous Galerkin methods, XFEM, and domain decomposition preconditioners. Research interests span metal additive manufacturing, superconductor devices, and nuclear engineering applications. Awards include FEMPAR's High-Q Club inclusion. He advises PhD and MSc students (e.g., Jesus Bonilla, Eric Neiva, Marc Olm) and has open positions in postdoc/PhD levels. His team includes researchers like Javier Principe and Alberto Martín. Ongoing projects involve advancing parallel algorithms, multiphysics simulations, and software scalability for exascale computing.

• Computer Architecture
• High-Performance Computing
• Multicore and Manycore Systems
• +۷ مورد دیگر

Miquel Moreto Planas is a Senior Lecturer in the Department of Computer Architecture at the Barcelona School of Informatics, Universitat Politècnica de Catalunya (UPC). He is also affiliated with the Barcelona Supercomputing Center (BSC-CNS), a leading institution in high-performance computing. His academic profile is deeply rooted in computer architecture and high-performance computing, with a strong emphasis on practical and theoretical advancements in multicore systems, memory management, and hardware acceleration. His research interests span a wide range of topics including computer architecture, high-performance computing, multicore and manycore systems, cache and memory management, hardware acceleration for genomics and AI, RISC-V processor design, processing-in-memory, interconnection networks, and real-time systems. These interests are reflected in his extensive publication record and collaborative projects. The most recent articles highlight a significant trend toward interdisciplinary research, particularly the application of advanced computer architecture techniques to bioinformatics and healthcare. Key themes include the acceleration of genomic sequence alignment using novel hardware such as processing-in-memory, the development of benchmarks for ARM-based HPC systems in genomics, and the creation of AI-based 3D decision support tools for neurosurgical applications. His work also continues to advance core computer architecture topics like cache management, power-aware resource allocation in heterogeneous systems, and the design of secure, post-quantum cryptographic hardware based on RISC-V. Fulbright Award 2011 HiPEAC Paper Award HiPEAC Paper Award 2024 HiPEAC Paper Award Moreto has been a principal investigator or key contributor to multiple competitive R&D+i projects, such as the STRATUM project for neurosurgical tools, REDIOH for open hardware, and the Laboratorio Zettaescala de Barcelona. He has advised several doctoral students, including López, G., Kostalampros, I., and Haghi, A., and is a core member of the CAP (High Performance Computing) research group at UPC. His work is characterized by strong collaborations with leading researchers like Mateo Valero, Eduard Ayguadé, and Jesús Labarta, often bridging the gap between UPC and BSC-CNS. His laboratory and team affiliations are centered around the CAP group and the Barcelona Supercomputing Center, where he contributes to cutting-edge research in high-performance and embedded computer architectures. His recent work on the BIMSA accelerator and the STRATUM project demonstrates a clear future direction toward applying high-performance computing solutions to critical problems in genomics and medicine.

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

• Computer Architecture
• High-Performance Computing
• Distributed Systems
• +۱۲ مورد دیگر

Yolanda Becerra Fontal is a faculty member at the Universitat Politècnica de Catalunya (UPC), affiliated with the Department of Computer Architecture within the Barcelona School of Informatics (FIB). She is actively involved in research projects and collaborations, notably with the Barcelona Supercomputing Center, and is a member of prominent research groups such as the High Performance Computing Group (CAP) and CROMAI (Computing Resources Orchestration and Management for AI). Research Interests: Her research spans a broad spectrum of computer systems, with a consistent focus on performance, efficiency, and scalability. Key areas include Computer Architecture , High-Performance Computing (HPC) , Distributed and Cloud Systems , Resource and Energy Management in virtualized environments, and Data-Intensive Computing . More recently, her work has centered on innovative time-series database systems and data management for edge and cloud analytics. Publication Trends: Her recent scholarly output (2020-2022) shows a strong emphasis on time-series data management, proposing novel database architectures like NagareDB and strategies for polyglot persistence. Earlier work (2009-2013) was pivotal in MapReduce workload management, energy accounting for virtualized systems, and optical data center networks, demonstrating a long-standing contribution to foundational distributed computing challenges. Scientific Contributions: Her work has been published in top-tier journals and conferences such as Future Generation Computer Systems , IEEE Transactions , and Nucleic Acids Research . She has also contributed to significant competitive R&D projects and holds patents related to data flow management and distributed indexing. Advising and Grants: Dr. Becerra Fontal has served as a thesis advisor for doctoral students. Her research has been funded through competitive grants from national and regional programs, including Spanish State Research Plans (Plan Estatal de Investigación) and Catalonia's RIS3CAT strategy, supporting projects on high-performance computing and data management. Research Groups and Labs: She is a core member of the CAP - High Performance Computing Group and the CROMAI - Computing Resources Orchestration and Management for AI group at UPC. Her work is closely associated with the Barcelona Supercomputing Center (BSC) , one of Europe's leading supercomputing facilities, indicating access to advanced computational infrastructure.

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

Caleb Stanfordمشاهده پروفایل

استادیار

• Programming Languages
• Formal Methods
• Distributed Systems
• +۴ مورد دیگر

Caleb Stanford is an Assistant Professor in the Department of Computer Science at the University of California, Davis. He specializes in programming languages and formal methods with applications to distributed systems, data processing, and computer security. His research focuses on developing practical tools and theoretical foundations for secure and reliable systems. Research interests span programming languages theory, formal verification techniques for distributed systems, Rust ecosystem security, stream processing verification, and automata theory extensions. Specific projects include securing Rust crates through automated auditing tools, extending derivative-based abstractions for regular expressions, and developing verification frameworks for dataflow programming. His publications demonstrate consistent focus on formal methods applications, with recent emphasis on Rust program safety (2025), stream processing verification (2020-2024), and incremental graph algorithms (2023). Article keywords frequently include formal verification, programming languages, distributed systems, and automata theory. Dr. Stanford actively recruits students for research positions: Undergraduates should demonstrate excellence in relevant coursework Prospective PhD students must apply through UC Davis admissions Current openings focus on Rust security, formal methods, and distributed systems verification He leads the Guided Incremental Digraphs (GID) research project and collaborates with UCSD on Rust security initiatives. Community contributions include serving as Artifact Evaluation Co-Chair for POPL 2024 and committee member for PLDI and OOPSLA conferences.

Maria Ribera Sanchoمشاهده پروفایل

استاد

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

Dr. Maria Ribera Sancho is a Professor at the Polytechnic University of Catalonia (BarcelonaTech), holding roles as Dean of the Faculty of Informatics of Barcelona (2004–2010), Vice-Dean (1998–2004), and currently Manager of the Education and Training Department at the Barcelona Supercomputing Center (BSC-CNS). She chairs the EQANIE Accreditation Committee and serves on the ACM-W Europe Executive Committee. Her research focuses on Software Engineering, Conceptual Modeling, Ontologies, Learning Analytics, and IoT applications. Notable contributions include work on automated design using conceptual models, model-driven software development, and semantic-based IoT infrastructure monitoring. She leads projects like LinDaFIX (social welfare data tools) and REMEDiAL (ontology-driven software automation). Key awards include the UPC Quality in Teaching Prize (2005, 2021), Jaume Vicens Vives Distinction (2005), Sapiens Award (2011), and Festibity Award (2011). She advises doctoral and master’s students on topics like IoT semantic monitoring and educational ontology development. Academic director of the inLab FIB Talent Program, she also directs the PRACE Advanced Training Center at BSC. Main projects include TINTIN (SQL integrity tool), e-Catalunya (collaborative government platform), and PILARES (learning analytics for secondary education). Her work bridges academia and industry through competitive projects with companies and institutions.

Pere Millán Marcoمشاهده پروفایل

دانشیار

• Computer Communications
• Mobile and Sensor Networks
• Internet of Things
• +۳ مورد دیگر

Pere Millán Marco is an Associate Professor in the Department of Computer Engineering and Mathematics (DEIM) at Universitat Rovira i Virgili (URV), Tarragona, Spain. He serves as coordinator for Non-permanent lecturers. His research focuses on computer communications, mobile/sensor networks, and IoT, with emphasis on quality prediction and performance optimization in wireless environments. Education: M.Sc. in Computer Engineering (Polytechnic University of Catalonia, 1992); PhD in Computer Engineering (URV, 2018). Research Interests : Specializes in mobile and sensor network architectures, underwater acoustic networks, real-time communication protocols, and low-cost hardware solutions for educational and environmental applications. His work integrates time series analysis, predictive modeling, and social behavior patterns to enhance network efficiency. Publications Trends : Recent work emphasizes IoT applications in environmental monitoring (e.g., deep aquifer pumping systems), optimization of underwater acoustic networks, and low-cost multicomputer systems for teaching. Consistently explores predictive techniques for network topology and quality-of-service improvements in ad hoc and community networks. Awards & Recognition : Holds a granted US patent related to location-based information systems. Advising & Infrastructure : Involved in DEIM's teaching laboratory development. Active in organizing international conferences like UCAmI and VISIGRAPP. Member of the CloudLab research group, advancing cloud and distributed computing solutions.

• Educational Technology
• Higher Education Internationalization
• Natural Language Processing
• +۷ مورد دیگر

Maria Teresa Abad Soriano is affiliated with the Universitat Politècnica de Catalunya (UPC), specifically within the Faculty of Computer Science (FIB), Department of Computer Sciences. She is a researcher in the GPLN - Natural Language Processing Group and the TALP Research Center, contributing to both educational technologies and computational linguistics. Her work spans decades, showing sustained academic engagement. Her research interests focus on educational technology, higher education internationalization, computer-supported collaborative learning, distance learning systems, knowledge representation, and academic mentorship . These are reflected in her long-term involvement in projects related to e-learning platforms, tutoring systems, and institutional development in computing education. The analysis of her recent publications (2019–2024) reveals a strong trend towards the internationalization of higher education in computing, with detailed studies on mobility, academic policies, and institutional impact. Earlier works (1990s–2000s) center on algorithmic education, groupware modeling, and intelligent tutoring systems, showcasing a career that evolved from technical AI and educational software to broader educational policy and management. She has contributed to competitive R&D+i projects such as OPENMT and SKATeR, and has co-authored technical reports, conference papers, and indexed journal articles. Her collaborations include key figures like Nuria Castell, Juan Antonio Pastor, and Maria Felisa Verdejo. Scientific Awards: No scientific awards were mentioned in the provided text. She has supervised or contributed to the Doctoral Program in Business Administration and Management, and her technical and educational outputs suggest an advisory role in research, though specific students are not listed. She has participated in multiple competitive research projects funded under Spain’s National Research Plans, indicating success in grant acquisition. Her work with open datasets and technical documentation supports open science and institutional transparency. She is actively involved in research groups such as GPLN and TALP, which focus on natural language processing and language technologies, contributing to both theoretical and applied advancements in the field.

Burhaneddin Sandikciمشاهده پروفایل

دانشیار

• Decision-Making Under Uncertainty
• Medical Decision Making
• Healthcare Operations
• +۳ مورد دیگر

Burhaneddin Sandikci is an Associate Professor of Operations Management at the Booth School of Business, University of Chicago . His research focuses on decision-making under uncertainty in medical decision-making and healthcare operations , using advanced methodologies such as Markov decision processes , stochastic programming , and simulation . His recent work includes: Equilibrium analysis of marginal organ transplantation to address shortages. Modeling breast cancer screening with supplemental tests for high-risk patients. Developing parallel bounding methods for multistage stochastic programs . His publications appear in top-tier journals like Operations Research , Management Science , and Hepatology . He has received prestigious awards including the IIE Pritsker Doctoral Dissertation Award and INFORMS Bonder Scholarship . His research bridges operations management with healthcare policy , impacting organ allocation, transplant outcomes, and hospital capacity optimization.

DAVID LOPEZ VILARIÑOمشاهده پروفایل

استاد

• Computer Architecture
• Computer Vision
• FPGA Acceleration
• +۳ مورد دیگر

David Lopez Vilariño is a **Professor** at the **University of Santiago de Compostela**, affiliated with the **Department of Electronics and Computing** within the **Faculty of Physics**. He earned his PhD in 2001 with a thesis titled *"Active contours at the pixel level: design and implementation on cellular network architectures,"* advised by Dr. Diego Cabello Ferrer. His research focuses on **Computer Architecture**, **FPGA Acceleration**, **LiDAR Data Analysis**, and **Embedded Systems**, with notable contributions to LiDAR-based applications in urban planning, infrastructure monitoring, and medical imaging. He is part of the **ARQCOMP (Computer Architecture)** and **Artificial Vision** research groups. His work spans topics such as high-performance computing, parallel processing, and hardware optimization for vision-capable systems. Key projects include developing FPGA-based solutions for real-time video surveillance, retinal vessel analysis, and autonomous navigation systems. Publications emphasize **LiDAR data processing**, including algorithms for road detection, power line characterization, and 3D point cloud analysis. He also pioneered tools like the *Open Lidar Visualizer and Analyser* for 3D stereoscopic visualization. His expertise bridges hardware design and software development, particularly in leveraging FPGAs for embedded vision systems. No scientific awards or grants are explicitly listed, but his prolific publication record highlights sustained innovation in computer vision and geospatial technologies. His research team collaborates on projects involving manycore systems, GPU acceleration, and reconfigurable computing architectures.

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