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

Teresa Marin Garciaمشاهده پروفایل

دانشیار

• Conceptual Art
• Painting
• Text-Based Art
• +۶ مورد دیگر

Teresa Marin Garcia is an Associate Professor in the Department of Painting at Miguel Hernández University of Elche (UMH), where she teaches across Bachelor's, Master's, and Doctoral programs in Fine Arts. She coordinates courses including Creative Strategies for Art Projects, Painting Composition Techniques, and Final Degree Projects. As director of the Artistic Laboratory Interferences and Medial, she leads innovative research at the intersection of painting, conceptual art, and digital practices. Her research interests focus on conceptual art practices, particularly exploring the relationship between text and image, the logic of meaning, and translation theory within artistic contexts. She investigates how digitalization affects artistic meaning and creates works that engage with Deleuzian philosophy and contemporary art theory. Her practice often involves creating glossaries and textual interventions that challenge traditional artistic boundaries and explore precariousness in meaning-making. Marin Garcia's artistic output demonstrates a consistent exploration of meaning, translation, and conceptual frameworks through her Atopias Project and related works. Her 2018-2019 installation 'The Rescue of Meaning' translated Deleuze's Logic of Sense into binary code, exhibited at Valencia's Rosa Santos Gallery. Her projects like 'On Conference' and 'atopia(s). Non-site' examine lecture-text relationships and non-physical spaces through innovative artistic methodologies. She maintains active engagement with contemporary art discourse through her laboratory work and regular teaching of advanced artistic methodology courses. Her practice bridges theoretical inquiry with hands-on creation, particularly evident in her supervision of Final Degree and Master's Projects that encourage students to develop their own conceptual frameworks.

• Logic Programming
• Answer Set Programming
• Non-monotonic Reasoning
• +۳ مورد دیگر

Concepción Vidal Martín is an Associate Professor in the Department of Computer Science and Information Technology at the Faculty of Informatics, University of A Coruña (UDC). She has been evaluated for teaching merits over 6 five-year periods and for research merits over 4 six-year terms, demonstrating her long-standing commitment to both education and research in computer science. Her educational background, while not explicitly detailed in the provided text, includes a PhD as evidenced by her PDI (Profesor Doctor Interino) status and extensive research record. She has been actively contributing to academia since at least the late 1990s based on her publication history. Research Interests Dr. Vidal Martín specializes in Logic Programming , with a particular focus on Answer Set Programming and Non-monotonic Reasoning . Her research explores the Logical Representation of Knowledge and the theoretical foundations of equilibrium models in logic programming. She is a member of the Information Retrieval Lab research group at UDC, where she contributes to advancing knowledge in formal methods for artificial intelligence. Her work bridges theoretical computer science with practical applications in knowledge representation and reasoning systems. Through her publications in top-tier journals like Theory and Practice of Logic Programming and Artificial Intelligence , she has made significant contributions to the understanding of declarative programming paradigms and their applications in AI. Scientific Recognition Evaluation of teaching merits: 6 five-year periods Evaluation of research merits: 4 six-year terms Active researcher with consistent publication record since the late 1990s Principal investigator and collaborator on multiple national and regional research projects Academic Leadership Dr. Vidal Martín has supervised multiple master's theses, including "Solving Temporal Logical Programs with AI Planners" (2018/2019). She has been involved in numerous research projects funded by various entities including the State Research Agency (AEI), the Ministry of Science and Innovation, and the Galician Regional Government (Xunta de Galicia). Her research collaborations extend to international partners, as evidenced by her publications with researchers from various institutions. She has contributed to both theoretical foundations and practical applications of logic programming paradigms. Research Environment As a member of the Information Retrieval Lab at the University of A Coruña, Dr. Vidal Martín works within a vibrant research community focused on advancing knowledge in computer science, particularly in logical approaches to information processing and artificial intelligence. Her work contributes to the theoretical underpinnings of declarative programming languages and their applications in knowledge-intensive domains.

Raquel Fernández Peraltaمشاهده پروفایل

پژوهشگر ارشد

• Fuzzy logic
• Fuzzy implication functions
• Functional equations
• +۴ مورد دیگر

