Zdeněk Kotásek

Projects

• 2016

  IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, 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, start: 2014-04-01, end: 2017-06-30, completed

• 2013

  Application of methods and techniques of formal verification in the design of advanced digital circuits, MŠMT, Fond rozvoje vysokých škol (FRVŠ), FR1086/2013/G1, start: 2013-01-01, end: 2013-12-31, completed

• 2012

  Application of functional verification in the digital circuits development process, MŠMT, Fond rozvoje vysokých škol (FRVŠ), FR1798/2012/G1, start: 2012-01-01, end: 2012-12-31, completed

  Inovation and creation of new laboratory lessons in hardware courses, MŠMT, Fond rozvoje vysokých škol (FRVŠ), FR1224/2012/G1, start: 2012-01-01, end: 2012-12-31, completed

  Methodologies for Fault Tolerant Systems Design Development, Implementation and Verification, MŠMT, COST CZ (2011-2017), LD12036, start: 2012-03-01, end: 2015-11-30, completed

• 2011

  Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed

  Manufacturable and Dependable Multicore Architectures at Nanoscale, MŠMT, COST, COST IC1103, start: 2011-06-15, end: 2015-12-31, completed

• 2010

  Využití moderních přístupů k vytváření číslicových systémů založených na rekonfigurovatelných architekturách, MŠMT, Fond rozvoje vysokých škol (FRVŠ), FR2348/2010/G1, start: 2010-01-01, end: 2010-12-31, completed

• 2009

  Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed

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

  SoC circuits reliability and availability improvement, GACR, Standardní projekty, GA102/09/1668, start: 2009-01-01, end: 2011-12-31, completed

• 2008

  Innovation of structured study subjects focused on technical equipment of personal computers, FR1413/2008/F1, start: 2008-01-21, end: 2008-12-31, completed

• 2007

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

• 2006

  Methods of polymorphic digital circuit design, GACR, Standardní projekty, GA102/06/0599, start: 2006-01-01, end: 2008-12-31, completed

  Test scheduling for embedded systems under power constraints, FR3383/2006/G1, start: 2006-01-01, end: 2006-12-31, completed

  Testing of embedded systems, FR3198/2006/G1, start: 2006-01-01, end: 2006-12-31, completed

• 2005

  Evolutionary Design of Benchmark Circuits, FR3041/2005/G1, start: 2005-01-01, end: 2005-12-31, completed

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

• 2004

  Modern Methods of Digital Systems Design, GACR, Standardní projekty, GA102/04/0737, start: 2004-01-01, end: 2006-12-31, completed

• 2002

  Application of Evolution Approaches for Digital Circuit Testability Enhancement, FR1754/2002/G1, start: 2002-01-01, end: 2002-12-31, completed

  InterpRISe - Interregional Co-operation for Promoting Regional Innovation Strategies (RIS) in Europe, Phare 00-0047, start: 2002-01-01, end: 2002-12-11, completed

• 2001

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

• 2000

  ECBS Experimental Laboratory, FR1565/2000/H, start: 2000-01-01, end: 2000-12-31, completed

  Open computer laboratory FEI VUT, FR1516/2000/A, start: 2000-01-01, end: 2000-12-31, completed

• 1998

  High speed campus backbone networks at FEI VUT v Brně, FR184/1998/A, start: 1998-01-01, end: 1998-12-31, completed

  Methodology and tools for digital circuits testability analysis, GACR, Standardní projekty, GA102/98/1463, start: 1998-01-01, end: 2006-03-31, completed

• 1995

  Developement of flexible digital architectures, GACR, Standardní projekty, GA102/95/1334, start: 1995-01-01, end: 1997-12-31, completed

• 1994

  Advanced Computer Education Network, JEN 0449, start: 1994-01-01, end: 1995-12-31, completed

  Parallel computing and architectures, C32/94-95, start: 1994-01-01, end: 1995-12-31, completed

• 1992

  Advanced Computer Education Project - ACEP, JEP 0449, start: 1992-01-01, end: 1993-12-31, completed

• 1991

  CAD Methodology and Tools for VLSI, FEI, start: 1991-01-01, end: 1993-12-31, completed