Institut Teoretické Informatiky - Centrum mladé vědy ****************************************************************************************** * Institut Teoretické Informatiky - Centrum mladé vědy ****************************************************************************************** V rámci vládního programu podpory vědy a výzkumu byl založen dne 1. června 2000 Institut T Informatiky(známý pod zkratkou ITI), jako společný projekt Matematicko-fyzikální fakulty U Matematického ústavu Akademie věd České Republiky, Ústavu informatiky AV ČR a Fakulty apli Západočeské univerzity. Svůj podtitul "Centrum mladé vědy" si institut plně zaslouží – v současnosti má 32 členů z let. Osm z nich jsou postgraduální studenti, jejich vědecké výsledky avšak obstojí ve srov mnohem starších kolegů, a to i na mezinárodní úrovni. Což se projevuje v domácích i meziná jejich práce. Hlavním cílem projektu je podpora vědecké práce v teoretické informatice v c mladého, rychle rozvíjejícího se oboru. Výzkum má výrazně mezioborový charakter a zahrnuje matematických oborů a také oblasti tak odlehlé jako matematická biologie, matematická fyzi otázky zpracování obrazu a dokonce řešení problémů ekonomických a estetických. Přestože je institut zaměřen primárně na informatiku teoretickou, s aplikacemi poznatků z i laická veřejnost setkává v každodenní praxi. Například mobilní telefonie (a bezdrátový p využívá optimální přidělování frekvencí nejen pro zvýšení počtu současně prováděných hovor kvality přenášeného signálu tak, aby nedocházelo vzájemnému rušení elektromagnetických vln úlohu lze formulovat v řeči tzv. grafů, a daný model zkoumat z čistě matematického hledisk konference dosvědčují aktuálnost tohoto tématu, ITI je jedním z center mezinárodního výzku S podobnými optimalizačními úlohami se lze setkat v mnoha aplikacích (zvláště v oblasti lo platí, že obtížnost nalezení optima převyšuje výpočetní kapacitu současných počítačů. To v nemá smysl tyto úlohy řešit, spíše naopak. Namísto probírání téměř nekonečného počtu možný využít postupy, které rychle navrhnou možné řešení, které sice nemusí nutně být nejlepší m něm dokázat, že se od případného optima liší jen o zanedbatelný zlomek. Jak dokládá spolup průmyslovými partnery, jsou právě takové rychlé metody žádány v průmyslové a telekomunikač pro svou schopnost rychlé reakce na změnu zadání úlohy. S problematikou výpočetní kapacity dnešních a i budoucích počítačů úzce souvisí výzkum výp algoritmů a strukturální složitosti, jenž náleží mezi hlavní obory působnosti centra. I la je známo, že pro ochranu soukromých údajů ať již v databázích, nebo při elektronické komun kódování na matematickém základě. To, že výzkum v této oblasti stále přináší nové fundamen ukazuje nedávno objevený rychlý algoritmus na testování prvočíselnosti, který byl u nás po pracovníky centra. V neposlední řadě se výzkum v institutu zaměřuje na kombinatorickou a výpočetní geometrii, ( v telekomunikacích i jinde). Institut teoretické informatiky je jedním z mála vůdčích ce v Evropě a na světě vůbec, spolupracuje s obdobně zaměřenými centry v USA, v Maďarsku a ve a publikuje uznávané monografie a často citované příspěvky do časopisů. Vědecká činnost ITI je mimořádně rozsáhlá, zahrnuje teoretické informatické obory a použív klasické matematiky (významné jsou souvislosti s algebrou – teorií struktur, pravděpodobno spojitých metod). Poznamenejme, že zpráva ITI za rok zahrnuje 160 původních vědeckých prac Institut pořádá pravidelně řadu konferencí a workshopů. V poslední době to byla například EUROCOMB 2003, evropská kombinatorická konference konaná 8.-12. září 2003. V srpnu 2004 se bude konat 29. konference MFCS (International Symposium on Mathematical Foundations of Com organizovaná v současnosti pracovníky centra. Členové centra pravidelně pracují v programo předních mezinárodních konferencí. Institut Teoretické Informatiky vydává preprintovou řadu ITI Series, které slouží k popula spolupráci. Dosud vyšlo 155 čísel (viz http://iti.mff.cuni.cz/series [ URL "http://iti.mff která jsou distiribuována na všechna informatická pracoviště v ČR a SROV. ITI rovněž podpo studentských vědeckých prací SVOČ a pořádá interdisciplinární prestižní přednášky – matema přesahující rámec projektu i UK. Převážná část finančních prostředků je určena na podporu pracovníků. Kvalitu jejich vědecké práce je možno doložit např. poukazem na jejich mezinár účastí na přísně výběrových konferencích. Tato skutečnost je v domácím kontextu spíše výji uspořádání konference "Současné trendy teoretické informatiky", dala 22.-23. května 2003 m se 20 mladým úspěšným badatelům z ČR i Slovenska v oblasti teoretické informatiky (všichni publikacemi v prestižních světových konferencích). Řešitelský tým rovněž od roku 2004 v součinnosti se EU sítí COMBSTRU je organizátorem (spo Evropské doktorantské školy DOCCOURSE. V investiční oblasti je největší akcí ITI zřízení a uvedení do provozu výkonného clusteru v roce 2002. Pracovníci institutu školí dohromady asi 30 doktorandů, zatím byly obhájeny 3 disertační práce. Úspěšně proběhla 3 habilitační a 2 profesorská řízení členů i Při každoročních oponentních řízeních (2001,2002,2003) organizovaných MSMT byla činnost in kladně hodnocena. Doufejme, že výzkumné centrum ITI bude ve své úspěšné činnosti na poli t a diskrétní matematiky pokračovat i v budoucnu. Výzkum podobného rozsahu a kvality je nemyslitelný bez účinné podpory.