Projects

• 2019

  Designing and exploiting libraries of approximate circuits, GACR, GA19-10137S, 2019-2021, running, start: 2019-01-01, end: 2021-12-31
  Detail

• 2017

  Advanced parallel and embedded computer systems, BUT, FIT-S-17-3994, 2017-2019, running, start: 2017-03-01, end: 2019-12-31
  Detail

• 2016

  Advancing cryptanalytic methods through evolutionary computing, GACR, GA16-08565S, 2016-2018, completed, start: 2016-01-01, end: 2018-12-31
  Detail

  IT4Innovations excellence in science, MŠMT CR, LQ1602, 2016-2020, running, start: 2016-01-01, end: 2020-12-31
  Detail

  Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed, start: 2016-01-01, end: 2018-12-31
  Detail

• 2014

  Advanced Methods for Evolutionary Design of Complex Digital Circuits, GACR, GA14-04197S, 2014-2016, completed, start: 2014-01-01, end: 2016-12-31
  Detail

  Architecture of parallel and embedded computer systems, BUT, FIT-S-14-2297, 2014-2016, completed, start: 2014-03-01, end: 2016-12-31
  Detail