Dr. Raquel Fernández Peralta is a predoctoral researcher at the Department of Mathematics and Computer Science at the University of the Balearic Islands (UIB). She is conducting her Ph.D. research under the supervision of Dr. Sebastià Massanet and Dr. Arnau Mir, focusing on characterizing families of fuzzy implication functions and studying their intersections. Degree in Mathematics from UIB (2018) Master's in Statistical and Computational Information Processing from UCM and UPM (2019) Her research interests center on fuzzy connectives, functional equations, and statistical and computational information processing. She is affiliated with the Consolidated R+D+I Group "Soft Computing, Image Processing and Aggregation (SCOPIA)". As an educator, she teaches Abstract Algebra I across multiple degree programs including Mathematics, and Double degrees in Mathematics with Informatics Engineering and Telematics Engineering. She has also taught Mathematics I and II to students in Biochemistry and Biology programs.

• International Law
• Peacebuilding
• Gender Studies
• +۶ مورد دیگر

Dr. Iker Zirion Landa is a Professor of Public International Law at the University of the Basque Country (UPV/EHU) , where he also serves as faculty member at the Department of Public Law and Historical-Legal Sciences and of Political Thought History . As a researcher at Hegoa Institute for Development and International Cooperation Studies, he leads the Feminism and Conflict research group. PhD in International Studies Specialist in gender analysis within peacebuilding Expert on Democratic Republic of the Congo post-conflict dynamics Research Interests span critical peace studies, feminist international law, gendered power structures in humanitarian action, and the intersection of masculinity studies with post-conflict reintegration. His work problematizes the liberal peace paradigm while emphasizing voluntary simplicity , empathetic legal frameworks , and transformative justice mechanisms . Recent scientific contributions focus on gender analysis in DDR programs, feminist approaches to transitional justice, and critical evaluations of international legal frameworks for sexual violence protection in conflict zones. Current projects examine masculinity transformation in humanitarian contexts and gender-sensitive policy implementation across African Great Lakes region.

• Programming Languages
• Formal Verification
• Type Theory
• +۳ مورد دیگر

Aleksandar Nanevski is a Research Professor at the IMDEA Software Institute since 2009. He holds a Ph.D. in Computer Science from Carnegie Mellon University (2004), with postdoctoral positions at Harvard University and Microsoft Research, Cambridge. His research focuses on programming languages for formal verification, integrating programming with theorem proving via type theory. Key interests include verifying imperative programs with modern language features, concurrency, and pointer arithmetic. He leads projects like FCSL (Functional Concurrent Separation Logic) and RHTT (Relational Hoare Type Theory). Education: Ph.D., Computer Science, Carnegie Mellon University, 2004 M.S., Computer Science, Carnegie Mellon University B.S., Computer Science, University of Skopje, Macedonia, 1995 Research Interests: Design and implementation of programming languages for formal verification, dependent type systems, concurrency, and security. His work bridges programming methodology with interactive and automated theorem proving, emphasizing scalable verification of imperative programs. Professional Activities: Program chair for HOPE (2016-2017), PC member for OOPSLA, POPL, and ESOP. Invited keynotes at MFPS, ICTI, and VS-THEORY. Active in foundational research on separation logic and concurrent systems. Labs/Projects: FCFS (Functional Concurrent Separation Logic) and RHTT (Relational Hoare Type Theory), focusing on security-aware and concurrent program verification.

• Formal Methods
• Concurrent Systems
• Dynamic Memory Analysis
• +۶ مورد دیگر

Alejandro Sánchez is a Post-doctoral Researcher at the IMDEA Software Institute in Madrid, Spain. His research focuses on formal methods, decision procedures, and the verification of parametrized concurrent systems and data structures. He holds a PhD in Computer Science from the Universidad Politécnica de Madrid (2015), a Master's in Programming and Software Technology from Universidad Complutense de Madrid (2011), and a Bachelor's in Computer Science from Universidad Nacional de Córdoba (2007). Education Background: PhD in Computer Science, Universidad Politécnica de Madrid (2012–2015) Master in Programming and Software Technology, Universidad Complutense de Madrid (2010–2011) Bachelor of Science in Computer Science, Universidad Nacional de Córdoba (2002–2007) Research Interests: His work emphasizes formal verification techniques for concurrent systems, including parametrized systems, dynamic memory analysis, and specialized decision procedures. Key areas include temporal logics, deductive reasoning, and the verification of complex data structures like skiplists and concurrent lists. He has developed tools like LEAP for parametrized verification and contributed decision procedures integrated with SMT solvers (Yices, Z3). Professional Contributions: He has published extensively on formal methods and concurrency, including work on invariant generation, parametrized verification diagrams, and skiplist theory. His research bridges theoretical foundations with practical tool development, addressing challenges in verifying safety and liveness properties in complex concurrent systems. Tool Development: LEAP, an interactive theorem prover he maintains, enables deductive verification of concurrent systems. He has also implemented decision procedures for pointer-based data structures, demonstrating practical applications of formal methods in real-world systems.

