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

When asked what it was like to set about proving something, the mathematician likened proving a theorem to seeing the peak of a mountain and trying to climb to the top. One establishes a base camp and begins scaling the mountain's sheer face, encountering obstacles at every turn, often retracing one's steps and struggling every foot of the journey. Finally when the top is reached, one stands examining the peak, taking in the view of the surrounding countrysideand then noting the automobile road up the other side! Kleinhenz, Robert J.


 Homepage

Adi Sucipto News and Entertainment
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)