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

• Programming Language Theory
• Dependent and Refinement Types
• Computational Effects
• +۶ مورد دیگر

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

Katherine Villaمشاهده پروفایل

پژوهشگر

• Photocatalysis
• Nanomaterials
• Renewable Energy
• +۷ مورد دیگر

Katherine Villa is a Group Leader at the Institute of Chemical Research of Catalonia (ICIQ), where she leads cutting-edge research in light-driven systems for energy, health, and environmental applications. Her work bridges chemistry, materials science, and nanotechnology, focusing on nanostructured photocatalysts and self-propelled micro/nanorobots. PhD in Chemistry from Autonomous University of Barcelona Former senior scientist at Center for Advanced Functional Nanorobots, Prague Current research group leader at ICIQ, Tarragona, Spain Her research interests center on photocatalysis, nanomaterials, renewable energy, and environmental remediation . She designs nanostructured materials for solar fuel generation and develops photoactive micromotors for water purification and biomedical applications. Her work aligns with EU Sustainable Development Goals, particularly in clean energy and environmental protection. The recent publications highlight a strong trend in functional micro/nanorobots , gas-phase CO2 conversion , and advanced photocatalytic systems . These works span from fundamental charge transport studies to real-world applications in pollution removal and green hydrogen production. Scientific awards and honors include: ERC Starting Grant (2022) BBVA Leonardo Grant in Basic Sciences (2023) RSEQ Young Investigator Award – Group Leader (2023) Member, Young Academy of Spain (2023) BIST Mother of Science Award (2021) Member, Early Career Editorial Board, Applied Catalysis B She actively mentors a diverse team of PhD and master's students , and her group receives substantial funding from the European Research Council (ERC) , Horizon Europe , Marie Skłodowska-Curie Actions , and Spanish national programs such as Juan de la Cierva and FPI . She is also involved in outreach, training workshops for grant applications, and public science communication. Her research group operates within a collaborative ecosystem at ICIQ, leveraging advanced scientific core facilities for material characterization, synthesis, and analysis. Projects like PhotoSwim , TherMotors , and PhotoClean reflect the interdisciplinary and innovative nature of her lab.

Abolfazl Simorghمشاهده پروفایل

پژوهشگر

• Aircraft Trajectory Optimization
• Climate Change Mitigation in Aviation
• Robust Control
• +۳ مورد دیگر

Abolfazl Simorgh is a researcher at Charles III University of Madrid's Department of Aerospace Engineering, specializing in climate-optimized aviation systems. His work bridges mathematical control theory with practical climate impact mitigation, focusing on robust trajectory optimization under environmental and operational uncertainties. He leads development of open-source tools for sustainable flight planning while contributing to major European aviation initiatives. Education: B.Sc. in Control Engineering (2017) M.Sc. in Control Engineering (2020) Ph.D. in Aerospace Engineering from Charles III University of Madrid Dr. Simorgh's research centers on developing mathematical frameworks that reconcile aircraft trajectory optimization with climate impact reduction. His expertise spans robust control systems, optimization under uncertainty, and climate modeling integration, with particular emphasis on non-CO₂ emissions. His methodology addresses both CO₂ and non-CO₂ climate forcing mechanisms through computationally efficient algorithms that account for weather variability and climate metric uncertainties. This work directly supports aviation's decarbonization by providing operational strategies that reduce environmental footprint without prohibitive cost increases. Analysis of his 15 most recent publications reveals a cohesive research trajectory focused on operationalizing climate-optimal flight planning. His work consistently integrates climate science with aerospace engineering through robust optimization frameworks, demonstrating particular innovation in handling multiple uncertainty sources (weather, climate models, emissions). The publications cluster around three interconnected themes: 1) Development of open-source computational tools (ROOST, CLIMaCCF), 2) Network-scale implementation of climate-aware air traffic management, and 3) Risk analysis of climate mitigation strategies. This body of work establishes new methodological standards for quantifying and minimizing aviation's total climate impact. Scientific Awards: Luis Azcárraga Aeronautical Innovation Award for collaborative research impact Best Paper Award (2022) from a high-impact aerospace journal Dr. Simorgh secures significant research funding through European Commission projects including FlyATM4E (climate-optimized flight planning), ALARM (aviation emissions reduction), and RefMAP (sustainable aviation pathways). His grant portfolio emphasizes practical implementation of climate mitigation strategies, with strong industry-academia collaboration. He mentors junior researchers through project teams and has developed three major open-source Python libraries (CLIMaCCF, ROOST, ROC) that have become community standards for climate impact assessment in aviation research. His current work focuses on scaling climate-optimized trajectories to continental airspace while addressing operational constraints and economic viability. He leads a research group focused on climate-aware air traffic management, developing the ROOST simulation framework for GPU-accelerated trajectory optimization and the CLIMaCCF library for standardized climate metric calculations. His team collaborates with European air navigation service providers and aircraft manufacturers to transition research into operational practice, with current projects emphasizing real-time implementation and regulatory compliance frameworks.

