جستجوی استاد راهنمای دانشگاهی

• Artificial Intelligence
• Robotics
• Data Science
• +۴ مورد دیگر

Cecilio Angulo Bahón is a full Professor at the Polytechnic University of Catalonia (UPC), affiliated with the Barcelona School of Industrial Engineering (ETSEIB) and the Department of Systems, Automatics and Industrial Informatics Engineering . He leads research in Artificial Intelligence and Robotics , with significant contributions to healthcare data analytics, digital twins, and human-robot collaboration. His research spans machine learning for medical data harmonization, generative adversarial networks in health informatics, and evolutionary algorithms for control systems. Recent publications focus on synthetic healthcare data generation, climate-resilient agriculture , and UMAP-based data analysis . His work bridges AI theory with practical applications in industrial and healthcare domains. Scientific awards include the Sant Jordi 2023 Digital Polytechnic Initiative Award . He has supervised doctoral candidates like Carlos Flores-Vázquez and N. Raya, with key collaborations at the IDEAI-UPC Intelligent Data Science and AI Research Group and the Institute of Robotics and Industrial Informatics (CSIC-UPC).

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

Carlo Angiuliمشاهده پروفایل

استادیار

• Type Theory
• Programming Language Foundations
• Homotopy Type Theory
• +۳ مورد دیگر

Carlo Angiuli is an Assistant Professor of Computer Science at the Luddy School of Indiana University . He is a leading researcher in type theory , with a focus on its applications to programming language design and logic . His work bridges theoretical foundations and practical implementations, particularly through dependent types , proof assistants , and homotopy type theory . His research interests include: Type Theory (foundational systems for programs and proofs) Programming Language Foundations (formal semantics and reasoning) Homotopy Type Theory (higher-dimensional structures) Dependent Types (expressive type systems) Proof Assistants (formal verification tools) Computational Logic (algorithmic reasoning) Angiuli actively contributes to the programming languages community as a POPL Program Committee member and co-author of a forthcoming textbook on dependent type theory. His students include Johnson He, Huang Xu, Kelton OBrien, and Ian Ray , who joined in Fall 2025. He has received significant recognition, including the Best Paper Award at FSCD 2019 and the School of Computer Science Distinguished Dissertation Award from Carnegie Mellon University. His current work explores advanced type-theoretic frameworks and their implementation in proof assistants like the red* family of tools. Scientific awards: Best Paper Award, FSCD 2019 (Junior Researchers category) School of Computer Science Distinguished Dissertation Award, Carnegie Mellon University He teaches courses such as Modern Dependent Types (CSCI-B619), Programming Language Foundations (CSCI-B522), and Introduction to Computer Science (CSCI-C211).

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.

Obdulia María Torres Gonzálezمشاهده پروفایل

استاد

• Gender Studies
• Philosophy of Science
• Science and Technology Studies
• +۳ مورد دیگر

Obdulia María Torres González is a Full Professor in the Department of Philosophy, Logic and Aesthetics at the Faculty of Philosophy, University of Salamanca. She serves in the University Institute for Science and Technology Studies and leads the Research Group on Studies on Science and Technology. Her academic career spans over two decades with significant contributions to gender studies in philosophy and science communication. Her research focuses on gender inequality in academic professions , particularly in philosophy, where she has documented a severe gender imbalance (25% female faculty, 12% female full professors). She examines horizontal and vertical segregation patterns, challenges the STEM-focused narrative of gender studies, and analyzes how gender biases manifest in student evaluations of professors. Her work extends to science and technology studies , where she applies Ronald Giere's constructive realism to social sciences and engineering epistemology, and to risk communication regarding vaccine resistance and public controversies. Her publication trends reveal three interconnected research strands: (1) rigorous statistical analyses of gender disparities across academic disciplines, (2) philosophical examinations of scientific methodology in economics and medicine, and (3) investigations into public understanding of science and technology. She has secured research funding including the FFI2015-64529-P project "The boundary between science and politics and science at the boundary: Spanish science, 1907-1975" (MINECO/FEDER). Her educational background includes a PhD from the University of La Laguna (2002) with the thesis "The problem of social choice rules in the theory of collective action: redistribution, justice and well-being," supervised by Dr. Amparo Gómez Rodríguez. She has developed innovative teaching initiatives including the international promotion of the Master's in Logic and Philosophy of Science and high school recruitment programs for philosophy studies.

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.

