Welcome to Manuel Ojeda Aciego's Home Page

I am a member of the Research Group of Applied Mathematics and Computing (GIMAC) in the Department of Applied Mathematics at the Computer Science Faculty of the University of Málaga

My email address is

Work in progress

• Main Researcher of the projects
• • Logics, Deduction and Programming for Intelligent Systems
    Ministerio de Ciencia y Tecnología, project TIN2006-15455-C03-01
  • Mathematical Foundations of Logics for Intelligent Systems
    Junta de Andalucía, Proyecto de Excelencia P06-FQM-02049
• Researcher in the project
  • Intelligent Teledetection Systems
    Junta de Andalucía, Proyecto de Excelencia P06-TIC-01615
  • GIMAC: Applied Mathematics in Computing
    Plan Andaluz de Investigación, proyecto TIC-115
• Advising a PhD thesis
  • Extensions of Answer Set Semantics for Multi-adjoint Logic Programming.
• Co-editor of a book on the foundations of reasoning under uncertainty.
• Long term projects
  • MANUEL: Mathematical Applications of Natural, Universal and Equilibrium Logics
  • LYDIA: Linear Yoneda Diagrams for Independence Analysis
  • RUBEN: Reduced Universality Based on Extended Normalization

Research fields I am interested in

• Automated Deduction.
• Category Theory and Computing.
• Logic for Qualitative Resoning.

Publications

• Here you are a list of my publications (updated Nov 2009).
• 
  
• Co-editor of the proceedings of the 12th Intl Conf on Information Processing and Management of Uncertainty in Knowledge-based Systems, IPMU'08.
• Co-editor a special issue of Fuzzy Sets and Systems on Mathematical and Logical Foundations of Soft Computing with extended versions of papers presented at the International Conference on "The Logic of Soft Computing"
• Co-organizer of the workshop on Automated deduction and Artificial Intelligence affiliated to IBERAMIA 2002
  
• Co-editor of the special issue Studia Logica 72(1), october 2002 about Logics in Artificial Intelligence.
• Co-editor of a special issue of the Electronic Notes on Theoretical Computer Science based on papers from a workshop on Unification in Non-Classical Logics affiliated to ICALP 2002
  
• Published/Edited books (some of them in Spanish)
  • Logics in Artificial Intelligence
  • Cálculo para la Ingeniería (I)
  • Introducción a la Informática Now available in PDF format
  • Lógica para la Computación (vol. 2)
  • Desarrollo de algoritmos y técnicas de programación en PASCAL

Courses and teaching

All the relevant information is in my web page at the Department of Applied Mathematics.

Here you are the curricula proposed by the UNESCO and by the ACM/IEEE-CS for Computer Science studies, and also information about teaching formal methods:

• Computing curricula 2001.
• Formal methods educational resources.

Some interesting links