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

Luis Javier Miguel Gonzálezمشاهده پروفایل

استاد

• Energy Systems
• Renewable Energy
• Sustainability
• +۳ مورد دیگر

Luis Javier Miguel González is a Professor in the Department of Systems Engineering and Automation at the University of Valladolid since 1997. He has transitioned from early work on automatic fault diagnosis and predictive maintenance to leading research on energy systems dynamics since 2004. He directs the Energy, Economics, and Systems Dynamics research group and has supervised five doctoral theses. His roles include managing the Department of International Development Cooperation, promoting initiatives like the Interuniversity Master's in International Development Cooperation and the University of Valladolid's Development Cooperation Observatory. Research focuses on energy transition pathways, integrating biophysical and socioeconomic constraints through models like MEDEAS. His work addresses systemic challenges such as the land-energy-food nexus, renewable energy variability, fossil fuel depletion, and decarbonization strategies. He has led projects under EU H2020 and national programs, emphasizing interdisciplinary approaches to sustainability. Publications span energy policy analysis, IAM development, and participatory education tools for sustainability. Notable contributions include the WILIAM System Dynamics model and pymedeas open-source software. His research bridges technical modeling with policy implications, addressing global challenges like SDG acceleration and climate mitigation.

Yann Pontyمشاهده پروفایل

پژوهشگر

• RNA Folding
• RNA Design
• RNA Evolution
• +۹ مورد دیگر

Yann Ponty is a tenured CNRS Researcher at the Computer Science Department (LIX) of École Polytechnique (Institut Polytechnique de Paris, France). He leads the AMIBio team and serves as Deputy Director of LIX. His work focuses on developing bioinformatics methods at the intersection of computer science, mathematics, and molecular biology, particularly for RNA structure prediction, design, and evolution. He holds leadership roles in the ISCB Board of Directors (2025-2027) and the HDR referent for the IDIA department (CS&Interactions) at IP Paris. Research Interests: RNA folding/design/evolution, RNA-RNA/RNA-protein interactions, random generation, enumerative combinatorics, discrete algorithms, parameterized complexity, RNA visualization Key Contributions: Developed algorithms for RNA inverse folding, pseudoknot modeling, and dynamic programming optimization Collaborations: Partnerships with institutions like Simon Fraser University, Boston College, and Université Paris-Saclay His recent publications (15 most recent) span RNA structure prediction, pseudoknot partition functions, linear-time inverse folding algorithms, and parameterized sampling techniques. The work emphasizes dynamic programming, combinatorial approaches, and integration of experimental data for improving RNA modeling. Scientific awards include election to the ISCB Board of Directors (2025-2027) and leadership roles in academic networks like GdR BIM. He actively contributes to software development (VARNA, RNANR, SPARCS, IncaRNAtion, RNARedPrint) and serves as Associate Editor for Bioinformatics (OUP). Teaching engagements include graduate-level courses in combinatorial optimization, RNA bioinformatics, and algorithms at Université Paris-Saclay and École Polytechnique.

Massimo Mottaمشاهده پروفایل

استاد پژوهشی

• Industrial Organization
• Competition Policy
• Antitrust Economics
• +۳ مورد دیگر

Massimo Motta is an ICREA Research Professor at Universitat Pompeu Fabra (UPF) and the Barcelona School of Economics (BSE). He holds a PhD from the London School of Economics and Université Catholique de Louvain. His primary research areas are industrial organization and competition policy, with a focus on antitrust economics, digital markets, and regulatory frameworks. He founded the BSE's Competition and Market Regulation Program and served as Chief Competition Economist of the European Commission from 2013 to 2016. His work includes influential books such as Competition Policy: Theory and Practice (2004) and Exclusionary Practices: The Economics of Monopolisation and Abuse of Dominance (2018). Recent research explores issues like merger control, digital market regulation, and resilience strategies in critical sectors. His articles often analyze exclusionary practices, geopolitical risks in markets, and the design of effective competition policies. Motta advises global regulatory agencies and teaches competition policy at academic and executive levels. He has mentored students who now hold key roles in academia and regulatory bodies. His interdisciplinary approach bridges economic theory with practical policy, contributing to both academic discourse and real-world regulatory decisions.

