Find Academic Supervisors

Gabriel LuqueView profile

Assistant Professor

• Parallel Metaheuristics
• Genetic Algorithms
• Combinatorial Optimization
• +7 more

Gabriel Luque is an Assistant Professor in the Department of Languages and Computer Science at the E.T.S.I. Informática (School of Computer Engineering) of the University of Málaga, Spain. His academic career focuses on parallel metaheuristics and evolutionary algorithms, with applications spanning bioinformatics, natural language processing, traffic optimization, and workforce planning. Dr. Luque's research interests center on the design and analysis of parallel and distributed metaheuristics for solving complex combinatorial optimization problems. His work has significantly contributed to understanding the performance characteristics of distributed evolutionary algorithms, including studies on takeover time dynamics, energy consumption analysis, and communication overhead in parallel implementations. He has made notable contributions to DNA fragment assembly problems using parallel genetic algorithms and has extended his research to emerging areas like quantum computing applications. Research grant from Spanish Government: 'Ayuda a la Movilidad José Castillejo' (2008) Research grant from Andalusian Government: 'Beca de Formación de Personal Docente e Investigador' (2002-2006) Award: 'Proyecto Fin de Carrera - Diario el País' (2001) Dr. Luque actively supervises student research projects and has directed several final degree projects on topics including particle swarm algorithms for complex problem solving and extending optimization libraries. His research is supported by multiple national and international projects focused on smart mobility, intelligent cities, and fundamental metaheuristic research. Dr. Luque has established a productive research trajectory with numerous high-impact publications in journals and conferences, demonstrating consistent contributions to the field of parallel metaheuristics and their real-world applications.

Soham ChakrabortyView profile

Assistant Professor

• Programming Languages
• Compilers
• Computer Architecture
• +3 more

Soham Chakraborty is an Assistant Professor at the Programming Languages Group, TU Delft since 2021. He previously served as an Assistant Professor at the CSE Department, IIT Delhi before joining TU Delft. His academic journey includes a PhD from Max Planck Institute for Software Systems (MPI-SWS) in 2019 and a Master's degree from CSE Department, IIT Kharagpur in 2008. Affiliation: TU Delft, IIT Delhi, MPI-SWS Research Interests: Programming Languages, Compilers, Architecture, Verification, Concurrency His research focuses on formal semantics, compiler correctness, architecture-to-architecture translation, and verification of weak memory models. He has contributed to major conferences including POPL, PLDI, CGO, and ASPLOS. His work addresses challenges in heterogeneous concurrency, relaxed memory concurrency, and binary translation for weak memory architectures. Recent works include How Hard is Weak-Memory Testing? (POPL'24) and Toast: A Heterogeneous Memory Management System (PACT'24). He also received the Distinguished Paper Award at DATE'25 and Distinguished Artifact Award at PODC'22 . Teaching: Courses like Concepts of Programming Languages (CS2120), Parallel and Concurrent Programming (CS4555), Compiler Construction (CS4555), Analysis of Concurrent and Distributed Programs (CS4405), Software Fundamentals (Rust), and Seminar Programming Languages (COL 380) Students: PhD student Dennis Sprokholt, MSc students Michal Raczkiewicz, Alexandru Dumitriu, Huixuan Wu, and alumni including Pieter van den Ham, Mingyu Gao, Jeroen Kloppenburg, and others. Service: Served on program committees for POPL, PLDI, CGO, VMCAI, APLAS, and Eurosys workshops.

Andrew MyersView profile

Professor

• Programming Languages
• Computer Security
• Distributed Systems
• +3 more

Andrew Myers is a Professor in the Department of Computer Science at Cornell University , focusing on Programming Languages , Computer Security , and Distributed Systems . He is an ACM Fellow and currently serves as Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS). His professional roles include program chair or co-chair for conferences such as ACM POPL 2018 , ACM CCS 2016 , and POST 2014 . His research bridges formal methods with practical language design , as evidenced by projects like the Condorcet Internet Voting System and the Viaduct compiler . Contributions span security protocols , concurrent programming , and hardware design languages . 2023 : Universally Composable Security for Program Partitioning 2022 : A Flexible Type System for Fearless Concurrency, PDL: A High-Level Hardware Design Language 2021 : Viaduct compiler for secure distributed programs 2020 : Handling Bidirectional Control Flow 2018 : MixT consistency language, Covert Channel-Free Hardware Scientific recognition includes Best Paper Awards at POPL 1999 , SOSP 2001 , SOSP 2007 , CIDR 2013 , PLDI 2013 , and PLDI 2015 . Professional service includes conference organization (e.g., ACM POPL 2018 Program Chair , Steering Committee roles in PriSC and PLDI). Myers maintains active open-source projects like civs (Condorcet Internet Voting System) and Viaduct , reflecting his commitment to secure, verifiable systems and language-driven solutions .