Juan Carlos Vidal Aguiarمشاهده پروفایل

استادیار

• Knowledge Discovery
• Semantic Annotation
• Workflow Modeling
• +۷ مورد دیگر

Juan Carlos Vidal Aguiar is an Assistant Professor in the Department of Electronics and Computing at the University of Santiago de Compostela (Spain), affiliated with the Higher Technical School of Engineering and the Center for Research in Intelligent Technologies (CITIUS). His research focuses on knowledge discovery, semantic technologies, process mining, and AI-driven business intelligence. He holds a PhD from the University of Santiago de Compostela (2010) and a Bachelor's in Computer Science from the University of La Coruña (2000). His work integrates formal methods like Petri nets with machine learning and semantic web technologies, addressing challenges in workflow modeling, predictive monitoring, and healthcare analytics. Key projects include Predictive monitoring and causality for cardiac rehabilitation , Responsible AI for Process Mining 2.0 , and AQUATECHInn 4.0 (digital aquaculture training). He has led research on glucodensity analysis for diabetes monitoring and developed frameworks like OPENET for Petri net-based workflow execution. His contributions span 200+ publications in venues like IEEE Transactions, ACM T-KDD, and Advances in Data Analysis and Classification. Juan Carlos collaborates with institutions across Europe and Latin America on learning analytics, smart manufacturing, and health informatics. His lab's work emphasizes practical applications of AI in education and industry, including gamification analytics and cloud-based process monitoring tools.

• Programming Languages
• Formal Verification
• Type Theory
• +۳ مورد دیگر

Aleks Nanevski is a Research Professor at the IMDEA Software Institute in Madrid, Spain. He holds a Ph.D. in Computer Science from Carnegie Mellon University (2004) and completed postdoctoral research at Harvard University and Microsoft Research. His research focuses on programming languages and formal verification, particularly integrating dependent type systems with imperative features like concurrency and pointers. He co-leads the Functional Concurrent Separation Logic (FCSL) project, advancing verification techniques for concurrent programs. Education & Affiliations: Ph.D. in Computer Science, Carnegie Mellon University (2004) Postdoctoral Fellowships: Harvard University (USA), Microsoft Research (UK) Joined IMDEA Software Institute in 2009 Research Interests: Nanevski designs languages and logics that unify programming with formal verification, leveraging type theory to ensure correctness in systems with imperative features. His work emphasizes concurrency, pointer arithmetic, and modular reasoning in concurrent separation logics. Recent efforts include declarative linearizability proofs and contextual modal types for algebraic effects. Professional Activities: Program Chair: HOPE 2017, LOLA 2012 PC Member: OOPSLA 2024, POPL 2023, and multiple top-tier conferences Advising & Team: Current advisees: Jesús Domínguez, Joakim Öhman Former advisees include Ilya Sergey (Postdoc), Germán Delbianco (PhD), and Nikita Zyuzin Labs/Teams: Leads the FCSL project , developing tools for verifying fine-grained concurrent programs using dependent types and separation logic.

• Philosophy of Biology
• Logic
• Philosophy of Science
• +۱ مورد دیگر

Bartomeu Adrover Quetglas is an Associate Professor in the Department of Logic and Philosophy of Science at the University of the Balearic Islands, affiliated with the Faculty of Philosophy and Social Work. His primary teaching responsibilities include Philosophy of Biology for undergraduate philosophy students and Specific Didactics for the Master's in Teacher Training program. His research focuses on the intersection of philosophy and scientific disciplines, with expertise in: Philosophical foundations of biological sciences Formal logic systems and their applications Epistemology of scientific methodologies Pedagogical approaches for philosophy education

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

استاد

• Computational Logic
• Termination Analysis
• Formal Methods
• +۶ مورد دیگر