• Artificial Intelligence
• Machine Learning
• Distributed Learning
• +۷ مورد دیگر

Berta María Guijarro Berdiñas is a Researcher in the Department of Computer Science and Artificial Intelligence at the University of A Coruña , Spain. She is affiliated with the Laboratory for Research and Development in Artificial Intelligence and teaches courses like Machine Learning , Development of Intelligent Systems , and Programming at both undergraduate and postgraduate levels. Research Focus: Her work lies at the intersection of Artificial Intelligence , Machine Learning , and Knowledge-Based Systems . Key contributions include frugal learning (limited data), anomaly explanation , and distributed learning for edge devices. She applies these to areas like health informatics , forest fire management , and human-robot interaction . Recent Publications span explainable AI , anomaly detection , multi-agent systems , and low-power machine learning . Her articles appear in top venues like Expert Systems with Applications and IEEE Transactions on Neural Networks and Learning Systems . Grants & Projects include EU-funded initiatives, Spanish Ministry of Science grants, and regional collaborations. She focuses on AI for healthcare , smart systems , and distributed learning .

Sylvie Putotمشاهده پروفایل

استاد

• Formal Methods
• Static Analysis
• Cyber-Physical Systems
• +۷ مورد دیگر

Sylvie Putot is a Professor of Computer Science at École Polytechnique, where she focuses on formal verification of numerical programs and cyber-physical systems. She leads the Cosynus team at LIX laboratory and organizes the LIX Seminar series. Current affiliation: École Polytechnique (Computer Science Department) Prior affiliation: CEA LIST (developer of FLUCTUAT static analyzer) Her research spans formal methods for cyber-physical systems , emphasizing reachability analysis , invariant synthesis , and probabilistic verification . She combines abstract interpretation with zonotopic domains and constraint programming to address numerical stability and safety in AI-driven control systems. Recent publications highlight work on Safe AI through Formal methods (SAIF project) , including probabilistic guarantees for neural networks and applications in mobile robotics. Her team’s best paper award at EMSOFT 2015 recognized scalable quadratic invariant computation for embedded systems. Scientific awards: Best paper award, ACM SIGBED International Conference on Embedded Software (EMSOFT 2015) She has supervised numerous PhD students in topics like mobile robotics , neural network verification , and numerical error analysis . Active in ANR projects (COVERIF, MALTHY, DEFIS) and currently leads the PEPR IA initiative on AI validation.

María Jesús Beltrán Muñozمشاهده پروفایل

دانشیار

• Political Ecology
• Water Economics
• Virtual Water Analysis
• +۳ مورد دیگر

María Jesús Beltrán Muñoz is an Associate Professor in the Department of Economics, Quantitative Methods and Economic History at Pablo de Olavide University in Seville, Spain. She holds a European PhD in Ecological Economics and Environmental Management from the same institution and an MSc in Ecological Economics from the Autonomous University of Barcelona. Her academic career includes significant research positions including as a Research Engineer for the French National Center for Scientific Research on the TERRE-EAU Project and as a Marie Curie Post-Doctoral Research Fellow for the European Network of Political Ecology (ENTITLE Project). She has also served as a visiting researcher at the Centre for Water and Development, SOAS University of London. Her research focuses on the political ecology of water systems, with particular expertise in virtual water analysis, water footprint methodology, and socio-ecological metabolism. She examines how water resources are managed within political and economic frameworks, with special attention to power dynamics in water governance. Her work bridges ecological economics with critical political analysis, challenging conventional approaches to water accounting and management. Analysis of her publication record reveals consistent research trends examining the political dimensions of water resource management, with particular attention to Spanish and Palestinian contexts. Her work increasingly integrates metabolic analysis frameworks with political ecology approaches, developing more contextualized understandings of water flows that account for social, institutional, and environmental factors beyond simple quantitative accounting. Marie Curie Post-Doctoral Research Fellow (ENTITLE Project) Research Engineer for French National Center for Scientific Research (TERRE-EAU Project) Beltrán Muñoz teaches courses including Water Footprint Calculation in the University Master's Degree in Climate Change, Carbon and Water Resources, and Introduction to Economics in the Degree in Social Work. She supervises numerous Final Degree Projects across multiple programs including Sociology, Business Administration, Agricultural Engineering, and Political and Administrative Sciences, demonstrating interdisciplinary engagement across the university.