• Speech Synthesis
• Voice Quality Analysis
• Environmental Noise Mapping
• +3 more

Joan Oró is a researcher at the Blanquerna Department of Physical Activity and Sport Sciences and Sports Management within the Faculty of Psychology, Educational Sciences and Sports at Blanquerna - Ramon Llull University. His work focuses on speech synthesis, voice quality analysis, and environmental noise mapping, with a particular emphasis on computational modeling and acoustic sensor networks. Research Interests: Speech signal processing, finite element modeling of phonation, environmental noise monitoring, and machine learning applications in acoustic analysis. Projects: Key contributions to the DYNAMAP initiative for real-time road traffic noise mapping and the FEMVoQ project for 3D voice quality simulation. Publications: Recent work explores vocal tract-glottal source interactions, spectro-temporal noise analysis, and intelligent clustering architectures, spanning interdisciplinary applications in acoustics, signal processing, and urban planning.

• Mindfulness Research
• Educational Technology
• Computer Science
• +3 more

María Dolores Gil Montoya is a Professor in the Computer Science Department at the University of Almería (UAL), Spain, with a distinguished interdisciplinary research profile spanning computer science, mindfulness applications, and energy systems. Her academic career demonstrates a unique integration of technical expertise with psychological and philosophical perspectives. Her research interests focus on three interconnected domains: Mindfulness Research : Exploring applications in education and sports performance, with particular attention to bridging Eastern and Western philosophical traditions Educational Technology : Developing and implementing cooperative learning methodologies, active learning tools, and ICT integration in higher education Energy Systems : Contributing to research on power quality, electric vehicle infrastructure, and renewable energy integration Dr. Gil Montoya's publication record shows consistent scholarly output across these domains, with her most recent work focusing on the integration of mindfulness practices with educational technology. Her research demonstrates a distinctive approach that combines technical rigor with human-centered perspectives, particularly evident in her work on cooperative learning enhanced by mindfulness principles. She has successfully secured multiple research grants from Spanish government agencies, with projects ranging from high-performance computing applications to drone navigation systems. As a member of the 'Ciencia, consciencia y desarrollo' research group, she contributes to interdisciplinary work that connects technological development with consciousness studies. Her collaborations extend internationally, including work with the University of San Carlos Guatemala's Faculty of Engineering. Dr. Gil Montoya maintains an active research profile with an h-index of 13 in both Scopus and Web of Science, reflecting the impact of her interdisciplinary contributions across computer science, education, and energy research fields.

John WickersonView profile

Senior Lecturer

• concurrency semantics
• FPGAs
• GPUs
• +5 more

John Wickerson is a Senior Lecturer in the Department of Electrical and Electronic Engineering at Imperial College London. His research spans formal methods, concurrency, and hardware/software synthesis. Academic Rank: Senior Lecturer Affiliation: Imperial College London His research interests include concurrency semantics, weak memory models, transactional memory, GPU and FPGA programming, and high-level synthesis for hardware accelerators. These areas intersect formal verification, programming language design, and hardware-software interface optimization. The publications of John Wickerson reflect trends in formalizing memory models, improving hardware synthesis reliability, and testing concurrency frameworks. His work addresses challenges in quantum compiler validation, GPU workgroup progress, and weak memory persistency across Intel, ARM, and C++ architectures. He actively contributes to academic communities as a Publicity Co-Chair and Session Chair in conferences like POPL and as a Committee Member in SPLASH and PLDI. His GitHub repository activity and X (Twitter) presence further demonstrate his engagement in technical dissemination.

Steve ZdancewicView profile

Professor

