Applied Mathematics in Computing

The research group Applied Mathematics in Computing, founded in 1995, of the Department of Applied Mathematics of the E.T.S.I. Informatica (Higher Technical School of Engineering, Dep. Informatics) is specialized in the study of formal methods for the construction of deductive reasoning systems (artificial intelligence). The scientific team has an expertise in developing expert systems capable of deducting possible solutions when presented with practical and/or real cases. The software is quite resourceful and offers a range of applications in medicine or jurisprudence, not only as a general means of professional support, but also by providing a higher impartiality between possible courses of action. Latest research has been centered on the development of semantics websites. An individual visiting such a site will be guided by an intelligent set of questions in order to present the information, the person was looking for. Applications for this research could be used in the analysis of complex databases, deducing distinct entries, where to find objects, preferred choices, etc.

Research Topics

  • Automated theorem proving in non-classical logics.
  • Formal computational methods. Applied to databases.
  • Numerical methods in mathematical programming.
  • Application of line theories to computer networks.
  • Category theories and abstract algebras.


Scientific-Technical Services

  • Technical advice for planning and calculations for the design of communication towers.
  • Advisor for the design of intelligent software.
Applied Mathematics in ComputingApplied Mathematics in ComputingApplied Mathematics in Computing




PAI Reference: TIC115



Before content body
News and Standingouts slideshow
After content body