• Education Technology
• Data Science
• Educational Assessment
• +۳ مورد دیگر

Lluís Vicent Safont is a Senior Lecturer and Director of the Postgraduate Program in Data Management at the UPF Barcelona School of Management. He has held prominent roles such as Rector of Universitat Oberta La Salle (2008–2012) and academic leadership positions at institutions like Universitat Ramon Llull and Universidad La Salle. His research focuses on data science, education technology, and innovative teaching methodologies, with over 70 publications and 50 projects as Principal Investigator. He specializes in curriculum design, educational assessment, and the integration of technology in higher education, including hybrid learning systems and adaptive learning tools. Education background includes a Doctorate in Engineering and Architecture, alongside master’s and technical engineering qualifications. His work emphasizes bridging education and technology, addressing challenges like early school leaving and digital education readiness. He has contributed to international conferences (IEEE, Erasmus+) and authored books on topics like fuzzy logic in assessment and multimedia in education. As a leader, he has directed postgraduate programs, research groups, and institutional initiatives, focusing on innovation, internationalization, and educational policy. His projects often involve collaboration across universities and institutions to enhance educational quality and accessibility. Recent work includes the H2O Learn project on hybrid education analytics and initiatives reinforcing engineering leadership in societal contexts.

Carlos Mulet Fortezaمشاهده پروفایل

استاد

• Tourism Management
• Financial Accounting
• Auditing
• +۷ مورد دیگر

Dr. Carlos Mulet Forteza is a Full Professor in the Department of Business Economics within the Financial Economics and Accounting area at the University of the Balearic Islands (UIB). He joined UIB in 2001 and holds significant administrative positions including Pro Vice-Chancellor of Economics and Infrastructures since 2021, President of the Quality Assurance Commission for the Master's Degree in Accounting and Auditing since 2022, and Secretary of the Academic Committee for PhD studies in Tourism since 2017. His educational background includes a Degree in Business Administration from the University of the Balearic Islands (2001) and a PhD in Economics from the University Jaume I of Castelló (2010). Dr. Mulet Forteza's research spans multiple domains within business economics and accounting: Analysis of tourism companies and destinations Banking efficiency studies Analysis of non-profit entities Bibliometric research Financial statement analysis using compositional data (CoDA) Application of fuzzy techniques for uncertainty analysis He serves as Principal Investigator of the research group 'Business management and tourist destinations' (DIREGEST) and collaborates with other UIB research groups including 'Models for Fuzzy Information Processing (MOTIBO)' and 'Economic and accounting aspects of social economy entities'. His academic leadership extends to professional organizations where he serves as National Secretary of AECIT (Spanish Association of Scientific Experts in Tourism) since 2020 and regularly participates in activities organized by the Ilustre Colegio de Economistas de las Islas Baleares and ASEPUC (Spanish Association of University Accounting Professors). Dr. Mulet Forteza has supervised more than 100 final degree projects, over 50 master's theses, and 6 doctoral theses across various programs including Business Administration, Tourism, Economics, and the Master's Degree in Accounting and Auditing. His teaching portfolio includes courses in Account Analysis and Auditing, Financial Accounting, and specialized auditing courses across multiple degree programs including the Double Degree in Business Administration and Law, Double Degree in Business Administration and Tourism, and the Master's Degree in Accounting and Auditing where he teaches Financial Auditing I-III and International Legislation and Consolidation.

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.

• Lambda Calculus
• Functional Programming
• Computational Complexity
• +۵ مورد دیگر

