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

Max Willseyمشاهده پروفایل

استادیار

• Programming Languages
• Compiler Optimization
• Equality Saturation
• +۷ مورد دیگر

Max Willsey is an Assistant Professor in the Department of Electrical Engineering and Computer Sciences (EECS) at the University of California, Berkeley . His research focuses on enhancing program optimization through techniques from programming languages, databases, and systems. He leads the development of tools like egg and egglog , which leverage e-graphs for equality saturation to build robust compiler optimizers. Education: PhD from University of Washington (2021), BS from Carnegie Mellon University (2016) Current Teaching: CS 164 (Programming Languages and Compilers), CS 265 (Compiler Optimization), CS 294-260 (Declarative Program Analysis and Optimization) Research Interests center on equality saturation, e-graphs, Datalog, and their applications in program synthesis, compiler design, and database theory. His work bridges formal methods with practical systems, particularly in hybrid molecular-electronic computing. Notable Scientific Awards: SIGMOD Record Research Highlight (2024) MIT PL Review Selection (2024) Distinguished Paper Awards at OOPSLA (2021) and POPL (2021) Invited Talks at ICCAD (2019) and Biochips Summer School (2019) NSF Graduate Research Fellowship Honorable Mention (2018) As founder of the EGRAPHS Community , he organizes workshops, forums, and seminars for e-graphs researchers. His publications demonstrate a synthesis of compiler optimization, database theory, and molecular computing, with a focus on unifying disparate programming paradigms.

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

Clément Pit-Claudel is an Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), where he heads the SYSTEMF lab. Previously, he was a PhD candidate at MIT under Adam Chlipala and a Senior Applied Scientist at Amazon AWS. His research focuses on programming languages, compilers, and formal verification, with broader interests in systems engineering, hardware design languages, security, performance engineering, and type theory. Key research areas include extensible compilation, hardware design languages verification, and tooling for proof assistants. Recent publications span topics like JavaScript regular expression verification ( ICFP 2024 ), relational compilation ( PLDI 2024 ), and foundational integration verification for cryptographic servers ( PLDI 2024 ). Scientific Awards: Distinguished Artifact, ACM SIGPLAN International Conference on Software Language Engineering (2020) William A. Martin Memorial Thesis Award for Outstanding Thesis in Computer Science, MIT (2016) Frederick C. Hennie III Teaching Award, MIT (2016) As an educator, he teaches Software Construction (undergraduate) and Interactive Theorem Proving (graduate) at EPFL. His teaching philosophy emphasizes hands-on learning, oral examinations, and project-based assignments that lead to tangible artifacts. The SYSTEMF lab focuses on building small, fast, and completely verified systems components through machine-checked proofs, hardware-software co-design, low-level compiler engineering, and theorem prover tooling.

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

Magnus O. Myreenمشاهده پروفایل

استاد

• Formal verification
• Interactive theorem provers
• Compilers
• +۶ مورد دیگر

Magnus O. Myreen is a Professor at Chalmers University of Technology in the Department of Computer Science and Engineering. His research focuses on formal verification , interactive theorem provers, compilers, machine code, and functional programming. He leads the CakeML project, aiming to create verified compilers and runtime systems. Education: B.A. in Computer Science from University of Oxford, Ph.D. in Program Verification from University of Cambridge. Current Roles: Professor at Chalmers, part-time researcher at Arm Ltd., and steering committee chair for ITP conference. His research integrates decompilation into logic , proof-producing synthesis , and verified stacks that connect software and hardware verification. Recent work includes verified compilers for Scheme and Dafny via CakeML, and end-to-end verification of subgraph-solving algorithms. Key publications highlight verified compiler ecosystems , including bootstrapping CakeML, cross-architecture compilation, and hardware verification. Trends in his work emphasize automated reasoning , compiler optimization , and verified computation for AI/ML . Scientific Awards: BCS Distinguished Dissertation Competition 2010 ACM SIGPLAN Most Influential POPL Paper Award 2024 Amazon Research Award for Compiling Dafny to CakeML (2023) Myreen has supervised PhD students Alejandro Gomez , Oskar Abrahamsson , and Andreas Loow . Funding includes grants from the Swedish Research Council and a Royal Society University Research Fellowship . He also contributes to projects like Milawa and HOL Light verification.

Pedro Diezمشاهده پروفایل

استاد

• Reduced Order Models
• Error Estimation and Adaptivity
• Extended Finite Element Methods (X-FEM)
• +۴ مورد دیگر

