Informatikai Kutatólaboratórium 
Informatikai Kutatólaboratórium - Algoritmusok, bonyolultságelmélet,
számítási modellek
- Algebrai módszerek a diszkrét matematikában
- Kombinatorikus optimalizálás
- Adatbázisok elmélete
- Adatbányászat
és keresés a Világhálón
- Diszkrét- és számítógépes
geometria
- Nemparaméteres statisztika
- Kvantum-számítógépek
- Szimbolikus számítások.
- Számítógépes tipográfia:
TeX-Devious csomag
Munkatársaink rendszeresen oktatnak matematikai és számítástudományi tárgyakat a Budapesti Mûszaki és Gazdaságtudományi Egyetemen és az Eötvös Loránd Tudományegyetemen.
Ezt a lapot Ivanyos Gábor tartja karban. Legutóbbi módosítás idõpontja: 2008 október 16.