Find Academic Supervisors

Carlos Alvarez Martinez is a faculty member at the Universitat Politècnica de Catalunya (UPC), affiliated with the Department of Computer Architecture at the Barcelona School of Informatics (FIB). He is a key member of the Programming Models (PM) research group and collaborates closely with the Barcelona Supercomputing Center (BSC). His research focuses on high-performance computing, FPGA acceleration, task-based programming models like OmpSs, and hardware-software co-design for heterogeneous systems. His research interests center on advancing parallel computing through innovative programming models and hardware acceleration. He investigates efficient task scheduling, resource management in multicore and FPGA-based systems, and runtime support for dataflow models. His work enables high-performance execution of complex applications in domains such as scientific computing and cyber-physical systems. He actively contributes to European initiatives like TEXTAROSSA and AXIOM, aiming to develop next-generation exascale supercomputing technologies. The trend in his recent publications shows a strong focus on leveraging FPGAs for HPC, optimizing SpMV operations, improving task scheduling with hardware support, and developing frameworks for multi-FPGA clusters. His work consistently bridges theoretical models with practical implementations, emphasizing performance, scalability, and energy efficiency in heterogeneous computing environments. Scientific Awards: Premi UPC al Compromís Social 2019 Premi Disseny per al Reciclatge 2013 Alvarez Martinez has advised or collaborated with several doctoral students, including Jaume Bosch, Xubin Tan, and Fahimeh Yazdanpanah. He has been involved in numerous competitive R&D projects, often related to high-performance computing and parallel programming models. His work includes significant contributions to educational innovation, particularly in active learning methodologies and formative assessment using interactive systems. He leads and participates in research labs and teams focused on programming models and computer architecture, notably the PM group at UPC/BSC. These teams develop runtime systems, compilers, and hardware accelerators to push the boundaries of parallel computing efficiency and programmability.

• High-Performance Computing
• Reconfigurable Computing
• FPGA Acceleration
• +7 more

Carles Padro Laimon is a Professor at the Universitat Politècnica de Catalunya (UPC), affiliated with the Department of Mathematics and the School of Telecommunications Engineering. He is a leading researcher in cryptography and information security, focusing on secret sharing schemes, combinatorial structures, and cryptographic protocols. His work integrates discrete mathematics, coding theory, and algorithmic design to address security challenges in digital systems. Padro leads the MAK Research Group (Mathematics Applied to Cryptography) and the ISG-MAK Information Security Group. He has been involved in numerous competitive research projects, including initiatives on post-quantum cryptography and secure multi-user systems. His contributions span over 211 documented activities, including articles, theses, and conference participations. His research interests include the theoretical foundations of cryptography, with a focus on optimizing secret sharing schemes, analyzing matroid-based structures, and developing secure communication protocols. He has collaborated extensively with institutions like the UPC and European research networks, contributing to both academic and practical advancements in cybersecurity. Padro holds a PhD in Mathematics from UPC and has supervised doctoral theses and mentored researchers in his field. His work frequently appears in top journals like IEEE Transactions on Information Theory, Designs, Codes and Cryptography, and SIAM Journal on Discrete Mathematics.

• Cryptography
• Information Security
• Applied Mathematics
• +3 more