Professor Pedro Diez is a faculty member at the Universitat Politècnica de Catalunya (UPC), specializing in computational mechanics and reduced-order modeling. He holds a BSc and PhD in Civil Engineering from UPC (1989 and 1996, respectively). His research focuses on error estimation, extended finite element methods (X-FEM), and applications in automotive and geophysical systems. He co-organizes the International Conference in Adaptive Modeling and Simulation since 2003, with the next edition in 2023. Key research areas include: Reduced Order Models (POD/PGD) Goal-oriented adaptivity in numerical simulations Geophysical inversion and thermal modeling Automotive structural dynamics and NVH analysis Sustainable materials for civil engineering His work bridges computational methods with real-world applications, such as earth dam monitoring, hydraulic fracturing modeling, and biomechanical simulations. Recent publications emphasize real-time risk analysis, parametric solutions for nonlinear systems, and inverse problem techniques in geophysics. His contributions to numerical methods have advanced high-fidelity, low-cost simulations across engineering disciplines. Publications span over 30 years, with a focus on: Efficient parametric solutions for transient coupled systems Nonintrusive reduced basis methods Thermo-hydro-mechanical modeling of geological media Advances in error estimation and model order reduction underpin much of his work, enabling applications in structural health monitoring, crashworthiness analysis, and geophysical exploration.

• Nuclear Physics
• Nuclear Engineering
• Fusion Energy
• +۳ مورد دیگر

Albert Riego Pérez is a Professor at the Polytechnic University of Catalonia (UPC), affiliated with the Advanced Nuclear Technologies Research Group (ANT) within the Department of Physics and Nuclear Engineering . His research focuses on nuclear physics, fusion energy, and reactor safety, particularly in neutron capture cross-section measurements and safety code development for fusion reactors like DEMO. He has led multiple projects funded by Euratom and the Spanish government, contributing to the CERN n_TOF facility and fusion-related safety analyses. Key research interests include radiation safety , stellar nucleosynthesis , and neutron physics . His work bridges experimental nuclear physics (e.g., neutron cross-section measurements) with applied engineering (e.g., fusion reactor design and safety modeling). Notable contributions include the AINA safety code for DEMO and studies on β-delayed neutron emission in heavy isotopes. Dr. Riego collaborates with institutions like CERN and RIKEN, emphasizing interdisciplinary projects in nuclear instrumentation and radiation detection. He advises students like Eduard Baeza (PhD, 2019). His lab, ANT Group, focuses on advanced nuclear technologies, including fusion energy, radiation shielding, and reactor design.

Javier Arroyo Gallardoمشاهده پروفایل

دانشیار

• Machine Learning
• Blockchain Technology
• Cryptocurrency Analysis
• +۵ مورد دیگر

Javier Arroyo Gallardo is an Associate Professor at the Department of Computer Science (Ciencias de la Computación) at Universidad de Alcalá (UAH), Spain. His research focuses on machine learning applications in finance, blockchain technologies, cryptocurrency analysis, and decentralized autonomous organizations (DAOs). He holds a PhD from Universidad Pontificia Comillas with a thesis on time series prediction methods. Research Interests: His work spans predictive modeling for interval/histogram time series, credit risk assessment using machine learning, blockchain governance structures, cryptocurrency market dynamics, and open collaboration platforms. Notable contributions include developing automated correction systems for programming practices (UnitJudge) and analyzing DAO ecosystems' power dynamics. Recent Trends in Publications: Recent work emphasizes interdisciplinary applications combining AI with financial systems, including P2P lending risk modeling, cryptocurrency portfolio optimization, and blockchain-based governance mechanisms. Over 50% of his 2020+ publications focus on blockchain-related topics. Awards & Recognition: No specific awards mentioned, though his work has been presented at high-profile events like the International Symposium on Open Collaboration. Grants & Advising: Advised multiple research projects on DAOs, crypto markets, and agent-based modeling. Active in collaborative frameworks with industry partners in financial technology and blockchain ecosystems. Labs & Teams: Associated with CSRG-UAH and the Cognitive Science Research Group, focusing on computational methods applied to complex systems analysis.

Luis Usero Aragonésمشاهده پروفایل

استاد

• Computational Intelligence
• Wildfire Prevention
• Computer Vision
• +۵ مورد دیگر

Luis Usero Aragonés is a Professor at the Department of Computer Science at Universidad de Alcalá (UAH). He is affiliated with research groups including CSRG-UAH (Cognitive Science Research Group) and previously HCIS (Health computing and Intelligent Systems). His research focuses on computational intelligence applied to wildfire prevention, computer vision technologies, and educational software development. He holds a PhD from UAH on computational intelligence techniques for monitoring forest fuel moisture using satellite imagery. His academic background includes work in neural networks, machine learning, and cloud governance frameworks for higher education institutions. Notable contributions include development of the LearningRlab educational R package, drone detection algorithms using thermal imaging, and outlier detection models for wind tunnel sensor data. Publications span topics such as semi-supervised video segmentation, R package comparisons for text mining, and trust models in e-commerce systems. His research integrates contextual information analysis for applications in health informatics, aviation systems, and library user guidance.

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

• Fuzzy Logic Programming
• Fuzzy Deductive Databases
• Automatic Program Transformation
• +۴ مورد دیگر

