e-x-a.org » Teaching&Research


2018/19 spring

2018/19 fall

2017/18 spring

2017/18 fall

2016/17 spring

2016/17 fall

2015/16 spring

2015/16 fall


I’m doing some research into functional programming languages with high-performance applications. Also see my faculty page

  • Compiling functional code to system-level environment [pdf]
  • Static scopes for functional languages, with D. Bednárek [pdf]
  • Sachem: a chemical cartridge for high-performance substructure search, with J. Galgonek and J.Vondrášek [available via SpringerOpen]
  • Widespread evolutionary crosstalk among protein domains in the context of multi-domain proteins, primarily by D. Jakubec, with J. Vymětal and J. Vondrášek [doi.org]