• Programming Languages
• Type Theory
• Logic
• +7 more

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania. His research spans programming languages, computer security, formal verification, and type theory, with significant contributions to LLVM verification, program synthesis, and quantum programming. He co-leads Penn's Programming Languages Research Group with Benjamin Pierce and Stephanie Weirich. His research focuses on: Programming language foundations (type theory, linear logic, semantics) Formal verification (Coq, LLVM, interaction trees) Security (information-flow control, memory safety) Emerging paradigms (quantum programming, secure distributed systems) Publication trends reveal deep engagement with formal methods (67%), programming language design (20%), and systems security (13%), primarily using Coq for mechanized verification. Recent works demonstrate increased focus on parallel/streaming computation and synthesis techniques. Awards Distinguished Paper Awards (ECOOP 2023, POPL 2020) Schlein Family President's Distinguished Professor (2021) Lindback Distinguished Teaching Award (2018) IEEE MICRO Top Picks (2013) Sloan Fellowship (2009-2010) NSF CAREER Award (2004) Best Paper Awards (SOSP 2001, ICFP 1999) Research Leadership Directs multiple NSF-funded projects including DeepSpec (verified systems infrastructure), Vellvm (LLVM semantics), and ExCAPE (program synthesis). Advises 5 PhD students and 31 former advisees/postdocs. Served as General Chair for POPL 2025 and associate chair for PLDI/ICFP/POPL. Infrastructure Leads the Vellvm project developing Coq-based LLVM semantics, the Interaction Trees framework for recursive/impure programs, and Qwire for quantum circuit verification. Maintains active collaborations with Galois Inc. and INRIA.

Aymeric FromherzView profile

Researcher

• Formal Methods
• Secure Systems
• Rust Verification
• +6 more

Aymeric Fromherz is a researcher at Inria Paris, focusing on formal methods for secure systems. He leads projects in Rust verification, high-assurance cryptography, and formalization of computational legal texts. Education includes a PhD from Carnegie Mellon University (co-advised by Bryan Parno and Corina Păsăreanu) and degrees from École Normale Supérieure. His research spans Rust verification (via Aeneas toolchain), verified cryptographic primitives , and computational law (through the Catala language). Recent publications address memory allocators, borrow-checking, and legal ambiguity detection. Major Scientific Awards : Distinguished Artifact Award (CAV 2025) Best Tool Paper Award (ESOP 2024) ACM SIGSAC Dissertation Award (2021) A.G. Milnes Dissertation Award (2021) He contributes to conferences like POPL, ICFP, and CPP, and participates in the Everest Project. The Prosecco Team at Inria Paris supports his research on formal methods and security.

Rodrigo Santamaría VicenteView profile

Associate Professor

• Bioinformatics
• Information Visualization
• Microarray Data Analysis
• +4 more

Rodrigo Santamaría Vicente is an Associate Professor in the Department of Computer Science and Automation within the Faculty of Sciences at the University of Salamanca. His academic career centers on bridging computer science with biological research through advanced data analysis and visualization techniques. He serves as director of the Diploma of Specialization in Bioinformatics and Computational Genomics, demonstrating leadership in specialized academic programming. Dr. Santamaría earned his PhD in Computer Science from the University of Salamanca in 2009 with his thesis "Visual analysis of gene expression data by means of biclustering," supervised by Dr. Luis Antonio Miguel Quintales and Dr. Roberto Therón Sánchez. His academic journey began with an M.S. degree in Computer Science from the same institution. His research primarily focuses on Bioinformatics and Information Visualization, with particular emphasis on integrating diverse data sources, analysis algorithms, and visual representations to enhance understanding of complex biological problems. His work spans multiple subdomains including gene expression analysis, biclustering algorithms, phylogenetic tree visualization, and collaborative tagging systems. Santamaría's research group affiliations include both the BIOINFORMÁTICA research group and the CaUSAL (Cultura Académica, Patrimonio y Memoria Social) research group at the Institute of Functional Biology and Genomics. His publication record reveals a consistent trajectory of scholarly output since 2006, with recent work showing increased focus on biological applications of computational methods. His most significant contributions appear in the integration of visualization techniques with bioinformatics analysis, particularly through tools like BicOverlapper and Voronto that facilitate interactive exploration of complex biological data. The evolution of his work demonstrates progression from foundational algorithm development to increasingly sophisticated applications in systems biology. Author of the book "How Machines Organize: An Introduction to Distributed Systems" Director of the Diploma of Specialization in Bioinformatics and Computational Genomics Active contributor to R programming ecosystem with the biclust package As an educator, Santamaría teaches across multiple programs including the Master's Degree in Computer Engineering and previously taught Bioinformatics for the Biotechnology degree program. His teaching portfolio spans Bioinformatics (from both computer science and biology perspectives), Distributed Systems, and Service-Oriented Architectures. He maintains an active research laboratory focused on developing visualization tools for biological data analysis, with current projects emphasizing integration of gene expression data with biological ontologies and advanced biclustering techniques.