Albert Atserias is a Professor in the Department of Computer Science at the Universitat Politècnica de Catalunya (UPC), affiliated with the Faculty of Informatics of Barcelona (FIB) and the ALBCOM research group (Algorithms, Bioinformatics, Complexity, and Formal Methods). He is also associated with the Institut de Matemàtiques de la UPC-BarcelonaTech. His research is central to theoretical computer science, with a strong emphasis on logic and complexity. Atserias's research interests span Computational Complexity, Logic in Computer Science, Finite Model Theory, Proof Complexity, and Constraint Satisfaction Problems . His work explores the fundamental limits of computation, the expressive power of logical languages over finite structures, and the complexity of proving mathematical statements. He investigates the algebraic and combinatorial properties of proof systems, the limits of efficient algorithms for constraint solving, and the theoretical foundations of databases. His research often bridges logic, algebra, and combinatorics to provide deep insights into computational phenomena. The trends in his recent publications show a sustained focus on the logical and algebraic underpinnings of computational problems. Key themes include the consistency and complexity of database queries , the power and limitations of proof systems (like resolution and sum-of-squares), and the expressive power of homomorphism counts in graph theory. His work on the hardness of automating resolution and the development of circular proof systems are particularly significant contributions to proof complexity. The 2024 PODS Best Paper Award for work on relational consistency underscores the impact and timeliness of his research. Among his notable scientific awards are the prestigious ICREA Acadèmia , the PODS 2024 Best Paper Award , the Premi Extraordinari de Doctorat (Extraordinary Doctoral Prize), and the Kleene Award for Best Student Paper . These accolades reflect both the excellence of his early work and his continued leadership in the field. Atserias has been a principal investigator on numerous competitive research projects, including funding from the European Research Council (ERC) and the Spanish Ministry of Science. He has advised doctoral students, such as Toni Hakoniemi, whose thesis on proof complexity he supervised. His extensive collaborative network includes leading researchers like Phokion Kolaitis, Anuj Dawar, and Victor Dalmau. He has also served on the scientific committees of major conferences, contributing to the academic community. He is a core member of the ALBCOM research group , a leading team at UPC focused on theoretical aspects of computer science, which provides a vibrant environment for research in algorithms, complexity, and formal methods. His work is also connected to the broader Institut de Matemàtiques de la UPC, fostering interdisciplinary collaboration between computer science and mathematics.

• Computational Complexity
• Logic in Computer Science
• Finite Model Theory
• +7 more

Danel Ahman is an Associate Professor at the Institute of Computer Science , University of Tartu , Estonia, specializing in programming language theory . His research focuses on dependent/refinement types , computational effects , and verified software . Education PhD in Theoretical Computer Science (University of Edinburgh, 2017) MPhil in Advanced Computer Science (University of Cambridge, 2012) BSc in Informatics (Tallinn University of Technology, 2010) Research Interests : Danel investigates programming languages with algebraic effects and effect handlers for verified software, exploring denotational/operational semantics and fibrational approaches to effects. His work bridges theoretical computer science with practical formal verification. Scientific Awards : Estonian Research Council grant (2025) Marie Skłodowska-Curie Fellowship (2019) PhD dissertation prize (2018) Google/Citrix dissertation awards (2012) Teaching & Supervision : He teaches courses like Logic in Computer Science and Functional Programming at the University of Tartu, and supervised BSc/MSc theses on topics including asynchronous effects and formal verification. Danel also organizes research seminars and guest lectures on F*.

• Programming Language Theory
• Dependent and Refinement Types
• Computational Effects
• +6 more

Juan Manuel Pérez Pardo is an Associate Professor in the Department of Mathematics at Universidad Carlos III de Madrid, where he has been a faculty member since 2019, progressing from Assistant Professor to his current position as Associate Professor since December 2022. His academic journey includes postdoctoral research at prestigious institutions including the Istituto Nazionale di Fisica Nucleare in Naples, Italy, and the Instituto de Ciencias Matemáticas in Madrid. Dr. Pérez Pardo earned his PhD in Mathematics from Universidad Carlos III de Madrid in 2013, following a Master's degree in Mathematical Engineering from the same institution and a Master's degree in Theoretical Physics from Universidad Complutense de Madrid. His undergraduate studies were in Physics at Universidad Complutense de Madrid. His research focuses on the intersection of functional analysis and quantum physics, particularly in three main areas: Functional Analysis : Applying functional analytical tools to quantum systems, with emphasis on quadratic forms associated with differential operators and evolution equations in Hilbert spaces. Quantum Systems with Boundary : Studying quantum dynamics when boundaries are present, combining operator theory, spectral theory, and differential geometry. Quantum Control on Infinite Dimensional Systems : Developing mathematical theory for controlling quantum systems that are infinite dimensional in nature, relevant to quantum computation technologies. His publication record shows a strong focus on quantum control theory, self-adjoint extensions of differential operators, and the mathematical foundations of quantum mechanics. Recent work (2022-2025) has concentrated on stability of non-autonomous Schrödinger equations, quantum controllability, and relativistic quantum systems. Dr. Pérez Pardo has received several prestigious awards including the Juan de la Cierva Fellowship and the QUITEMAD+ Postdoctoral Fellowship. His work on boundary dynamics driven entanglement was highlighted in Europhysics News and tagged as IOPselect by the Institute of Physics. He actively mentors students at all levels, currently supervising PhD candidate Ángel Aitor Balmaseda Martín on "Quantum Control at the Boundary." He has also supervised numerous Master's and Bachelor's students on topics ranging from numerical solutions of quantum control problems to modeling Josephson junctions. Dr. Pérez Pardo is a key member of the Q-Math Research Group at UC3M and has organized multiple international workshops on Information Geometry, Quantum Mechanics, and Applications. He also serves on the editorial board of the International Journal of Geometric Methods in Modern Physics.

