prof. RNDr.

Milan Češka

CSc.

Significant Former Employee


932/BUT personal ID

Projects

  • 2021

    FIT BUT - Preparation of own project for Horizon Europe program, SMR, 2021-2022, completed, start: 2021-08-01, end: 2022-01-31
    Detail

  • 2020

    Reliable, Secure, and Efficient Computer Systems, BUT, FIT-S-20-6427, 2020-2022, completed, start: 2020-03-01, end: 2022-12-31
    Detail

  • 2018

    TEchnology TRAnsfer via Multinational Application eXperiments (TETRAMAX), EC EU - Horizon 2020, 2018-2021, completed, start: 2018-04-01, end: 2021-12-31
    Detail

  • 2017

    Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, completed, start: 2017-03-01, end: 2019-12-31
    Detail

  • 2016

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

  • 2014

    Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed, start: 2014-03-11, end: 2016-12-31
    Detail

  • 2012

    Verification and Optimization of Computer Systems, BUT, FIT-S-12-1, 2012-2014, completed, start: 2012-01-01, end: 2014-12-31
    Detail

  • 2011

    Advanced secured, reliable and adaptive IT, BUT, FIT-S-11-1, 2011-2013, completed, start: 2011-01-01, end: 2013-12-31
    Detail

    The IT4Innovations Centre of Excellence, MŠMT CR, ED1.1.00/02.0070, 2011-2015, completed, start: 2011-01-01, end: 2015-12-31
    Detail

  • 2010

    Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT CR, OC10009, 2010-2012, completed, start: 2010-01-01, end: 2012-12-31
    Detail

    Secured, reliable and adaptive computer systems, BUT, FIT-S-10-1, 2010, completed, start: 2010-03-01, end: 2010-12-31
    Detail

    Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, GAP103/10/0306, 2010-2013, completed, start: 2010-01-01, end: 2013-12-31
    Detail

  • 2009

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

    Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems, COST, IC0901, 2009-2013, completed, start: 2009-10-30, end: 2013-10-30
    Detail

  • 2008

    Advanced Methods for Automatic Verification of Infinite-state Systems, BARRANDE, MEB 020840, 2008-2009, completed, start: 2008-02-20, end: 2009-12-31
    Detail

  • 2007

    Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, GA102/07/0322, 2007-2009, completed, start: 2007-01-01, end: 2009-12-31
    Detail

    Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, completed, start: 2007-01-01, end: 2013-12-31
    Detail

  • 2006

    Automatic Verification of Programs with Dynanic Data Structures with Pointers, BARRANDE, 2-06-27, 2006-2007, completed, start: 2006-01-01, end: 2007-12-31
    Detail

    Learning tool for C/E Petri net, FRVŠ MŠMT, FR2880/2006/G1, 2006, completed, start: 2006-01-01, end: 2006-12-31
    Detail

  • 2005

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

  • 2004

    Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, GA102/04/0780, 2004-2006, completed, start: 2004-01-01, end: 2006-12-31
    Detail

  • 2003

    Advanced Methods of Automatic Verification of Parametric and Infinite-State Systems, GACR, GP102/03/D211, 2003-2006, completed, start: 2003-09-01, end: 2006-09-01
    Detail

    State space reductions for object oriented Petri Nets, FRVŠ MŠMT, FR829/2003/G1, 2003, completed, start: 2003-01-01, end: 2003-12-31
    Detail

  • 2002

    Doktorský studijní program Informační technologie na VUT v Brně, FRVŠ MŠMT, FR1833/2002/F1, 2002, completed, start: 2002-01-01, end: 2002-12-31
    Detail

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

    Metody formální analýzy a verifikace v objektově orientovaných Petriho sítích, FRVŠ MŠMT, FR1948/2002/G1, 2002, completed, start: 2002-01-01, end: 2002-12-31
    Detail

  • 2001

    Environment for Development, Modelling, and Application of Heterogeneous Systems, GACR, GA102/01/1485, 2001-2003, completed, start: 2001-01-01, end: 2003-12-31
    Detail

  • 2000

    Modelling, Verifying, and Prototyping Distributed Applications Using Petri Nets, GACR, GA102/00/1017, 2000-2002, completed, start: 2000-01-01, end: 2002-12-31
    Detail

  • 1999

    Research in information and control systems, CEZ MŠMT, MSM 262200012, 1999-2004, completed, start: 1999-01-01, end: 2004-12-31
    Detail

  • 1998

    Research and Applications of Heterogenous Models, GACR, GA102/98/0552, 1998-2000, completed, start: 1998-01-01, end: 2000-12-31
    Detail

  • 1997

    Engineering of Computer-Based Systems, FRVŠ MŠMT, FR618/1997/F1, 1997, completed, start: 1997-01-01, end: 1997-12-31
    Detail

  • 1994

    Methodology of Information Systems Development, GACR, GA102/94/1097, 1994-1996, completed, start: 1994-01-01, end: 1996-12-31
    Detail

Back to top