• Mathematics
• Dynamical Systems
• Algebraic Combinatorics
• +۳ مورد دیگر

Joan Claramunt Caros is an Assistant Professor in the Department of Mathematics at Carlos III University of Madrid. His research focuses on advanced topics in mathematics and theoretical physics, including dynamical systems, algebraic combinatorics, and spin-orbit coupled gases. He maintains an active publication record with contributions to journals such as Discrete and Continuous Dynamical Systems and Physical Review A . His work bridges pure mathematics and applied physics, addressing complex structures like separated graphs, L2-Betti numbers, and infinite matrix products. Collaborations include co-researcher networks and co-authorships in interdisciplinary projects. No specific grants or awards are listed in the provided information. His academic profile highlights contributions to both algebraic topology and quantum many-body systems, reflecting a dual focus on foundational theory and applied mathematical physics.

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

• Nuclear Engineering
• Plasma Physics
• Thermal Hydraulics
• +۳ مورد دیگر

Dr. Lluis Batet Miracle is a Professor at the Universitat Politècnica de Catalunya (UPC) with the Department of Physics . He leads the Advanced Nuclear Technologies Research Group (ANT) and has contributed extensively to nuclear fusion technology, thermal hydraulics, and liquid metal systems. His work spans reactor safety analysis, tritium processing, and magnetohydrodynamic modeling. Expertise : Nuclear Engineering, Plasma Physics, Computational Fluid Dynamics, Fusion Reactor Design, Tritium Management Notable Projects : CONSOLIDER TECNO-FUS (2009-2013), EURATOM collaborations, HCLL Breeding Blanket Systems for ITER Research Trends : Recent publications focus on helium solubility in liquid metals, bubble dynamics in fusion blankets, and MHD simulations under nuclear conditions. His work combines atomistic modeling, high-fidelity CFD, and experimental validation for tritium and hydrogen systems in fusion reactors. Collaborations : Regularly works with Luis Sedano, Eduardo Ríos, Jordi Martí, Francesc Reventos, and Elisabet Mas de les Valls Grants : Involved in Horizon Europe, EURATOM, and Spanish National Research programs

Alexandre Santos Franciscoمشاهده پروفایل

استاد

• porous media
• computational mathematics
• computational fluid mechanics
• +۳ مورد دیگر

Alexandre Santos Francisco is Professor of Fluid Mechanics at Fluminense Federal University (Universidade Federal Fluminense) in Brazil, holding a PhD in Nuclear Engineering. He will soon serve as Visiting Professor at the ERC Advanced Grant project DyCon under Prof. Enrique Zuazua (FAU, University of Deusto, and Universidad Autónoma de Madrid), focusing on computational mathematics and porous media research. His academic credentials include: PhD in Nuclear Engineering (1994–2000), Federal University of Rio de Janeiro Master's Degree in Nuclear Engineering (1990–1993), Federal University of Rio de Janeiro Bachelor's Degree in Mechanical Engineering (1984–1990), Federal University of Rio de Janeiro Internship at Petrobras (1988) Francisco's research centers on porous media, computational mathematics, and computational fluid mechanics, with emphasis on numerical methods for heterogeneous media flows. His work bridges nuclear engineering safety, environmental contaminant transport, and industrial process optimization through advanced simulation techniques. Analysis of his 15 most recent publications reveals dominant trends in multiscale modeling for porous media, parallel computing implementations, and reliability assessment in nuclear systems. Key application areas include waste disposal simulation, steam generator integrity, and multiphase industrial processes, consistently integrating mathematical rigor with engineering challenges. No scientific awards are documented in the provided materials. While student advisement details are absent, his upcoming ERC Advanced Grant project DyCon involvement signifies active grant-funded research. The project will expand his work on mathematical control theory for complex systems under Prof. Zuazua's supervision. He collaborates internationally through the ERC DyCon project, leveraging expertise in numerical methods to address multiscale dynamics in porous media, with future work likely advancing computational techniques for energy and environmental applications.

