Welcome to the web site of the ALgorithms, Bioinformatics, COmplexity and formal Methods (ALBCOM) Research Group. The majority of the members of the group belong to the Departament de Llenguatges i Sistemes Informàtics (LSI) in the Universitat Politècnica de Catalunya (UPC).

All lines of research within ALBCOM are concerned with algorithmic and theoretical aspects related to the computational difficulty of problem-solving. The main lines of research are:

• bioinformatics,
• complexity theory,
• design and analysis of algorithms and data structures,
• formal methods and
• networks.

The group is often involved in the organization of seminars, workshops and conferences. The agenda keeps track of these activities. The members of ALBCOM often participate in research projects, mostly supported by the European Union or the Spanish or Catalan governments. The group is also involved in some projects with industry in the area of Information Technologies.

ALBCOM participates in the Master and Ph.D. programs on Computing of LSI. Together with the rest of the department, members of ALBCOM also lecture in several undergraduate courses at different Faculties and Technical Schools of the UPC:

• Facultat d'Infomàtica de Barcelona (FIB)
• Facultat de Matemàtiques i Estadística (FME)
• Escola Tècnica Superior d'Enginyeria Industrial de Terrassa (ETSEIT)
• Escola Politècnica Superior d'Enginyeria de Manresa (EPSEM)