Lukáš Holík

Projects

• 2023

  Reliable, Secure, and Intelligent Computer Systems, BUT, FIT-S-23-8151, 2023-2025, running, start: 2023-03-01, end: 2025-12-31
  Detail

• 2020

  Efficient Finite Automata for Automated Reasoning, MŠMT CR, LL1908, 2020-2024, running, start: 2020-01-01, end: 2024-12-31
  Detail

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

  SNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, GA20-07487S, 2020-2022, completed, start: 2020-01-01, end: 2022-12-31
  Detail

  VALU3S - 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

• 2019

  Advanced methods of deep inspection in the application layer to defend against today's threats, BUT, FEKT/FIT-J-19-5906, 2019-2020, completed, start: 2019-03-01, end: 2020-02-28
  Detail

  Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU, 8A19010, 826452, 2019-2022, completed, start: 2019-05-01, end: 2022-07-31
  Detail

  AUFOVER - Automation of Formal Verification, TACR, TH04010192, 2019-2021, completed, start: 2019-01-01, end: 2021-12-31
  Detail

  AUTODEV - Automata for Decision Procedures and Verification, GACR, GA19-24397S, 2019-2021, completed, start: 2019-01-01, end: 2021-12-31
  Detail

  Framework of key enabling technologies for safe and autonomous drones´ applications, ECSEL JU, 8A19003, 826610, 2019-2023, completed, start: 2019-10-01, end: 2023-01-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
  Detail

  Moderní a otevřené studium techniky (MOST), MŠMT CR, 2017-2022, completed, start: 2017-09-01, end: 2022-12-31
  Detail

  ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, completed, start: 2017-01-01, end: 2019-12-31
  Detail

  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

  Efficient Automata for Formal Reasoning, GACR, GJ16-24707Y, 2016-2018, completed, start: 2016-01-01, end: 2018-12-31
  Detail

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

  Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed, start: 2016-01-01, end: 2018-12-31
  Detail

• 2014

  Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, GA14-11384S, 2014-2016, completed, start: 2014-01-01, end: 2016-12-31
  Detail

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

• 2013

  Verification of Infinite State Systems Based on Finite Automata, GACR, GP13-37876P, 2013-2015, completed, start: 2013-02-01, end: 2015-12-31
  Detail

• 2011

  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