ICS Logo

Institute of Computer Science

Academy of Sciences of the Czech Republic

Themes of PhDs Studies:

Super-Turingovske modely vypoctu (Wiedermann):
Jedna se o vyzkum modelu vypoctu, ktere jsou z hlediska vypocetni sily silnejsi nez Turingovy stroje.Priklady takovych systemu jsou napr. evolucni interaktivni vypocty, amorfni vypocty, relativisticke vypocy aj.