Beniamino Accattoli is a Researcher in Computer Science at Inria , where he has been a member of the PARTOUT team since January 2015. His work centers on higher-order computation, particularly the lambda calculus, connecting theoretical mathematics with practical implementations of functional languages. Current Projects : CANofGAS (2022–2025), COCA HOLA (2016–2021). Recent Events : Program Committee member for LSFA 2025, ICFP 2024, and FSCD 2024; lecturer at MPRI 2023–24. Research Themes : Internal : Developing mathematical theories of sharing in lambda calculus to enhance efficiency in functional language implementations. External : Establishing reasonable cost models for time and space in lambda calculus, resolving long-standing open problems in computational complexity. Scientific Awards : Distinguished Paper Award at ICFP 2022. Best Paper Award at RTA 2013. Academic Contributions : Co-inventor of the Linear Substitution Calculus , a canonical framework for higher-order computation with sharing. Proved polynomial equivalence between lambda calculus and Turing machines for time complexity with Ugo Dal Lago. Refuted token-machine conjectures and introduced environment-based machines for space complexity with Ugo Dal Lago and Gabriele Vanoni.

Samuel Mimramمشاهده پروفایل

استاد

• Denotational Semantics
• Concurrency
• Rewriting Theory
• +۶ مورد دیگر

Samuel Mimram is a Professor at the LIX laboratory of École Polytechnique (part of Institut Polytechnique de Paris ). He serves as President of the Computer Science Department and Head of the Cosynus team , focusing on interdisciplinary research at the intersection of denotational semantics , concurrency , rewriting theory , category theory , linear logic , and algebraic topology . His recent work explores homotopy type theory , higher categories , and coherence in rewriting systems , with publications in venues like FSCD , LIPIcs , and Higher Structures . He mentors interns (e.g., Hugo Salou , William Hasley ) and participates in academic juries for PhD theses (e.g., Thomas Jan Mikhail , Luc Chabassier ). Contact: samuel.mimram@polytechnique.edu .

Josep Ribes Bertomeuمشاهده پروفایل

دانشیار

• Wastewater Treatment
• Anaerobic Membrane Bioreactors (AnMBR)
• Mathematical Modeling of Bioprocesses
• +۷ مورد دیگر

Josep Ribes Bertomeu is an Associate Professor in the Department of Chemical Engineering at the University of Valencia, Spain, within the School of Engineering. He is a key member of the CALAGUA-UV Research Group on Environmental Technologies, where he has conducted extensive research since 1999. His research focuses on wastewater treatment , particularly using anaerobic membrane bioreactors (AnMBR) , mathematical modeling , process control , and optimization through artificial intelligence. He has made significant contributions to the development of simulation tools such as DESASS and LoDif-BioControl, and has worked on parameter calibration and control algorithms for wastewater treatment plants (WWTPs). His recent publications demonstrate a strong trend in energy recovery , resource valorization , and sustainable water management , aligning with circular economy principles. He has also been active in chemical engineering education , innovating laboratory teaching and virtual learning strategies. Principal Researcher, LIFE MEMORY Project (University of Valencia) Supervised 3 PhD theses Published over 35 international journal papers Co-author of 3 registered software programs and 5 invention patents He has contributed to numerous applied research and technology transfer projects with public and private entities, emphasizing real-world impact.

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

Frank Piessensمشاهده پروفایل

استاد

• Software Security
• System Security
• Formal Methods
• +۲ مورد دیگر

Frank Piessens is a Professor in the Department of Computer Science at Katholieke Universiteit Leuven (Belgium). His work bridges software security, systems security, formal methods, and programming languages. He actively investigates information flow security, with a dual focus on attack techniques and defense mechanisms. Current role: Professor at KU Leuven (Belgium) Research areas: Software Security, System Security, Formal Verification, Programming Languages Research Interests: His defense work includes formal verification for C-like languages, memory safety hardening, micro-architectural side-channel mitigation, and embedded security architectures. On the attack side, he studies transient execution attacks, memory safety exploits, and controlled channel attacks. Recent Article Trends: His publications span secure compilation techniques (2025), control-flow linearization (2024), functional reactive programming (2021-2014), formal verification (2020-2016), and hardware/software co-design security (2022). Keywords cluster around Computer Science , Security , and Programming Languages .