Compiler Intermediate Languages Professors and Supervisors in Spain

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

استادیار

IMDEA Software InstituteSpain

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

پروفایل رسمی دانشگاه

Juan Carlos Pichel Camposمشاهده پروفایل

دانشیار

University of Santiago de CompostelaSpain

Juan Carlos Pichel is an Associate Professor at the Center for Research in Intelligent Technologies (CITIUS) within the University of Santiago de Compostela (Spain). He holds a B.Sc. in Physics and a Ph.D. in Computer Science from the same university (2006). His research focuses on parallel and distributed computing, Big Data technologies, quantum computing, and optimization for emerging architectures. He has held visiting positions at University Carlos III de Madrid and University of Illinois at Urbana-Champaign, and worked at the Galicia Supercomputing Center. Education: B.Sc. Physics (USC, Spain), Ph.D. Computer Science (USC, 2006). Research interests include: HPC frameworks (IgnisHPC), quantum computing tools (NetQIR), bioinformatics software (BigSeqKit/VeryFastTree), and misinformation detection systems. His work emphasizes interdisciplinary applications of parallel computing in genomics, health informatics, and social media analysis. Notable contributions: MPI4All (universal MPI bindings), IgnisHPC (HPC-Big Data framework), and VeryFastTree (phylogeny tool). Active in projects like C3HS (health search systems) and HYBRIDS (AI for democratic practices). Labs/Teams: Leads the ARQCOMP research group in Computer Architecture. Collaborates with multidisciplinary teams in bioinformatics, quantum computing, and social media analytics.

پروفایل رسمی دانشگاه

Max S. Newمشاهده پروفایل

استادیار

IMDEA Software InstituteSpain

Max S. New is an Assistant Professor in Computer Science & Engineering at the University of Michigan, specializing in Programming Languages , Gradual Typing , Secure Compilation , and Category Theory . He is affiliated with the MPLSE research community . Education: PhD in Computer Science (Northeastern University, 2020) Postdoctoral: Wesleyan University (with Dan Licata) His research bridges programming language theory with category theory and formal verification. Key contributions include intrinsic verification of parsers using dependent Lambek calculus, gradual type theory with parametricity, and denotational semantics for gradual typing using synthetic guarded domain theory. His work explores language interoperability , compiler intermediate languages , and stack-based effects through relative monads. Recent publications focus on verified parsing frameworks, automata formalism in linear logic, and category-theoretic models of graduality. He actively contributes to POPL , PLDI , and OOPSLA program committees and serves as a mentor in academic workshops. Max advises PhD students including Eric Giovannini (2021-) Steven Schaefer (2023-) Eric Bond (2023-) Yuchen Jiang (2023-) Jesse Slater (2024-, co-advised with Xinyu Wang) and teaches courses in Category Theory and Compiler Construction .

پروفایل رسمی دانشگاه

Francisco Javier Sanchez Martinمشاهده پروفایل

استاد

University of MurciaSpain

Francisco Javier Sanchez Martin is a Professor in the Department of Spanish Language and General Linguistics at the Faculty of Arts and Humanities, Universidad de Murcia. His research focuses on historical lexicography and terminology of technical vocabulary in Spanish Renaissance texts, particularly Alonso de Herrera's agricultural treatises. He earned his PhD from Universidad de Salamanca in 2009 with a dissertation on geometric terminology in Hispanic Renaissance technical works, supervised by Dr. María Jesús Mancho Duque. Sanchez Martin specializes in lexicography, historical linguistics, and specialized language studies, with emphasis on agricultural and geometric terminology from the Renaissance period. His work examines Herrera's Libro de agricultura and its influence on Spanish lexicographic tradition including the Diccionario de autoridades , while also exploring viticulture terminology, Arabic loanwords, and digital applications in language teaching. Recent publications (2023-2025) demonstrate sustained focus on Renaissance agricultural lexicon with growing interdisciplinary connections to viticulture, medical Spanish curriculum design, and digital humanities. His research bridges historical analysis with contemporary pedagogical practices through studies of grafting terminology, Arabic influences like 'abencenif', and geometric treatises. He supervises graduate theses in Spanish linguistics through the HISTOLEX research group (History of Spanish Lexicon and Lexicography) and was previously active in Gleax (Grupo Lexicografico Alfonso X), contributing to collaborative projects on Spanish lexical evolution.

