Professional Activities

Memberships in Organizations

• IEEE (S'03, M'07, SM'15)
• IEEE - Czechoslovakia Section - Computer Society (C) Local Chapter Chair (2015-?)
• IEEE Student Branch at CTU - counselor (2015-?)
• IEEE Computer Society (since 2003)
• TTTC (since 2003)

Memberships in Conference Committees

Current (2024)

• Design, Automation and Test in Europe (DATE), Programme Committee member (since 2020)
• IEEE European Test Symposium (ETS), Programme Committee member (since 2023)
• Euromicro Symposium on Digital Systems Design (DSD), Programme Committee member (since 2018)
• Euromicro Symposium on Digital Systems Design (DSD), Special Session on Dependability, Testing and Fault Tolerance in digital systems (DTFT), Programme Committee chair (since 2017)
• IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS), Programme Committee member (since 2022)
• International Conference on Design, Test and Technology of Integrated Systems (DTTIS), Programme Committee member (since 2024)
• IEEE Design and Diagnostics of Electronic Circuits and Systems Symposium (DDECS), Programme Committee member (since 2009)
• Baltic Electronics Conference (BEC), Programme Committee member (since 2018)
• International Workshop on Logic & Synthesis (IWLS), Programme Committee member (since 2019)
• International Workshop on Boolean Problems (IWSBP), Programme Committee member (since 2018)
• Prague Embedded Systems Workshop (PESW), Workshop co-chair, Programme Committee member, Organizing Committee member (since 2014)
• International Conference on Information and Digital Technologies (IDT), Programme Committee member (since 2019)
• International Conference "Advanced Computer Information Technologies" (ACIT), Programme Committee member (since 2018)

Past

