Zdeněk Kotásek

Projects

• 2016

  IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, completed

• 2014

  Algorithms, Design Methods, and Many-Core Execution Platform for Low-Power Massive Data-Rate Video and Image Processing, MŠMT, Společné technologické iniciativy, 7H14002, 2014-2017, completed

• 2012

  Methodologies for Fault Tolerant Systems Design Development, Implementation and Verification, MŠMT, COST CZ (2011-2017), LD12036, 2012-2015, completed

• 2011

  Manufacturable and Dependable Multicore Architectures at Nanoscale, MŠMT, COST, COST IC1103, 2011-2015, completed

  The IT4Innovations Centre of Excellence, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, completed

• 2009

  Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, 2009-2012, completed

  Podpora předmětů zaměřených na návrh číslicových systémů s ohledem na diagnostiku, FR2318/2009/G1, 2009, completed

  SoC circuits reliability and availability improvement, GACR, Standardní projekty, GA102/09/1668, 2009-2011, completed

• 2007

  Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running

• 2006

  Methods of polymorphic digital circuit design, GACR, Standardní projekty, GA102/06/0599, 2006-2008, completed

  Test scheduling for embedded systems under power constraints, FR3383/2006/G1, 2006, completed

  Testing of embedded systems, FR3198/2006/G1, 2006, completed

• 2005

  Evolutionary Design of Benchmark Circuits, FR3041/2005/G1, 2005, completed

  Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, 2005-2008, completed

• 2004

  Modern Methods of Digital Systems Design, GACR, Standardní projekty, GA102/04/0737, 2004-2006, completed

• 2002

  Application of Evolution Approaches for Digital Circuit Testability Enhancement, FR1754/2002/G1, 2002, completed

  InterpRISe - Interregional Co-operation for Promoting Regional Innovation Strategies (RIS) in Europe, Phare 00-0047, 2002, completed

• 2001

  Formal Approaches in Digital Design Diagnostics - Testable Design Verification, GACR, Standardní projekty, GA102/01/1531, 2001-2003, completed

• 1998

  Methodology and tools for digital circuits testability analysis, GACR, Standardní projekty, GA102/98/1463, 1998-2006, completed