پروفایل رسمی دانشگاه

Amal Ahmedمشاهده پروفایل

استاد

IMDEA Software InstituteSpain

Amal Ahmed is a Professor and Associate Dean for Graduate Programs at the Khoury College of Computer Sciences , Northeastern University , USA. Her research focuses on correct and secure compilation , safe language interoperability , and logical relations , with a strong emphasis on bridging high-level abstractions to low-level code. Education : PhD in Computer Science, Princeton University. Her work addresses challenges in multi-language systems , gradual typing , and type-preserving compiler design , leveraging formal semantics and logical relations to ensure security and correctness. Recent projects include advancements in WebAssembly interoperability and probabilistic separation logic . Amal's research has resulted in 15 recent publications spanning areas like semantic realizability , modal logic , and parametricity in gradual typing . She mentors a dynamic research group including postdocs, PhD, and undergraduate students, and has contributed extensively to program committees and workshops in programming languages, including POPL, ICFP, and OOPSLA. Labs/Teams : Leads the SILC (Secure Interoperability, Languages, and Compilers) group and contributes to the Northeastern Programming Research Lab .

پروفایل رسمی دانشگاه

Gilles Bartheمشاهده پروفایل

استاد پژوهشی

IMDEA Software InstituteSpain

Gilles Barthe is Research Professor (part-time) at IMDEA Software Institute and Director at Max Planck Institute for Security and Privacy. His research develops programming language techniques and verification methods for security applications, particularly cryptographic implementations and differentially private computations. Research focuses on formal methods for security proofs, including relational program verification, cryptographic protocol analysis, and privacy-enhancing technologies. Key areas include automated proofs for lattice-based cryptography, secure compilation techniques, and verifying constant-time properties against side-channel vulnerabilities. Barthe leads projects on formal verification of cryptographic standards including AES-GCM and SHA-3, and develops tools like EasyCrypt for computer-aided cryptographic proofs. Recent work addresses Spectre vulnerability mitigations and quantum program verification.

پروفایل رسمی دانشگاه

Tomás Fernández Penaمشاهده پروفایل

استاد

University of Santiago de CompostelaSpain

Tomás Fernández Pena is a Full Professor at the University of Santiago de Compostela (USC) and Senior Researcher at the Research Center in Intelligent Technologies (CiTIUS) . With a career spanning over three decades, he has held academic positions since 1990 and contributed extensively to High Performance Computing (HPC), Big Data, and emerging quantum computing fields. Ph.D. in Physics from USC (1994) Senior Member of IEEE Associate Editor for IEEE Transactions on Computers and IEEE Access Research Contributions : His work focuses on parallel systems architecture, cloud computing middleware, and quantum simulation optimization. He has pioneered methods for NUMA systems, LiDAR data processing, and Big Data applications in bioinformatics/cheminformatics. His recent articles show increasing emphasis on quantum computing frameworks and distributed quantum processing. Scientific Recognition : Holds four Spanish Ministry of Education six-year research excellence periods (sexenios de investigación) and has served as Principal Investigator in 3 public projects and co-investigator in 31 EU/Xunta de Galicia funded initiatives. Supervised 7 Ph.D. theses and published 43+ international journal papers. International Collaborations : Maintains academic connections through funded research stays at Loughborough University, University of Tennessee, and University of Illinois Urbana-Champaign. Active in IEEE and participates in global conferences like Euro-Par and CHEP.

پروفایل رسمی دانشگاه

Juan Carlos Pichel Camposمشاهده پروفایل

استاد

University of Santiago de CompostelaSpain