• Functional Analysis
• Quantum Systems with Boundary
• Quantum Control on Infinite Dimensional Systems
• +5 more

Marta Casanellas is a full professor in the Department of Mathematics at the Polytechnic University of Catalonia (UPC) and a researcher at the Centre de Recerca Matemàtica. She teaches at the Faculty of Mathematics and Statistics, ETSEIB, and FIB. She earned her PhD in mathematics from the University of Barcelona under RM Miró-Roig, focusing on algebraic geometry and liaison theory. After completing a postdoc at UC Berkeley with a Fulbright Scholarship, she shifted her research to applications of algebraic geometry in computational biology, particularly phylogenetics. Her educational background includes a PhD from the University of Barcelona (2002), followed by a postdoctoral fellowship at UC Berkeley (2002-2003) supported by a Fulbright Scholarship. She obtained a prestigious Ramón y Cajal contract at UPC in 2003, which marked her transition to interdisciplinary research at the intersection of mathematics and biology. Casanellas' research focuses on applying algebraic and geometric techniques to phylogenetics, with particular emphasis on evolutionary models, phylogenetic invariants, and computational methods for genomic data analysis. Her work bridges pure mathematics (particularly algebraic geometry) with biological applications, developing mathematical frameworks to reconstruct evolutionary histories and understand genomic relationships. She has published extensively in both mathematics journals like Advances in Mathematics and biology journals like Molecular Biology and Evolution. Her recent publications demonstrate a consistent focus on developing algebraic methods for phylogenetic analysis, with increasing attention to heterogeneous evolutionary processes across lineages, time-reversible models, and computational implementations of theoretical results. The trend shows progression from theoretical foundations in algebraic geometry toward increasingly sophisticated and applicable computational methods for biological data. Fulbright Scholarship for postdoctoral research at UC Berkeley Ramón y Cajal contract (2003) Casanellas has supervised PhD students including A. Kedzierska (co-supervised with R. Guigó of the CRG). She has served as principal investigator for three competitive Spanish government projects involving fifteen researchers each. She has held significant academic leadership roles including Deputy Director of Research of the Department of Mathematics at UPC (2015-2018), head of studies for the Degree in Data Science and Engineering at UPC (2018-2022), and currently coordinates UPC's PhD in Bioinformatics program and Bachelor's Degree in Bioinformatics. She leads the BIO-GEOMAP research group focused on applying mathematical techniques to biological problems.

• Algebraic Geometry
• Computational Biology
• Phylogenetics
• +4 more