Caleb Stanfordمشاهده پروفایل

استادیار

• Programming Languages
• Formal Methods
• Distributed Systems
• +۴ مورد دیگر

Caleb Stanford is an Assistant Professor in the Department of Computer Science at the University of California, Davis. He specializes in programming languages and formal methods with applications to distributed systems, data processing, and computer security. His research focuses on developing practical tools and theoretical foundations for secure and reliable systems. Research interests span programming languages theory, formal verification techniques for distributed systems, Rust ecosystem security, stream processing verification, and automata theory extensions. Specific projects include securing Rust crates through automated auditing tools, extending derivative-based abstractions for regular expressions, and developing verification frameworks for dataflow programming. His publications demonstrate consistent focus on formal methods applications, with recent emphasis on Rust program safety (2025), stream processing verification (2020-2024), and incremental graph algorithms (2023). Article keywords frequently include formal verification, programming languages, distributed systems, and automata theory. Dr. Stanford actively recruits students for research positions: Undergraduates should demonstrate excellence in relevant coursework Prospective PhD students must apply through UC Davis admissions Current openings focus on Rust security, formal methods, and distributed systems verification He leads the Guided Incremental Digraphs (GID) research project and collaborates with UCSD on Rust security initiatives. Community contributions include serving as Artifact Evaluation Co-Chair for POPL 2024 and committee member for PLDI and OOPSLA conferences.

Maria Ribera Sanchoمشاهده پروفایل

استاد

• Software Engineering
• Conceptual Modeling
• Ontologies
• +۴ مورد دیگر

Dr. Maria Ribera Sancho is a Professor at the Polytechnic University of Catalonia (BarcelonaTech), holding roles as Dean of the Faculty of Informatics of Barcelona (2004–2010), Vice-Dean (1998–2004), and currently Manager of the Education and Training Department at the Barcelona Supercomputing Center (BSC-CNS). She chairs the EQANIE Accreditation Committee and serves on the ACM-W Europe Executive Committee. Her research focuses on Software Engineering, Conceptual Modeling, Ontologies, Learning Analytics, and IoT applications. Notable contributions include work on automated design using conceptual models, model-driven software development, and semantic-based IoT infrastructure monitoring. She leads projects like LinDaFIX (social welfare data tools) and REMEDiAL (ontology-driven software automation). Key awards include the UPC Quality in Teaching Prize (2005, 2021), Jaume Vicens Vives Distinction (2005), Sapiens Award (2011), and Festibity Award (2011). She advises doctoral and master’s students on topics like IoT semantic monitoring and educational ontology development. Academic director of the inLab FIB Talent Program, she also directs the PRACE Advanced Training Center at BSC. Main projects include TINTIN (SQL integrity tool), e-Catalunya (collaborative government platform), and PILARES (learning analytics for secondary education). Her work bridges academia and industry through competitive projects with companies and institutions.

Kilian Huberمشاهده پروفایل

استاد

• Macroeconomics
• Finance
• Econometrics
• +۴ مورد دیگر

Kilian Huber is a Professor of Economics and Finance at the University of Chicago Booth School of Business. His research focuses on the interplay between the financial sector and the real economy, including how banking structures affect firm growth, the propagation of economic shocks, and the impact of discriminatory ideologies on corporate performance. He teaches courses like Money and Banking and Workshop in Macro and International Economics. Research Themes: Financial intermediation, macroeconomic dynamics, firm investment, and historical economic analysis. Notable Contributions: Analyzed bank consolidation effects, firm cost of capital, and discrimination's economic costs. Huber's published articles reveal trends in banking's macroeconomic impact, sticky discount rates, and green investment incentives. His work spans top journals like the American Economic Review and Journal of Political Economy. Scientific Awards: Sloan Fellowship Lamfalussy Fellowship 2024 Moskowitz Prize 2025 FESE De la Vega Prize Huber's affiliations include the National Bureau of Economic Research (NBER), Booth Lee Economics Program, and CESifo Research Network. His research integrates empirical analysis with policy implications, emphasizing mechanisms like internal capital markets and perceived cost of capital.