Juan Carlos Pichel Campos is a Full Professor at the University of Santiago de Compostela (USC) specializing in high performance computing and language technologies. His research spans quantum computing, distributed systems, and Big Data technologies with a focus on practical applications in health informatics and computational physics. He received his B.Sc. and M.Sc. in Physics from University of Santiago de Compostela (Spain) and completed his Ph.D. there in 2006. He conducted postdoctoral research at University Carlos III de Madrid and University of Illinois at Urbana-Champaign, and worked as a researcher and project manager at Galicia Supercomputing Center. Professor Pichel's research interests include parallel and distributed computing, Big Data technologies, programming models, and software optimization techniques for emerging architectures. His recent work has focused on bridging quantum computing with classical high performance computing systems, developing efficient algorithms for processing massive biological datasets, and creating tools for health-related information retrieval and misinformation detection. His interdisciplinary approach combines techniques from computer science, physics, and biomedical informatics to solve complex computational problems. Analysis of his recent publications reveals a strong trend toward quantum computing applications and integration with classical HPC systems (accounting for approximately 40% of his recent work), followed by health informatics and natural language processing (about 30%), and bioinformatics and computational physics (about 30%). His research demonstrates a consistent focus on developing practical tools and frameworks that address real-world computational challenges across multiple domains. rePowerSiC: High-Efficiency High-Power Laser Beaming In-Space Systems Based On Sic (2024-2028) C3HS: Content curation for consumer health search - Search and misinformation detection (2023-2026) Big-eRisk: Early Prediction of Personal Risks on Massive Data (2021-2024) eRISK: Technologies for the early prediction of signs related with psychological disorders (2019-2021) BigNLP: Approaching High Performance Computing to Big Data Technologies: Natural Language Processing as Case Study (2015-2018) Professor Pichel has established strong collaborations with research groups across Europe and the United States, particularly in the fields of quantum computing and biomedical informatics. He is actively involved with CiTIUS (Centro singular de investigación en tecnoloxías da información e da comunicación de USC), contributing to its mission of advancing information and communication technologies through interdisciplinary research.

پروفایل رسمی دانشگاه

William J. Bowmanمشاهده پروفایل

استادیار

IMDEA Software InstituteSpain

William J. Bowman is an Assistant Professor in the Department of Computer Science at the University of British Columbia. He focuses on secure and verified compilation, dependently typed programming, and meta-programming systems. His work bridges high-level language design with low-level code generation to maintain correctness and security invariants throughout compilation. Education: PhD in Computer Science from Northeastern University Research spans type-preserving compilation, including: Typed closure conversion for dependently typed languages Allocation-aware type universes Hybrid embedding techniques Secure interoperability via multi-language semantics Recent publications examine: Heap allocation modeling through type universes Flat closure representations WebAssembly extensions with indexed types Control-effect semantics

پروفایل رسمی دانشگاه

Limin Jiaمشاهده پروفایل

استاد پژوهشی

IMDEA Software InstituteSpain

Limin Jia is a Research Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department. She is affiliated with CyLab, CMU's security and privacy research institute. She received her PhD in Computer Science from Princeton University and a BE from the University of Science and Technology in China. Her research applies formal techniques to enhance software security, focusing on programming languages and distributed systems. Key interests include: Language-based security mechanisms Formal verification of distributed systems Secure compilation techniques Intermittent computing foundations Her publications demonstrate strong emphasis on security guarantees in programming languages (Rust/WebAssembly), formal methods for intermittent systems, and software supply chain security. Recent works frequently address type systems, compiler verification, and energy-constrained computing. Dr. Jia maintains an extensive advising portfolio with current and former students spanning PhD and Master's programs. She teaches foundational security courses including Browser Security and Introduction to Information Security .

پروفایل رسمی دانشگاه

John Wickersonمشاهده پروفایل

مدرس ارشد

IMDEA Software InstituteSpain

concurrency semantics
FPGAs
GPUs
+۵ مورد دیگر

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 Zdancewicمشاهده پروفایل

استاد

IMDEA Software InstituteSpain

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.

پروفایل رسمی دانشگاه