Luo Mai is an Assistant Professor at the University of Edinburgh's School of Informatics , with an upcoming promotion to Associate Professor (UK Reader) in August 2025. He leads the Large-Scale Machine Learning Systems Group and co-leads the UK EPSRC Centre for Doctoral Training in Machine Learning Systems and an ARIA Project on Scaling AI Compute by 1000X . PhD in Computer Science (Imperial College London, 2018) MRes in Advanced Computing (Imperial College London, 2012) His research focuses on the intersection of computer systems , machine learning , and data management . Key contributions include award-winning systems like WaferLLM (wafer-scale LLM inference), Tenplex (elastic ML), and ServerlessLLM (serverless LLM serving), published at top venues (OSDI, SOSP, ICML, NeurIPS, JMLR). Recent publications demonstrate trends in GPU-based distributed systems , LLM optimization , and adaptive machine learning . His team has developed groundbreaking open-source projects including TensorLayer , TorchOpt , and ServerlessLLM . Awarded Microsoft Research StarTrack Scholar (2024) , secured ARIA grant (2024) with Imperial College & Cambridge University, and received Google Fellowship during PhD (2012-2016). As an educator, he designed Edinburgh's popular Machine Learning Systems course (150+ students). His group supervises multiple PhD students including Yao Fu (recognized as 2024 Rising Star in ML & Systems) and Leyang Xue .

• Computer Systems
• Machine Learning Systems
• Data Management
• +3 more

Alexandre Thomas Guillaume Quesney is an Assistant Professor in the Mathematics Applied to Information and Communication Technologies department at the Technical University of Madrid's School of Computer Engineering. He is actively affiliated with the Geometry and its Applications research group and maintains academic operations at the Montegancedo Campus in Boadilla del Monte, Madrid. His research focuses on advanced mathematical structures with primary expertise in homotopy theory, particularly operad theory. His work extends into combinatorial algebras and non-commutative geometry, exploring foundational connections between algebraic systems and topological spaces. Key research themes include: Algebraic structures in homotopy theory Operadic compositions and deformations Non-commutative geometric models Combinatorial methods in algebra Quesney contributes to academic discourse through the UPM seminar series and collaborates within the Geometry and its Applications research framework. His scholarly presence is marked by consistent engagement in mathematical publications as evidenced by Mendeley readership metrics across multiple works. Professional activities include: Active research group membership since November 2022 Faculty appointment since March 2022 Regular seminar participation

• Algebraic Topology
• Operad Theory
• Homotopy Theory
• +3 more

Mateo Valero Cortés is a renowned Professor of Computer Architecture at the Polytechnic University of Catalonia and Director of the Barcelona Supercomputing Center (BSC). He has held academic and leadership roles since 1974, advancing high-performance computing (HPC) and computer architecture research. His work includes pioneering contributions to vector architectures, multithreading, and instruction-level parallelism. Education includes a Telecommunications Engineering degree from the Polytechnic University of Madrid (1974) and a PhD in Telecommunications Engineering from the Polytechnic University of Catalonia (1980). His research spans over 700 publications, focusing on HPC systems, parallel computing, and supercomputing infrastructure. Key research interests include vector processing, super-scalar processors, and task-based programming models. Recent work emphasizes scalable architectures for exascale computing and energy-efficient hardware-software co-design. Notable achievements include the Eckert-Mauchly Prize (highest in computer architecture), Seymour Cray Award, and Charles Babbage Prize. He has led initiatives like the Spanish Supercomputing Network (RES) and PRACE (European HPC partnership). Academic affiliations include the Royal Academy of Engineering of Spain, ACM Fellow, and IEEE Fellow. He has received 13 honorary doctorates and awards such as Mexico’s Order of the Aztec Eagle. Current projects include the Mont-Blanc HPC prototype and ERC-funded research on multi-core chip design. His BSC oversees over 300 researchers and manages MareNostrum supercomputers.

• Computer Architecture
• High-Performance Computing
• Parallel Computing
• +3 more

Pere Ara Bertran is a Professor in the Department of Mathematics at the Universitat Autònoma de Barcelona (UAB). He has held academic roles including Titular Numerario (1987–1998) and Profesor Colaborador (1983–1987). His research focuses on ring theory, C*-algebras, and their interactions with dynamics and combinatorics. He has led multiple projects funded by institutions like the Spanish Ministry of Economy and Competitiveness (MINECO) and the European Regional Development Fund (FEDER). Education: Ph.D. in Mathematical Sciences (UAB, 1986); Degree in Mathematical Sciences (UAB, 1981) Projects: CLASSIFICATION, STRUCTURE, AND REGULARITY PROPERTIES OF RINGS, MODULES, C*-ALGEBRAS, AND DYNAMICS (2024–2027); ANILLOS, MODULOS, C*-ALGEBRAS, Y DINAMICA: CLASIFICACION, ESTRUCTURA FINA Y REGULARIDAD (2021–2024) His work explores topics like Cuntz semigroups, regular rings, and monoids, with contributions to algebraic structures and functional analysis. He collaborates internationally on projects bridging algebra, topology, and dynamics.