Germà Garcia-Belmonteمشاهده پروفایل

استاد

• Organic Electronics
• Photovoltaics
• Perovskite Solar Cells
• +۳ مورد دیگر

Germà Garcia-Belmonte, Full Professor of Applied Physics at the Universitat Jaume I's Institute of Advanced Materials (INAM), specializes in device physics and electrochemistry of perovskite materials. His research focuses on ion migration, charge transport mechanisms, and impedance spectroscopy in metal halide perovskite solar cells and X-ray detectors. Key research areas: Organic Electronics, Photovoltaics, Electrochemical Kinetics Awards: 2018 Highly Cited Researcher (Clarivate), Top 2% Scientist (2019-2024, Stanford) Recent work examines ionic space-charge zones, dynamic doping effects, and long-term stability mechanisms in perovskites. His group applies numerical simulations and operando electrochemical characterization to advance solar cell and radiation detection technologies. Notable techniques: Intensity Modulated Photocurrent Spectroscopy (IMPS), Light Modulated Impedance Spectroscopy (LIMIS) Applications: High-resolution X-ray imaging, Lithium battery electrodes

• Urban and industrial wastewater treatment
• Nutrient removal and recovery
• Autotrophic nitrogen removal
• +۴ مورد دیگر

Dr Jesús Colprim Galceran is a full University Professor (Catedràtic d’Universitat) of Chemical Engineering at the University of Girona (UdG). He is affiliated with the Department of Chemical, Agricultural and Agri-Food Technology Engineering and leads the LEQUIA research group within the Institute of the Environment . Since completing his PhD in 1998 he has accumulated more than 30 years of research experience. Education PhD, Chemical Engineering – University of Girona (1992–1998) Research interests His work focuses on the treatment of urban and industrial wastewaters, with particular emphasis on nutrient management. Core topics include autotrophic nitrogen removal technologies (partial nitritation–anammox), bio-electrochemical denitrification processes, CO 2 conversion to methane for biogas upgrading, and the recovery of phosphorus and potassium from waste streams. Additional lines of research cover: Process control and optimisation in biological reactors Microbial ecology of nitrogen-cycling communities Life-cycle and techno-economic assessment of novel treatment schemes Scale-up of laboratory findings to pilot and full-scale installations Scientific awards 4 six-year research quality periods (latest 2020) 6 six-year teaching quality periods (latest 2022) 1 six-year knowledge-transfer period (2002) Grants, projects and advising He has served as principal investigator of more than 31 competitive research and knowledge-transfer projects, four of them international. His group has attracted over 65 industry contracts and has been awarded 8 patents. Under his supervision 19 doctoral theses have been defended. Laboratory, teams and affiliation He directs the LEQUIA group ( Laboratori d’Enginyeria Química i Ambiental ) which is housed within the Institute of the Environment at the University of Girona. LEQUIA maintains cutting-edge experimental facilities for biological nutrient removal, bio-electrochemical systems, and pilot-scale reactor testing.

Derek Dreyerمشاهده پروفایل

استاد

• Programming Languages
• Type Theory
• Separation Logic
• +۶ مورد دیگر