Salvador Lucas is a Full Professor of Computer Science at the Department of Computer Science (DSIC) of the Technical University of Valencia (UPV). He is a member of the Extensions of Logic Programming (ELP) group at the Valencian Research Institute for Artificial Intelligence (VRAIN) and the Valencian Graduate School and Research Network of Artificial Intelligence (valgrAI). He obtained his PhD from UPV in 1998 with research visits to RWTH Aachen, École Polytechnique, and University of Illinois at Urbana-Champaign. His research focuses on computational logics, program termination, formal verification methods, and automated reasoning techniques. Key areas include: Termination analysis of rewrite systems Logical models for program verification Constraint solving algorithms Semantics-based program transformation Rewriting logic applications in AI He received the LOPSTR 2018 Best Paper Award for his work on formal program verification. He has developed several research tools including: MU-TERM (termination analyzer) CONFident (confluence checker) AGES (logical model generator) InfChecker (infeasibility detector) He serves on the editorial board of the Journal of Computer and System Sciences and has chaired multiple international conferences including WST, RDP, and ISR.

Clara Portela Saisمشاهده پروفایل

دانشیار

• Multilateral Sanctions
• Arms Control
• EU Foreign Policy
• +۴ مورد دیگر

Dr. Clara Portela Sais is an Associate Professor of Political Science at the Faculty of Law, University of Valencia, with prior roles as Professor at Singapore Management University and Research Fellow at the European Union Institute for Security Studies (EUISS). Her research focuses on multilateral sanctions, arms control, and EU foreign policy. She holds a PhD from the European University Institute and an MA from the Free University of Berlin. Affiliations: GEPOLCOM Research Group on European Security and Defence Studies, University of Valencia Education: PhD (European University Institute), MA (Free University of Berlin) Visiting Roles: Carleton University, College of Europe, SciencesPo Grenoble, SciencesPo Lyon, SciencesPo Paris, Hitotsubashi University, University of Innsbruck Her research explores the intersection of EU governance, sanctions policy, and international security, with a focus on nuclear non-proliferation, geopolitical conflict, and rule of law enforcement. She has contributed to debates on sanctions effectiveness, horizontal sanctions regimes, and hybrid governance challenges. Her recent publications analyze EU sanctions in nuclear policy, Ukraine conflict impacts on governance, and comparative sanctions frameworks. She has consulted for the European Commission, Spanish Ministry of Foreign Affairs, Finnish Prime Minister's Office, and organizations like Transparency International. Scientific Awards: THESEUS Award for Promising Research on European Integration; Shortlisted for the 2024 Bernard Brodie Prize Clara Portela Sais advises executive programs on international sanctions at the Graduate Institute in Geneva and School of Transnational Governance in Florence, and contributes to research on regional sanctions and their influence on global governance.

FERNANDO RAFAEL PARDO SECOمشاهده پروفایل

استاد

• Electronics Engineering
• Computer Engineering
• Signal Processing
• +۳ مورد دیگر

Fernando Rafael Pardo Seco is a Professor at the Department of Electronics and Computing, affiliated with the Higher Technical School of Engineering at the University of Santiago de Compostela. He earned his PhD in 2008 with a thesis titled Software-hardware FPGA-Based System for the solution of the 3D heat equation applications on the non-destructive evaluation of minefields , supervised by Dr. Diego Cabello Ferrer and Dr. Marco Balsi. His research focuses on FPGA-based systems, CMOS architectures, thermal modeling, image processing, and non-destructive evaluation techniques. His academic contributions span engineering education innovation, including methodologies like cooperative learning and e-learning integration. His technological work emphasizes embedded systems, hardware acceleration for numerical simulations, and safety-critical applications such as landmine detection through thermal analysis. Recent publications highlight advancements in hyperdimensional computing architectures, 3D image processing, and thermal simulation tools. His work bridges hardware-software co-design principles with real-world applications in geophysics, security systems, and industrial engineering education.

• Continuous Time Models of Computation
• Analog Computing
• Dynamical Systems
• +۱۲ مورد دیگر