Burhaneddin Sandikciمشاهده پروفایل

دانشیار

• Decision-Making Under Uncertainty
• Medical Decision Making
• Healthcare Operations
• +۳ مورد دیگر

Burhaneddin Sandikci is an Associate Professor of Operations Management at the Booth School of Business, University of Chicago . His research focuses on decision-making under uncertainty in medical decision-making and healthcare operations , using advanced methodologies such as Markov decision processes , stochastic programming , and simulation . His recent work includes: Equilibrium analysis of marginal organ transplantation to address shortages. Modeling breast cancer screening with supplemental tests for high-risk patients. Developing parallel bounding methods for multistage stochastic programs . His publications appear in top-tier journals like Operations Research , Management Science , and Hepatology . He has received prestigious awards including the IIE Pritsker Doctoral Dissertation Award and INFORMS Bonder Scholarship . His research bridges operations management with healthcare policy , impacting organ allocation, transplant outcomes, and hospital capacity optimization.

• Cooperative Robotic Systems
• Multi-Robot Systems
• Human-Robot Collaboration
• +۷ مورد دیگر

Luis Merino is an Associate Professor at the School of Engineering, Universidad Pablo de Olavide (UPO), Seville, Spain. He founded and leads the Service Robotics Laboratory and contributed to establishing the Systems Engineering and Automation division at UPO. He served as Vice-Dean for five years and currently coordinates the Computer Science degree program. Education: Ph.D. in Robotics from the University of Seville (2007), supervised by Anibal Ollero. Research: Focuses on cooperative robotic systems, human-robot collaboration, localization/navigation techniques, and machine learning in social robotics. His work includes leading 2 H2020, 4 FP7, 3 National R&D, and 3 Andalusian regional projects. Notable projects: MBZIRC 2020 (PI), collaboration with Honda Research Institute Japan, and EU-funded initiatives. He advocates for open-source code/datasets and industry technology transfer. Scientific Awards: ABB Award to the Best Doctoral Dissertation on Robotics (2007) Best Paper Award at ROBOT2019 Professional Roles: Associate Editor for Image and Vision Computing and IEEE Robotics and Automation Letters . Serves on ICRA/IROS conference program committees. Grant reviewer for FONDECYT (Chile), SBIR (USA), and ERC.

Diego Sevilla Ruizمشاهده پروفایل

دانشیار

• Software Engineering
• Database Systems
• NoSQL Technologies
• +۳ مورد دیگر

Diego Sevilla Ruiz is an Associate Professor at the University of Murcia's Faculty of Informatics, Department of Computer Engineering and Technology, where he leads initiatives in Software Engineering research. He completed his PhD in 2008 on distributed component models (CORBA-LC). His research focuses on database technologies, particularly schema evolution in NoSQL and relational databases, model-driven engineering approaches, and unified metamodeling. Recent work develops Skiql (a schema query language), Athena (schema definition language), and methodologies for referential integrity in graph databases. His publications advance database abstraction techniques, schema migration frameworks, and automated tools for database management and modernization.

Manuel Carroمشاهده پروفایل

دانشیار

• Programming Language Implementation
• Abstract Machines
• Parallelizing Compilers
• +۷ مورد دیگر

