Ing. Lukáš Krejčí

Position

Ph.D. student

Room

T2:B3-454

E-mail

krejclu6 [at] fel.cvut.cz
Ing. Lukáš Krejčí

Research interests

  • Model-Based testing of automotive distributed systems
  • Utilization of machine learning and machine perception in model-based testing of automotive distributed systems

Doctoral study

  • Ph.D. student since February 2015
  • Disertation topic: Methods for testing of automotive distributed systems
  • Disertation thesis: Automatic Prioritization and Failure Prediction for Model-Based Testing

Teaching activity

Education

  • 2012 - 2014: Czech Technical University in Prague, Faculty of Electrical Engineering
    • Area of study: Computer engineering
    • Master's degree: June 2014
    • Master's thesis: AMM network data concentrator software facility
  • 2009 - 2012: Czech Technical University in Prague, Faculty of Electrical Engineering
    • Area of study: Computer systems
    • Bachelor's degree: June 2012
    • Bachelor's thesis: Wireless sensor network protocol development

Theses Topics

► Integration testing of Automotive ECUs - generation of tests from Timed Automata models and methods for automatic prioritization of parts of tested system.