Olivier Bournez is a Professor of Computer Science at Ecole Polytechnique, which is a member of Institut Polytechnique de Paris (IP Paris) in the Paris-Saclay area. He is affiliated with the Computer Science Department (DIX) and the Computer Science Laboratory of Ecole Polytechnique (LIX), a joint laboratory with CNRS (UMR 7161). His leadership roles include serving as Vice-head (representative of LIX/DIX) of the Computer Science, Data and Artificial Intelligence (CSDAI) department at IP Paris, Head of the 'Proofs and Algorithms' pole at LIX, and Head of the 'Algorithms and Complexity' team from LIX laboratory. Professor Bournez's research spans multiple areas within theoretical computer science, with a focus on continuous time models of computation, analog computing, and dynamical systems. His work bridges mathematical theory with practical computational models, particularly exploring the connections between continuous and discrete computation. He has made significant contributions to understanding the computational power of analog models, chemical reaction networks, and population protocols. His research also extends to distributed computing, algorithmic game theory, verification, and rewriting systems. His recent publications demonstrate a consistent focus on foundational aspects of computation, particularly examining how continuous models relate to traditional discrete computation. The trend shows increasing interest in hybrid analog-digital systems and biological computation models, with several award-winning papers on characterizing computational power using differential equations and chemical reaction networks. His work has been recognized with multiple best paper awards at prestigious conferences. MFCS'2023 best paper award for work with Manon Blanc MCU'2022 student best paper award La Recherche 2019 award for computer science CMSB'2017 Best paper award ICALP'2016 best paper award (track B) CIE'2016 Best paper award Professor Bournez actively mentors students, with notable advisees including Manon Blanc and Amaury Pouly (who received the Ackermann Award 2017). He has been involved in significant research projects, including the ANR PROJECT ∂IFFERENCE. His laboratory work centers around the LIX laboratory at Ecole Polytechnique, where he previously served as Director from 2010 to 2015. He also contributes to the academic community through roles such as managing the Computability in Europe (CIE) association membership and serving on the editorial board of the Computability journal.

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

استاد

• Formal Verification
• Concurrency
• Model-Checking Algorithms
• +۷ مورد دیگر

Ahmed Bouajjani is a Professor at Paris Diderot University (Univ. Paris 7) and a Senior member of the Institut Universitaire de France . He leads the Automata, Structures, and Verification (ASV) pole of the IRIF laboratory and is a member of the Modeling and Verification team. His work focuses on formal methods, program verification, and automata theory, particularly for concurrent and infinite-state systems. Research Interests : Formal specification and verification, program verification, concurrency, model-checking algorithms, verification of infinite-state systems, automata, and logics. Teaching : He teaches courses such as Introduction to Artificial Intelligence and Game Theory , Formal Methods for Verifying Systems , and Algorithmic Program Verification at the university. Scientific Contributions : His recent articles address weak memory models, robustness in distributed systems, and inter-procedural analysis of list-manipulating programs. Keywords include Computer Science , Formal Verification , and Concurrency . Awards : He is a Senior member of the Institut Universitaire de France , a prestigious academic recognition. Labs and Teams : He is affiliated with the IRIF laboratory and its Modeling and Verification team, contributing to collaborative research in automata and verification.

• Service-Oriented Programming
• Recommendation Systems
• Graph Transformation
• +۳ مورد دیگر

Nicolas Eduardo Mylonakis Pascual is a Computer Science researcher at the Department of Computer Science, Barcelona School of Informatics, Universitat Politècnica de Catalunya. With a Doctorate in Computer Science, he maintains active research in formal methods for service-oriented computing, specializing in graph-based approaches to system modeling and verification. His research interests focus on service-oriented programming , recommendation systems , and graph transformation . He has developed theoretical frameworks for business process modeling using symbolic graphs, created semantics for ambient calculus variants applicable to service-oriented computing, and contributed to formal verification methods for graph transformation systems. His work bridges theoretical computer science with practical applications in distributed systems and business process management. Analysis of his publication trends reveals a consistent focus on graph-based formal methods spanning over three decades. His research evolved from foundational work on type checking and semantic verification in the 1990s to sophisticated graph transformation systems for service-oriented computing in the 2000s and 2010s, culminating in recent work on logical approaches to graph databases. His publications demonstrate strong collaboration patterns, particularly with Fernando Orejas (15 joint publications) and other researchers in the ALBCOM research group. As a member of the ALBCOM research group (Algorithms, Bioinformatics, Complexity and Formal Methods), he contributes to the Department of Computer Science's research profile in theoretical computer science and formal methods. His work has been supported by competitive R&D projects including 'Modelos y métodos basados en grafos para la computación en gran escala' and 'Modelos y métodos computacionales para datos masivos estructurados' under Spain's National Research Plan.