ALBCOM: Algorithms, Bioinformatics, Complexity and Formal Methods
 Sections
  Homepage
  People
  Research
  Publications
  Prizes & Distinctions
  Projects
  In the media
  Agenda
  Visitors
  Former members
  Contact

 Quote of the day

"FORTRAN was the language of choice for the same reason that three-legged races are popular."
-Ken Thompson, "Reflections on Trusting Trust"


 Homepage

Welcome to the web site of the ALgorithms, Bioinformatics, COmplexity and formal Methods (ALBCOM) Research Group. Most of the members of the group belong to the Departament de Llenguatges i Sistemes Informàtics (LSI) from 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,
  • computational 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 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'Informà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)