Prof. Ing. Tomáš Hruška, CSc.

Vzdělání:

  • 1978 - Ing. obor elektronické počítače, Fakulta elektrotechnická, VUT Brno
  • 1984 - CSc. tamtéž

Profesionální kariéra:

  • Od roku 1978 pracuje na Katedře počítačů FEI VUT v Brně (nyní Fakulta informačních technologií VUT v Brně)
    • 1978-1990 jako výzkumný pracovník,
    • 1990-1991 jako odborný asistent,
    • 1991-1998 jako docent,
    • od roku 1998 jako profesor,
    • 2002-2007 jako první děkan fakulty a
    • od roku 2008 jako proděkan pro tvůrčí činnost.
  • V letech 1978-1982 se zabýval výzkumem v oblasti implementace překladačů simulačních jazyků. Zaměřil se zejména na automatizační prostředky pro vývoj překladačů. Navrhl a implementoval generátor lexikálních a LL-1 syntaktických analyzátorů nazvaný CGS-1. Navrhl metodu výstavby interního modelu překládaného programu; metoda byla odvozena z databázové technologie a užívala modifikovaný E-R graf pro formální definici překladu. Tyto aktivity byly shrnuty v disertační práci a výsledky užity při implementaci procesně orientovaného simulačního jazyka EC SOL. Jazyk společně s metodou syntézy modelu byl užíván v předmětu Modelování a simulace a ve výzkumných projektech katedry do roku 1990. V této době rovněž vyučoval v laboratořích a cvičeních předmětů Gramatiky a jazyky, Překladače a Programování.
  • V letech 1983-1989 se jako výzkumný pracovník Katedry počítačů koncentroval na vývoj a implementaci překladačů jak univerzálních jazyků (Pascal pro počítače EC), tak problémově orientovaných jazyků (SFDL- jazyk pro popis struktury a funkce číslicových obvodů). Tento výzkum byl prováděn spolu s VÚMS Praha. Implementoval generátor překladačů založený na LALR(1) gramatikách a jazyku Pascal ve spolupráci s Ing. Benešem. Od roku 1987 se podílel na projektu překladače jazyka C pro operační systém DOS-4 a UNIX ve spolupráci s PVT Brno a VÚMS Praha. Učitelská aktivita byla v té době zaměřena na předměty Gramatiky a jazyky a Programování.
  • Od roku 1990 pracoval jako odborný asistent, v letech 1991-1998 jako docent a od roku 1998 jako profesor pro obor Informatika a výpočetní technika. Pokračoval ve výzkumu v oblasti grafových modelů a řešil problém formální definice překladu programu do vnitřního tvaru, což vedlo k vývoji metodiky modelování s užitím atributovaných kořenových grafů a jejich transformací. Byl vyvinut a implementován specializovaný jazyk aLean pro popis grafových transformací.
  • Od roku 1990 pracoval rovněž na implementaci ekonomických informačních systémů. Byl členem výzkumného týmu, který vytvořil a implementoval metodu a prostředky rychlého prototypování informačních systémů nad relačním modelem a implementoval komerčně úspěšný informační systém IZUS (okolo 200 instalací). Řešil problém informačního systému studijní agendy a konzultačního systému vysokých škol. Zabýval se implementací objektově orientovaného databázového systému jako prostředku pro návrh moderních informačních systémů.
  • Od roku 2005 řeší projekt simulátoru mikroprocesorů pro hardware-software co-desing nazvaný Lissom. Projekt je zaměřen na výzkum a návrh jazyka pro popis mikroprocesorů a metody transformace modelů mikroprocesoru. Tyto metody budou užity pro návrh systému, který zeefektivní a zautomatizuje proces návrhu mikroprocesoru.

Odborná orientace:

  • Formální modely
  • Informační a databázové systémy
  • OLAP technologie
  • Formální jazyky a automaty
  • Překladače a programovací jazyky
  • Nástroje pro tvorbu a programování vestavných systémů
  • Hardware/software co-design, projekt Lissom

Členství:


[img] [img] [img] [img]

Další zájmy:

Vaše IPv4 adresa: 34.236.38.146
Přepnout na https