Derek Dreyer is the Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) and an Adjunct Professor in the Saarland Informatics Campus of Saarland University . His research focuses on programming languages , type theory , and formal verification of software systems. Education : PhD in Computer Science from Carnegie Mellon University (2005), advised by Bob Harper and Karl Crary. Key Contributions : Pioneering work in separation logic , ownership types , and memory safety for languages like Rust and C. Awards & Grants : Recipient of significant grants for research on logical foundations of safe systems programming . Leadership : Program Chair for POPL and PLDI, Organizer of RTFM (Red-Hot Topics in Faculty Mentoring), and active role in mentoring students through PLMW. Labs & Teams : Leads a dynamic research group at MPI-SWS , driving collaborative projects in programming languages and systems verification.

Carmen José Alejos Grauمشاهده پروفایل

دانشیار

• Church History
• Biblical Studies
• History of Christianity in Latin America
• +۵ مورد دیگر

Carmen José Alejos Grau serves as Associate Professor in the Department of Biblical Studies and Church History at the Faculty of Theology, University of Navarra, where she has maintained continuous academic engagement since completing dual doctorates. Her institutional affiliation reflects deep integration within Navarra's theological research ecosystem. Her educational foundation includes two University of Navarra doctorates: 1990: The "Brief Christian Rule" (1547). First New Spanish ascetic manual, sources and sacramental theology 1993: Pedro de Gante and Diego Valadés the pedagogical methods in the school of San José de los Naturales (1526-1572) , supervised by Dr. Javier Vergara Ciordia Her scholarship centers on ecclesiastical history in colonial and modern Latin America , with acute focus on Mexican Church-state dynamics , missionary-indigenous relations , and Vatican diplomatic interventions . Through meticulous archival work, she examines how religious institutions navigated political ruptures from independence movements to the Cristero War, revealing persistent tensions between ultramontane authority and national sovereignty. Her analysis of sacramental theology in New Spain demonstrates how catechetical methods shaped cultural syncretism. Analysis of her 50+ publications (1990-2024) shows sustained investigation into three interconnected domains: (1) ecclesiastical diplomacy during political transitions (e.g., Propaganda Fide investigations of indigenous slavery 1918-1922), (2) constitutional conflicts (Mexican Reform Laws 1848-1874, 1917 Constitution), and (3) historical identity formation (500-year Mexico City evolution, Hispanic world fragmentation). Recent works increasingly employ transnational frameworks comparing Vatican interventions across Latin American nations. Her academic service includes extensive book reviewing of major works on Hispanic-Catholic institutions and Latin American religious history, though specific grant funding or doctoral supervision details remain undisclosed in public sources. Current research appears focused on 20th-century Church-state conflicts during Mexico's revolutionary period.

• Financial Economics
• Accounting
• Corporate Finance
• +۳ مورد دیگر

Gregorio Labatut Serer is a Professor in the Department of Accountancy at Universitat de València. His research focuses on Financial Economics, Accounting, and Taxation, with particular emphasis on corporate financial compliance, audit reporting, and small business financial risk analysis. His recent publications include empirical studies on gender diversity in financial performance, tax compliance challenges, and the impact of regulatory reforms like PGC and NIA-ES standards on corporate financial reporting. Articles also explore practical case studies in cryptocurrency accounting, goodwill amortization, and cross-border M&A taxation. Corporate Failure Analysis Annual Financial Closing Procedures Intangible Asset Valuation IFRS and Spanish GAAP Adaptation

Javier Garcia-Heras Carreteroمشاهده پروفایل

دانشیار

• Air Traffic Management
• Flight Planning under Uncertainty
• Convective Weather Prediction
• +۱۲ مورد دیگر

