Prof. RNDr. Alexander Meduna, CSc.

Lecture courses:

• VYPe-2012/W, Compiler Construction, IT-MSC-2, IT-MSC-2E
• IFJ-2012/W, Formal Languages and Compilers, IT-BC-3
• TID-2012/W, Modern Theoretical Computer Science, CSE-PHD-4

Consulting hours:

by appointment (meduna@fit.vutbr.cz)

Graduated Ph.D. Students:

• Bidlo Radek, Ing., dissertation in 2007:
  
  On the Power of Some Modified Formal Models
• Blatný Petr, Ing., dissertation in 2007:
  
  Formal Models Over Free Ggroups
• Čermák Martin, Ing., dissertation in 2012:
  
  Formal Systems Based on Automata and Grammars
• Kolka Milan, Ing., dissertation in 2004:
  
• Kopeček Tomáš, Ing., dissertation in 2006:
  
  Popisná složitost a derivační podobnost formálních gramatik
• Koutný Jiří, Ing., dissertation in 2012:
  
  Grammars with Restricted Derivation Trees
• Křivka Zbyněk, Ing., dissertation in 2007:
  
  Rewriting Systems with Restricted Configurations
• Lorenc Luboš, Ing., dissertation in 2006:
  
  Alternative Approach to Translation: Formal Models and Optimalization Techniques
• Lukáš Roman, Ing., dissertation in 2006:
  
  Multigenerative Grammar Systems
• Masopust Tomáš, RNDr., dissertation in 2007:
  
  Regulated Formal Models and Their Reduction
• Rychnovský Lukáš, Mgr., dissertation in 2010:
  
  Grammatical Models of Computational Distribution and Concurrency
• Švec Martin, Ing., dissertation in 2005:
  
  Grammars with Context Conditions and Their Applications
• Techet Jiří, Ing., dissertation in 2008:
  
  Scattered Context in Formal Languages
• Vítek Martin, Ing., Ph.D., dissertation in 2006:
  
  New Operations in the Formal Language Theory and their Use

Current Ph.D. Students:

• Goldefus Filip, Mgr., research theme:
  
  Multistring theory and computational parallelism
• Horáček Petr, Ing., research theme:
  
  Formal Models of Natural Language Processing
• Solár Peter, Ing., research theme:
  
  Modern Translation Methods
• Vrábel Lukáš, Ing., research theme:
  
  Multigenerative systems and parsing
• Zámečníková Eva, Ing., research theme:
  
  Grammar Systems and Their Restrictions
• Zemek Petr, Ing., research theme:
  
  Transformation of Formal Models
• Židek Stanislav, Ing., research theme:
  
  Parallel Grammars and Their Applications