Projects
-
2024
EUROPEAN BLOCKCHAIN SERVICES INFRASTRUCTURE, EBSI, MPO CR, Z222901000001, 2024-2025, running, start: 2024-03-01, end: 2025-12-31
Detail -
2023
Smart information technology for a resilient society, BUT, FIT-S-23-8209, 2023-2025, running, start: 2023-03-01, end: 2025-12-31
Detail -
2022
A set of forensic analytic tools for image and video processing for the criminal police and investigation service, MV CR, VJ02010041, 2022-2025, running, start: 2022-01-01, end: 2025-12-31
DetailAviation protection against low-energy lasers, TACR, CK03000036, 2022-2025, running, start: 2022-01-01, end: 2025-12-31
DetailWIM LA - Camea SV, CAMEA, 2022-2023, completed, start: 2022-03-01, end: 2023-05-31
Detail -
2020
Application of AI methods to cyber security and control systems, BUT, FIT-S-20-6293, 2020-2022, completed, start: 2020-03-23, end: 2022-12-31
DetailBLENDED - BLockchain Enabled Deep learning Data analysis, ESA, 2020-2021, completed, start: 2020-01-01, end: 2021-06-30
Detail -
2019
Experimental environment for research, evaluation, and testing of distributed data systems, BUT, 2019-2020, completed, start: 2019-03-01, end: 2020-02-28
DetailSecurity monitoring of ICS communication in the smart grid, MV CR, VI20192022138, 2019-2022, completed, start: 2019-11-01, end: 2022-10-31
Detail -
2018
Introduction of attractive and effective English language studies at FIT, SMR, 2018-2019, completed, start: 2018-02-01, end: 2019-08-31
Detail -
2017
AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU, 8A17001, 737475, 2017-2020, completed, start: 2017-05-01, end: 2020-06-30
DetailMethods for extracting and detecting patterns in the program code, Avast, 2017-2024, running, start: 2017-09-01, end: 2024-08-31
DetailModerní a otevřené studium techniky (MOST), MŠMT CR, 2017-2022, completed, start: 2017-09-01, end: 2022-12-31
DetailŠkoda auto - Cloud computing analýza: porovnání dostupných cloudových řešení, ŠKODA AUTO a.s., 2017, completed, start: 2017-04-25, end: 2017-07-25
Detail -
2016
IRONSTONE - IoT monitoring and forensics, TACR, TF03000029, 2016-2019, completed, start: 2016-11-01, end: 2019-10-31
DetailIT4Innovations excellence in science, MŠMT CR, LQ1602, 2016-2020, completed, start: 2016-01-01, end: 2020-12-31
Detail -
2014
Algorithms, Design Methods, and Many-Core Execution Platform for Low-Power Massive Data-Rate Video and Image Processing, Artemis JU, 7H14002, 621439, 2014-2017, completed, start: 2014-04-01, end: 2017-06-30
Detail -
2013
Validation of Executable Code for Industrial Automation Devices using Decompilation, BUT, FEKT/FIT-J-13-2000, 2013, completed, start: 2013-04-01, end: 2013-12-31
Detail -
2011
System for Support of Platform Independent Malware Analysis in Executable Files, TACR, TA01010667, 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 -
2009
Dependent type system for object-oriented programming languages, GACR, GA201/09/1316, 2009, completed, start: 2009-01-01, end: 2009-12-31
DetailMathematical 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 -
2007
Multi-Information Technology, GACR, GA201/07/0005, 2007-2009, completed, start: 2007-01-01, end: 2009-12-31
Detail -
2006
Virtual Laboratory of Microprocessor Technology Application, MŠMT CR, 2C06008, 2006-2011, completed, start: 2006-07-01, end: 2011-06-30
Detail -
2005
Innovation of Courses: Post-Relational Database Systems, Functional and Logic Programming, FRVŠ MŠMT, FR1246/2005/F1, 2005, completed, start: 2005-01-01, end: 2005-12-31
Detail -
2004
Optimally Integrated Models of Modern Information Technologies, GACR, GA201/04/0441, 2004-2006, completed, start: 2004-01-01, end: 2006-12-31
DetailParticipation in the evolution of the standardization for embedded software for automotive industry, CAS CR, 1ET400750406, 2004-2007, completed, start: 2004-07-01, end: 2007-12-31
Detail -
2002
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 -
1999
Research in information and control systems, CEZ MŠMT, MSM 262200012, 1999-2004, completed, start: 1999-01-01, end: 2004-12-31
Detail -
1997
High-degree object-oriented functional languages with symbol overloading, FEECS BUT, 1997, completed, start: 1997-01-01, end: 1997-12-31
DetailObject-oriented databases - functional semantic data model, FRVŠ MŠMT, FR0631/1997/G, 1997, completed, start: 1997-01-01, end: 1997-12-31
Detail