Javier Garcia-Heras Carretero is an Associate Professor in the Department of Aerospace Engineering at Universidad Carlos III de Madrid (UC3M), where he conducts research and teaches in air traffic management, flight planning, and AI applications in aviation. He is a member of the Aerospace Engineering Research Group. Research Interests: His work focuses on enhancing air traffic flow management through machine learning and optimization, particularly in mitigating weather-related disruptions. Key areas include robust 4D flight planning under uncertainty, convective weather prediction, continuous climb operations, and environmental impact reduction in aviation. He integrates AI models such as LSTM and CNNs to forecast thunderstorms and optimize traffic flow. Recent Publication Trends: His most recent articles (2023–2024) emphasize deep learning for pre-tactical convection prediction, fast stochastic flight path simulation under uncertainty, and AI-driven hotspot detection in air traffic due to weather. These works reflect a strong trend toward data-driven, real-time decision support systems in ATM using neural networks and parallel computing. Scientific Awards: No specific awards are mentioned in the provided text. Advising and Grants: He supervises BSc and MSc theses, including one on data science techniques for weather mitigation in ATFM. He has led multiple research projects as Principal Investigator, including Collaborative Learning for Intelligent Meteorological Aviation (2024–2027) and Donut proyect (2019–2022). He has participated in numerous EU-funded projects such as KAIROS, REFMAP, ECONTRAIL, and ISOBAR, as well as industry collaborations with Airbus, Boeing, and SENASA. Labs and Teams: He is part of the Aerospace Engineering Research Group at UC3M, focusing on ATM systems, trajectory optimization, and digital aviation technologies. His team collaborates internationally on projects involving AI, weather forecasting, and sustainable aviation.

• Operations Research
• Mathematical Programming
• Combinatorial Optimization
• +۶ مورد دیگر

Enrique Benavent López is an Associate Professor at the Universitat de València, affiliated with the Department of Statistics and Operations Research. His academic career has been dedicated to operations research, particularly in the area of arc routing and combinatorial optimization. Research Interests: Operations Research and Mathematical Programming Capacitated Arc Routing Problem (CARP) Rural Postman Problem (RPP) and its variants Vehicle Routing with Turn Penalties Integer Programming and Polyhedral Combinatorics Heuristic and Metaheuristic Algorithms His research spans theoretical algorithm development and practical applications in logistics and transportation. He has made significant contributions to the formulation and solution of hard optimization problems on networks, particularly through cutting-plane methods and branch-and-cut algorithms. Publication Trends: His work over the past four decades shows a consistent focus on arc routing problems. Early work addressed the quadratic assignment problem and basic postman problems, while later research concentrated on capacitated, windy, and mixed variants with additional constraints. The publications demonstrate a shift from exact methods to hybrid heuristics, reflecting broader trends in the field. His most cited works involve lower bounds, cutting planes, and branch-and-cut for CARP. Scientific Contributions: Developed foundational lower bounds for the Capacitated Arc Routing Problem Introduced exact algorithms based on cutting planes and branch-and-cut Contributed to the polyhedral analysis of arc routing problems Advanced heuristic methods for windy and mixed networks Pioneered work on turn penalties in directed rural postman problems Collaborations and Advising: He has collaborated extensively with leading researchers such as Ángel Corberán, José María Sanchis, and José-Manuel Belenguer. While specific students are not listed, his long-standing research activity suggests he has supervised PhD and Master's students in operations research. He has contributed to major reference works in arc routing and is frequently cited in the literature. Laboratories and Research Groups: He is part of a strong research group in combinatorial optimization at the Universitat de València, focusing on routing and scheduling problems. This group has produced influential work in both theoretical and applied aspects of operations research.

Miguel García Torresمشاهده پروفایل

استاد

• Feature Selection
• Data Mining
• Machine Learning
• +۹ مورد دیگر

Dr. Miguel García Torres is a full professor at the Universidad Pablo de Olavide in the Department of Sports and Informatics . With a PhD in Computer Science from Universidad de La Laguna (2007), his research focuses on advanced data science methodologies including feature selection, multivariate correlation analysis, and evolutionary computation applications. Key research areas: Feature Selection , Data Mining , Machine Learning Active in interdisciplinary applications: Health Informatics , Energy Analytics , Medical Imaging Recent publications demonstrate expertise in: 2023 : Inter-attribute cooperation in high-dimensional data 2022 : Energy consumption pattern analysis in Paraguay 2021 : Parallel evolutionary biclustering, dengue classification through CatPCA-MSU Techniques developed include: Multivariate Symmetrical Uncertainty (MSU) framework Neuroevolutionary optimization for medical imaging Trust-based deep learning evaluation methodology