• C-Algebras
• Monoids
• Leavitt Path Algebras
• +3 more

Meritxell Sáez Cornellana serves as a Contracted Professor of Ph.D in the Department of Mathematics and Data Analytics at IQS School of Engineering, part of Universitat Ramon Llull in Barcelona, Spain. She leads the ADAMIQS (Applied Data Analytics and Modelling IQS) research group funded by AGAUR, and participates in multiple interdisciplinary projects including CERTERA (advanced therapies development), NFT value drivers research, and international collaborations with China on sustainable development in population medicine. Her research focuses on applying mathematical modeling to biological systems, particularly in understanding cell fate decisions through dynamical landscapes and chemical reaction networks. She has developed geometrical frameworks for analyzing gene regulatory dynamics and cell differentiation processes, bridging mathematical theory with biological applications. Her work spans mathematical biology, dynamical systems theory, and data analytics, with particular expertise in bifurcation analysis, model reduction techniques, and statistical approaches to biological decision-making. Analysis of her publication record reveals a clear trajectory from foundational mathematical work in algebraic geometry toward increasingly biological applications, with a significant shift around 2016 toward systems biology. Her most impactful work involves creating geometrical landscapes that capture decision-making dynamics during cell fate transitions, which has been cited over 60 times. Recent publications show expansion into statistical approaches for university education and continued development of mathematical frameworks for understanding biological networks. Research leadership and funding: Principal Investigator for ADAMIQS project (Applied Data Analytics and Modelling IQS) funded by AGAUR (2022-2025) Researcher in CERTERA consortium for advanced therapies development (Carlos III Health Institute, 2024-2026) Researcher in NFT value drivers project (Fundación Ramón Areces, 2023-2026) Researcher in PoPMeD-SuSDeV project on sustainable development and global health (2023-2026) Researcher in 2IDLATRL project on learning analytics tools (2022-2023) Professor Sáez Cornellana directs the Applied Data Analytics and Modeling research line at IQS, supervising multiple research projects that integrate mathematical theory with practical applications in biology and education. Her team collaborates across disciplines, connecting mathematical modeling with biological experimentation and educational innovation, creating a unique interdisciplinary research environment focused on extracting meaningful insights from complex data systems.

• Mathematical Biology
• Dynamical Systems
• Chemical Reaction Networks
• +4 more

Guillem Perarnau is an Associate Professor in the Department of Applied Mathematics at Universitat Politècnica de Catalunya (UPC), affiliated with CRM, IMTech, and BGSMath. He holds a PhD from UPC (advised by Oriol Serra) and was a CARP Postdoc Fellow at McGill University (2013–2015). From 2016 to 2019, he was a Lecturer at the University of Birmingham. His research focuses on Probabilistic and Extremal Combinatorics, Random Combinatorial Structures, and Discrete Stochastic Processes. Education: Bachelor, Master, and PhD in Mathematics at UPC. His academic journey includes postdoctoral research at McGill University and a Lecturer role at the University of Birmingham. Research interests include Percolation Theory, Random Graphs, Stochastic Processes, and Algorithmic Combinatorics. His recent work explores topics like percolation on dense graphs, random walk mixing times, and synchronization in automata. He is co-PI of the COCOA grant and coordinates the Spanish Discrete and Algorithmic Mathematics Network. He participates in the RandNET MSCA Exchange Programme. Key contributions include studies on giant components in directed graphs, phase transitions in Glauber dynamics, and extremal problems in graph colorings. His publications span top journals like Annals of Applied Probability , SIAM Journal on Discrete Mathematics , and Random Structures & Algorithms .

• Probabilistic Combinatorics
• Extremal Combinatorics
• Random Combinatorial Structures
• +3 more