• Design Automation Conference (DAC), Programme Committee member (2020-2023)
• Euromicro Symposium on Digital Systems Design (DSD), Special Session on Future Trends in Emerging Technologies (FTET), Programme Committee co-chair (2018-2021)
• International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS), Programme Committee member (2016-2023)
• International Conference ELECTRONICS, Programme Committee member (2014-2021)
• International Student Conference on Electrical Engineering (POSTER), Programme Committee member (2011-2016)
• Design and Analysis of Control Systems (DACS), Programme Committee member (2015)
• Euromicro Symposium on Digital Systems Design, Special Session on Dependability, Testing and Fault Tolerance in digital systems, Programme Committee member (2014-2016)
• European Workshop on Microelectronics Education, special session on VLSI Design Education in the 21st Century, Programme Committee member (2014)
• International Conference on Architecture of Computing Systems (ARCS), Programme Committee member (2013)
• Embedded Systems Workshop (ESW), Workshop co-chair, Programme Committee member (2013)
• Euromicro Symposium on Digital Systems Design, "Logic Synthesis Hot Anew" special session, Programme Committee member (2009)
• Euromicro Symposium on Digital Systems Design, "Dependability and Testing of Digital Systems" special session, Programme Committee member (2005-2013)
• IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop 2006 (DDECS'06), Organizing Committee member
• Počítačové architektury & diagnostika (PAD), Programme Committee member (2008-2020)

Journal editorial boards

• Elektronika ir Elektrotechnika (since 2019)
• Microprocessors and Microsystems (MICPRO) (2019-2021)

Other memberships

• Scientific Council, FIT, CTU (since 2018)
• Board of the doctoral study, FIT, CTU (since 2014)
• Disciplinary Committee, FIT, CTU (since 2009)
• Scientific Council, Faculty of Mechatronics, Informatics and Interdisciplinary Studies, TUL (since 2020)

Grants

Current (2019)

• CZ.02.1.01/0.0/0.0/16_019/0000765, "Research Center for Informatics", OP VVV, 2017-2022 (internal webpage)
• SGS20/211/OHK3/3T/18, Návrh, programování a verifikace vestavných systémů, 2020-2022

Past

• SGS17/213/OHK3/3T/18, Bezpečné a spolehlivé architektury pro programovatelné obvody, 2017-2019
• GA16-05179S, "Fault-Tolerant and Attack-Resistant Architectures Based on Programmable Devices: Research of Interplay and Common Features" ("Výzkum vztahů a společných vlastností spolehlivých a bezpečných architektur založených na programovatelných obvodech"), 2016-2018. (inernal webpage)
• SGS16/121/OHK3/1T/18, Bezpečné a spolehlivé architektury vhodné pro implementaci v FPGA, 2016
• SVK 58/16/F8, The 4th Prague Embedded Systems Workshop - PESW, 2016
• SGS15/119/OHK3/1T/18, Spolehlivé a bezpečné architektury založené na programovatelných obvodech, 2015
• MOBILITY 7AMB14SK177 Verification and dependability of digital systems design, 2015
• SVK 53/14/F8 - "Prague Embedded Systems Workshop", 2014
• SGS14/105/OHK3/1T/18 - "Metody číslicového návrhu pro systémy s vysokou spolehlivostí a bezpečností", 2014
• SGS13/101/OHK3/1T/18 - "Metodologie číslicového návrhu", 2013
• COST - European Cooperation in Science and Technology - Action IC1204 - Trustworthy Manufacturing And Utilization Of Secure Devices, TRUDEVICE, 2012-2016
• SGS12/094/OHK3/1T/18 - "Metody a postupy číslicového návrhu a jejich experimentální ověření", 2012
• SGS11/089/OHK3/1T/18, "Výzkum využití implicitních reprezentací při generování testu a stanovování spolehlivosti digitálních obvodů", "Research on using of implicit representations in testing and dependability analysis of digital circuits", 2011
• SGS10/117/OHK3/1T/18, "Použití ternárních stromů v logické syntéze", "Using Ternary Trees in Logic Synthesis", 2010
• MSM6840770014, "Výzkum perspektivních informačních a komunikačních technologií", "Research in the Area of the Prospective Information and Navigation Technologies", 2005-2011
• GA102/09/1668, (53/04003/13136), "SoC Circuits Reliability and Availability Improvement" ("Zvyšování spolehlivosti a provozuschopnosti v obvodech SoC"), Czech Grant Agency, 2009 - 2011
• GA102/04/0737, "Modern methods of digital system synthesis" ("Moderní metody syntézy číslicových systémů") of the Czech Grant Agency (GACR), 2004 - 2006
• GA102/04/2137 (53/04003/13136), "Design of Highly Reliable Control Systems Built on dynamically Reconfigurable FPGAs" ("Návrh vysoce spolehlivých řídících systémů pomocí dynamicky rekonfigurovatelných obvodů FPGA") of the Czech Grant Agency (GACR), 2004 - 2006
• MSM212300014, "Research in the area of information technologies and communications" ("Výzkum v oblasti informačních technologií a komunikací"), 1994 - 2004
• GA102/03/0672 (13/03008/13136), "Research of methods and tools for verification of embedded computer system fault tolerance" ("Výzkum metod a nástrojů pro verifikaci odolnosti vestavěných počítačových systémů proti poruchám") of the Czech Grant Agency (GACR), 2003 - 2005
• GA102/01/1531, "Formal Approaches in Digital Circuit Diagnostics - Testable Design Verification" ("Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu") of the Czech Grant Agency (GACR), 2001 - 2003
• GA102/01/0566, "Built-in Self-Test Equipment Optimization Methods in Integrated Circuits" ("Metody optimalizace vestavěných diagnostických prostředků v integrovaných obvodech") of the Czech Grant Agency (GACR), 2001 - 2003
• GA102/99/1017, "Research into methods of architecture acceleration using reconfigurable hardware" ("Výzkum metod urychlování výpočtů rekonfigurovatelným technickým vybavením") of the Czech Grant Agency (GACR), 1999 - 2001