Manuel Carro is an Associate Research Professor and holds a dual appointment as Associate Professor at Universidad Politécnica de Madrid, Spain. He serves as Director and previously as Deputy Director at IMDEA. His research focuses on declarative programming languages, parallelism, service-oriented computing, and formal methods. He leads projects in the CLIP lab and participates in European/ national initiatives. Education: PhD in Computer Science, Universidad Politécnica de Madrid (2002) Research Highlights: Manuel investigates implementation of logic/constraint languages, quality analysis of service compositions, and data-driven behavior in service-oriented systems. He applies advanced operational semantics techniques like tabling and parallelism. His work also covers workflow analysis, visualization, and verification techniques. Affiliations: UPM Representative in NESSI ETP Steering Committee Conference Coordinator, Association of Logic Programming Labs & Teams: Active in the CLIP lab, focusing on programming language implementation and service-oriented computing research.

• Macroeconomics
• Labor Economics
• Financial Econometrics
• +۳ مورد دیگر

Eui Young Jung is an Assistant Professor in the Department of Fundamentals of Economic Analysis at the Faculty of Economic and Business Sciences, University of Alicante, Spain. He has been serving in this role since October 2021, following the completion of his PhD in Economics from the Paris School of Economics. Education: PhD in Economics, Paris School of Economics (2021) Master of Arts in Economics, Paris School of Economics (2017) Master of Arts in Economics, Seoul National University (2014) Bachelor of Laws, Yonsei University (2012) His research centers on macroeconomics and labor economics, with a focus on policy implications of labor market dynamics, fiscal policy design, and wage rigidity. His work employs theoretical and empirical models to understand macroeconomic fluctuations and policy effectiveness. He is affiliated with the research group Macroeconomics and Financial Econometrics (MacroMetrics). His recent publications span topics in fiscal policy, labor supply, and wage dynamics, published in journals such as Economics Letters , International Tax and Public Finance , and Journal of Macroeconomics . These articles reflect a strong trend toward analyzing the interplay between individual decision-making and macroeconomic outcomes, particularly under institutional constraints like wage rigidity or limited planning horizons. Scientific Awards: No scientific awards mentioned in the provided text. Jung has contributed to teaching across multiple programs, including Economics, Law, and International Relations, offering courses in Macroeconomics III, Development Economics, and Quantitative Methods. He has co-directed one master’s thesis in the last five years. He is actively involved in research grants, serving as a collaborator in two competitive public research projects funded by the Generalitat Valenciana and the Spanish Ministry of Science, Innovation and Universities, focusing on macroeconomic policy and market interactions. Laboratories and Research Groups: He is a member of the Macroeconomics and Financial Econometrics (MacroMetrics) research group at the University of Alicante, which focuses on empirical and theoretical analysis of macroeconomic dynamics and financial markets.

• Formal Methods
• Satisfiability (SAT)
• Satisfiability Modulo Theories (SMT)
• +۱۱ مورد دیگر

Enric Rodríguez Carbonell is a faculty member at the Department of Computer Sciences within the Faculty of Computer Science at Universitat Politècnica de Catalunya (UPC). He is a key member of the LOGPROG - Lògica i Programació research group, focusing on formal methods, automated reasoning, and combinatorial optimization. Research Interests: His work centers on satisfiability (SAT), satisfiability modulo theories (SMT), and their applications in program verification, constraint solving, and optimization. He investigates techniques such as conflict-driven learning, invariant generation, and Max-SMT for proving termination and safety. His research bridges theoretical foundations with practical applications in software analysis and industrial problem-solving. Publication Trends: His recent publications (2020–2024) show a sustained focus on enhancing SAT and SMT solvers, particularly in pseudo-Boolean reasoning, integer linear programming, and multi-conflict analysis. Earlier works established contributions in non-linear arithmetic, termination proofs, and efficient encodings for cardinality constraints, reflecting a long-term commitment to foundational and applied aspects of automated reasoning. Scientific Awards: Best student paper award at SAT 2024 Advising and Grants: Rodríguez Carbonell has contributed to multiple competitive R+D+i projects under Spain’s State Research Plans, indicating active grant involvement. He has co-authored doctoral theses and educational initiatives like Jutge.org, demonstrating engagement in academic supervision and pedagogical innovation. Labs and Teams: He is a core researcher in the LOGPROG group at UPC, which specializes in logic and programming, with strong collaborations across formal methods, verification, and constraint technologies.