Luís Pedro Montejano Cantoral is an Assistant Professor at the Department of Computer Engineering and Mathematics (DEIM) of Rovira i Virgili University (URV) under the Serra Húnter Fellow program since 2020. He holds a PhD in Applied Mathematics (Cum Laude and International Doctor) from Universitat Politècnica de Catalunya (UPC, Spain, 2011), preceded by undergraduate and master's studies in Mathematics at Universidad Nacional Autónoma de México (UNAM, 2000–2007). His postdoctoral research included stays at the Institut Montpelliérain Alexander Grothendieck (Université de Montpellier, France, 2012–2015) and Centro de Investigación en Matemáticas (CIMAT, Mexico, 2015–2017). His research focuses on discrete mathematics, with emphasis on graph theory, matroid theory, discrete geometry, and algorithmic problems. He explores intersections between combinatorial structures and computational methods, often addressing theoretical and applied challenges in these domains.

• Discrete Mathematics
• Graph Theory
• Matroid Theory
• +3 more

Eva Miranda Galceran is a Full Professor at the Facultat de Matemàtiques i Estadística (FME) of the Universitat Politècnica de Catalunya (UPC) , where she leads the GEOMVAP research group and directs the Laboratory of Geometry and Dynamical Systems . She holds affiliations as a Chercheur Affilié at the Observatoire de Paris , an ICMAT Honorary Vinculado , and a member of the BGSMath network. Research: Her work bridges Symplectic and Poisson Geometry with Hamiltonian Dynamics , Fluid Dynamics , and Computer Science . Key themes include geometric quantization , integrable systems , singular manifolds , and universality in Euler flows , including the construction of Turing complete fluid systems . She has advanced the singular Weinstein conjecture and explored b-symplectic and E-symplectic manifolds with applications to celestial mechanics. Awards: ICREA Academia Prizes (2016, 2021) François Deruyts Prize 2022 Friedrich Wilhelm Bessel-Forschungspreis 2022 Gauss Professor 2025 Advising: She mentors 2 Ph.D. students ( Pablo Nicolás , Søren Dyhr ) and has supervised 9 Ph.D. graduates, including Anastasia Matveeva (2022, InPHINIT La Caixa), Joaquim Brugués (2024, FI-AGAUR), and Mir Garcia (2024). Her team spans Mathematical Physics , Geometric Quantization , and Computational Complexity . Grants: Principal Investigator for projects AQUACELL (AEI-DFG, €350,000), INTERGAP (PID2023-146936NB-I00, €293,750), COMPLEXFLUIDS (BBVA, €150,000), and the ICREA Academia 2021 (€120,000). She co-leads the Maria de Maeztu CEX2020-001084-M program (€2M) at the Centre de Recerca Matemàtica (CRM) .

• Symplectic Geometry
• Poisson Geometry
• Symplectic and Contact Topology
• +12 more

Jordi Guàrdia Rúbies is a Professor in the Department of Mathematics at the Universitat Politècnica de Catalunya (UPC), affiliated with the Faculty of Mathematics and Statistics (FME). He is a member of the UPC's STNB research group (Seminari de Teoria de Nombres de Barcelona), specializing in Number Theory and Algebraic Geometry. His work bridges theoretical research with educational innovation, particularly in Open Educational Resources (OER) for STEM fields. Affiliations: UPC, STNB Group, FME. Research Interests: Computational Algebra, Valuation Theory, Modular Forms, Mathematics Education. Recent research focuses on OER development, with contributions to collaborative platforms like Gate2Math. He has published extensively in journals like Journal of Algebra and Foundations of Computational Mathematics , addressing topics such as polynomial factorization over Henselian fields and valuation theory applications. Key awards include the Distinció Vicens Vives and UPC Quality Teaching Prize. He leads projects on OER quality assessment and has collaborated on EU-funded initiatives like the Erasmus+ Gate2Math program. His teaching contributions include innovative projects like Aprenentatge de l’Estadística basat en casos pràctics transversals , emphasizing practical case studies in statistics education.

• Number Theory
• Algebraic Geometry
• Computational Algebra
• +3 more