Lukáš Sekanina

Projects

• 2024

  Hardware-Aware Machine Learning: From Automated Design to Innovative and Explainable Solutions, GACR, GA24-10990S, 2024-2026, running, start: 2024-01-01, end: 2026-12-31
  Detail

• 2023

  Application-specific HW/SW architectures and their applications, BUT, FIT-S-23-8141, 2023-2025, running, start: 2023-03-01, end: 2025-12-31
  Detail

  PGine: Py/Bioconda software package for calculation of polygenic risk score in plants, BUT, FEKT/FIT-J-23-8274, 2023, completed, start: 2023-03-01, end: 2023-12-31
  Detail

• 2022

  AppNeCo: Approximate Neurocomputing, GACR, GA22-02067S, 2022-2024, running, start: 2022-01-01, end: 2024-12-31
  Detail

• 2021

  Automated design of hardware accelerators for resource-aware machine learning, GACR, GA21-13001S, 2021-2023, completed, start: 2021-01-01, end: 2023-12-31
  Detail

  Expert consultation in GP, CGP, 2021, completed, start: 2021-09-01, end: 2021-12-31
  Detail

• 2020

  Bio-inspired methods for resource aware computer system design, COST - European Cooperation in Science and Technology (COST), 2020-2024, completed, start: 2020-09-29, end: 2024-09-28
  Detail

  Design, Optimization and Evaluation of Application Specific Computer Systems, BUT, FIT-S-20-6309, 2020-2022, completed, start: 2020-03-01, end: 2022-12-31
  Detail

• 2019

  Designing and exploiting libraries of approximate circuits, GACR, GA19-10137S, 2019-2021, completed, start: 2019-01-01, end: 2021-12-31
  Detail

• 2018

  Advanced Methods of Nature-Inspired Optimisation and HPC Implementation for the Real-Life Applications, MŠMT CR, LTC18053, 2018-2020, completed, start: 2018-06-01, end: 2020-02-29
  Detail

• 2017

  Advanced parallel and embedded computer systems, BUT, FIT-S-17-3994, 2017-2019, completed, start: 2017-03-01, end: 2019-12-31
  Detail

  Enhancement of genetic optimization methods for computer engineering, BUT, FIT/FSI-J-17-4294, 2017-2018, completed, start: 2017-03-01, end: 2018-02-28
  Detail

  IotCloud - Intelligence for IoT systems, TACR, TH02010845, 2017-2019, completed, start: 2017-01-01, end: 2019-12-31
  Detail

• 2016

  Advancing cryptanalytic methods through evolutionary computing, GACR, GA16-08565S, 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

  Advanced Methods for Evolutionary Design of Complex Digital Circuits, GACR, GA14-04197S, 2014-2016, completed, start: 2014-01-01, end: 2016-12-31
  Detail

  Architecture of parallel and embedded computer systems, BUT, FIT-S-14-2297, 2014-2016, completed, start: 2014-03-01, end: 2016-12-31
  Detail

• 2012

  Excellent Young Researchers at BUT, MŠMT CR, CZ.1.07/2.3.00/30.0039, 2012-2015, completed, start: 2012-07-01, end: 2015-06-30
  Detail

  Sensors and computing infrastructure to support education in classification, recognition and evolutionary algorithms, FRVŠ MŠMT, FR2306/2012/Ab, 2012, completed, start: 2012-01-01, end: 2012-12-31
  Detail

  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 recognition and presentation of multimedia data, BUT, FIT-S-11-2, 2011-2013, completed, start: 2011-01-01, end: 2013-12-31
  Detail

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

  Nasazení pokročilých optimalizačních technik při návrhu moderních číslicových obvodů založených na rekonfigurovatelných architekturách, FRVŠ MŠMT, FR298/2011/G1, 2011, completed, start: 2011-01-01, end: 2011-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

  Natural Computing on Unconventional Platforms, GACR, GAP103/10/1517, 2010-2013, completed, start: 2010-01-01, end: 2013-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

• 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

  Support for bioinformatics and biocomputing courses, FRVŠ MŠMT, FR2112/2009/G1, 2009, completed, start: 2009-01-01, end: 2009-12-31
  Detail

  TeamIT - Building Competitive Research Teams in IT, MŠMT CR, EE2.3.09.0067, 2009-2012, completed, start: 2009-09-01, end: 2012-08-31
  Detail

• 2007

  Design and hardware implementation of a patent-invention machine, GACR, GA102/07/0850, 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

  Biology-inspired hardware teaching support, FRVŠ MŠMT, FR825/2006/G1, 2006, completed, start: 2006-01-01, end: 2006-12-31
  Detail

  Methods of polymorphic digital circuit design, GACR, GA102/06/0599, 2006-2008, completed, start: 2006-01-01, end: 2008-12-31
  Detail

• 2005

  Evolutionary desing of sorting and median networks using FPGA, FRVŠ MŠMT, FR3042/2005/G1, 2005, completed, start: 2005-01-01, end: 2005-12-31
  Detail

  Using evolutionary algorithms for implementation of adaptive image filter in FPGA, FRVŠ MŠMT, FR2987/2005/G1, 2005, completed, start: 2005-01-01, end: 2005-12-31
  Detail

• 2004

  Modern Methods of Digital Systems Design, GACR, GA102/04/0737, 2004-2006, completed, start: 2004-01-01, end: 2006-12-31
  Detail

• 2003

  Evolvable hardware based applications design methods, GACR, GP102/03/P004, 2003-2005, completed, start: 2003-01-01, end: 2005-12-31
  Detail

• 2001

  Formal Approaches in Digital Design Diagnostics - Testable Design Verification, GACR, GA102/01/1531, 2001-2003, completed, start: 2001-01-01, end: 2003-12-31
  Detail