Projects
-
2023
KRONOSPAN - algoritmus pro optimalizaci nakládky materiálu k rozvozu, KRONOSPAN, 2023, completed, start: 2023-06-09, end: 2023-10-31
Detail -
2022
LS FIT-MU Licence z NCK, UNIS, 2022, completed, start: 2022-11-01, end: 2022-12-31
DetailOptimization of Trucks Loading, Lean Industry, s.r.o., 2022-2023, completed, start: 2022-10-25, end: 2023-02-28
Detail -
2020
Reliable, Secure, and Efficient Computer Systems, BUT, FIT-S-20-6427, 2020-2022, completed, start: 2020-03-01, end: 2022-12-31
DetailVALU3S - Verification and Validation of Automated Systems' Safety and Security, ECSEL JU, 8A20009, 876852, 2020-2023, completed, start: 2020-05-01, end: 2023-07-31
Detail -
2018
MUSIC - MuSiC - Multi-level Security for Critical Services, MŠMT CR, LTE118019, 2018-2021, completed, start: 2018-06-01, end: 2021-05-31
Detail -
2017
AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU, 8A17001, 737475, 2017-2020, completed, start: 2017-05-01, end: 2020-06-30
DetailSecure 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 -
2011
Advanced secured, reliable and adaptive IT, BUT, FIT-S-11-1, 2011-2013, completed, start: 2011-01-01, end: 2013-12-31
DetailThe 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
Founding a new course Game theory in MSc. study programs at FIT BUT, FRVŠ MŠMT, FR0110/2010/F1, 2010, completed, start: 2010-01-13, end: 2010-12-31
DetailSecured, reliable and adaptive computer systems, BUT, FIT-S-10-1, 2010, completed, start: 2010-03-01, end: 2010-12-31
Detail -
2007
Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, completed, start: 2007-01-01, end: 2013-12-31
Detail -
2006
Computer classroom for modelling, simulation and GIS, FRVŠ MŠMT, FR2656/2006/Ab, 2006, completed, start: 2006-02-03, end: 2006-12-31
DetailModelling and Simulation of Intelligent Systems, GACR, GP102/06/P309, 2006-2008, completed, start: 2006-01-01, end: 2008-12-31
Detail -
2004
Information system security - research of attacks on tamper-resistant cryptographic hardware, GACR, GA102/04/0871, 2004-2006, completed, start: 2004-01-01, end: 2006-12-31
Detail -
2002
Modern Methods of Language Parsing, FRVŠ MŠMT, FR1831/2002/G1, 2002, completed, start: 2002-01-01, end: 2002-12-31
Detail -
2001
A Program Set for Modeling of a System for the Risk Analysis, FRVŠ MŠMT, FR0172/2001/G1, 2001-2002, completed, start: 2001-01-01, end: 2002-12-31
DetailEnvironment for Development, Modelling, and Application of Heterogeneous Systems, GACR, GA102/01/1485, 2001-2003, completed, start: 2001-01-01, end: 2003-12-31
Detail