Pascual Julián-Iranzo is an Associate Professor in the Information Technologies and Systems Department at the Higher School of Computer Science, University of Castilla-La Mancha (UCLM), where he has served since April 2003. He is a founding member and current co-director of the DEC-tau research group focused on Declarative Programming and Automatic Program Transformation. His academic career includes over 27 years of university teaching experience across various positions, with significant contributions to curriculum development including the Degree Curriculum in Computer Engineering (2008/09 and 2009/10). Education Background: Doctor in Computer Science (1994-2000) from Universitat Politècnica de València, Department of Computer Systems and Computation His research centers on declarative programming languages with emphasis on fuzzy logic programming, functional-logic paradigm integration, and automatic program transformation. He pioneered work in proximity-based reasoning systems like Bousi-Prolog and FASILL, developing novel approaches for similarity-based unification, thresholded tabulation, and fuzzy deductive databases. His publications demonstrate consistent innovation in fuzzy logic semantics, particularly in handling truth degrees and semantic similarity measures for knowledge representation. Analysis of his 15 most recent publications reveals a strong trajectory in formalizing fuzzy logic programming frameworks, with increasing focus on practical implementations (2018-2023) after establishing theoretical foundations (2015-2017). Key thematic clusters include proximity-based unification algorithms (2018-2021), semantic frameworks for truth degree management (2016-2017), and real-world applications in natural language processing (2021) and security systems (2017). Research Recognition: Positive evaluation by CENAI for three consecutive research periods: [1997-2002], [2003-2008], and [2009-2014] Consistent publication record with 24 scientific journal articles (16 JCR-indexed) As an academic leader, Julián-Iranzo has supervised 2 doctoral theses and chaired the PROLE 2021 Conference Program Committee. His grant portfolio includes significant European funding, notably the MERINET project (2016-2019) supported by ERDF and MINECO. He has served on 12 conference program committees and reviewed for top journals including Journal of Theory and Practice of Logic Programming. His DEC-tau research group maintains active international collaborations, evidenced by coordination of the UCLM node in the ALFA Lernet Project (2005-2009) and partnership with Argentina's National University of San Luis (2009-2013).

• Computer Languages and Systems
• Programming Languages
• Compiler Design
• +۱ مورد دیگر

Lander Abasolo Perez serves as an Associate Professor in the Department of Computer Engineering within the School of Engineering at the University of the Basque Country. His current research activities are formally recognized through an active research period spanning 2021-2025, indicating ongoing institutional support for his academic work. His research specialization centers on Computer Languages and Systems , encompassing critical areas such as programming language theory, compiler optimization techniques, and system-level software development. This field addresses fundamental challenges in computational efficiency, software reliability, and secure system architectures, with potential applications in both academic and industrial computing environments. As a researcher during the 2021-2025 period, Dr. Abasolo Perez likely engages in grant-funded projects typical of engineering faculty positions, though specific funding sources aren't detailed in available materials. His role as Associate Professor implies responsibilities including graduate student supervision, curriculum development in computer engineering, and contributions to departmental research initiatives within the School of Engineering's academic framework.

• Computer Languages and Systems
• Programming Languages
• Computer Systems
• +۳ مورد دیگر

Miguel Blanco Lopez serves as an Associate Professor in the Department of Computer Engineering at the Higher Polytechnic School. He concurrently holds a Researcher position for the period 2021-2025 within the same department. His primary research domain is Computer Languages and Systems , encompassing specialized investigations into programming language theory, system architecture, compiler optimization, and formal language applications. This focus aligns with the department's technical scope in computer engineering. Dr. Blanco Lopez maintains active research engagement through his designated 2021-2025 research period, contributing to both academic instruction and scholarly inquiry within the institution's engineering framework.

Gadea Lucas Perezمشاهده پروفایل

پژوهشگر

• Computer Science
• Programming Languages
• Systems
• +۳ مورد دیگر

Gadea Lucas Perez serves as a Researcher in the Department of Computer Engineering at the School of Engineering, Universidad de Burgos. Her academic profile centers on the specialized field of Computer Languages and Systems, where she contributes to both teaching and research initiatives within Spain's higher education framework. Her research focuses on foundational aspects of computing with particular emphasis on: Programming language theory and implementation System software development Formal language structures Compiler optimization techniques As an active academic at Universidad de Burgos, she maintains professional engagement through departmental activities and can be contacted via institutional email for research collaboration or academic inquiries.

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

استاد پژوهشی

• Formal Methods
• Programming Languages
• Cryptography
• +۳ مورد دیگر

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.

José Francisco Moralesمشاهده پروفایل

پژوهشگر

• Constraint logic programming
• Assertion languages
• Abstract interpretation
• +۵ مورد دیگر

Jose Francisco Morales is a Researcher at IMDEA Software Institute, a position he has held since November 2010 after completing his PhD at the Technical University of Madrid (UPM). Prior to this, he served as a teaching assistant at Universidad Complutense de Madrid starting in 2005. His academic background includes: PhD in Computer Science from the Technical University of Madrid (UPM), Spain His research focuses on efficient logic program execution through abstract interpretation for property inference, highly-optimizing native code translation , and abstract machine specification . Key areas include constraint logic programming, assertion languages, program analysis, compiler optimizations, and multiparadigm language implementation, with emphasis on developing formal abstractions for automated system construction. No scientific awards, student advisees, grants, or laboratory affiliations were documented in the source material.