Communication Services and Networks 2018/2019
Computer and communication networks 2015/2016, 2017/2018, 2020/2021
Data structures and algorithms 2019/2020
Digital systems description 2010/2011 - 2014/2015
Digital systems design 2011/2012, 2012/2013
Object oriented programming 2013/2014
Specification means 2015/2016 - 2017/2018
Switching and routing in IP networks 2014/2015 - 2020/2021
Team project 2011/2012
WAN technologies 2014/2015 - 2019/2020


Bachelor thesis

  • Digital system power estimation based on SystemC model. 2014
  • Equivalence checking of hardware designs using mathematical logic. 2014
  • Generation of state machines for power management. 2016
  • Generation of diagnostic communication in IP networks. 2017
  • Generation of diagnostic communication in IP networks. 2017
  • Embedded-systems communication using Bluetooth Low Energy. 2017
  • Utilization of the LoRa technology in healthcare IoT devices. 2018
  • Automated evaluation of a network device configuration. 2018
  • Automation of text editing in the LaTeX format. unfinished
  • Automation of text editing in the LaTeX format. 2019
  • Generation of test communication in IP networks. 2019
  • Secured automated evaluation of a network configuration. 2019
  • Web system for testing of network-devices configurations. 2020
  • Automation of test communication in IP networks. in progress
  • Centralized planning of communication in the Internet of Things environment. in progress
  • Web system for testing of algorithmic tasks in the C programming language. in progress
  • Energy-efficient authorization of blockchain operations for use in the Internet of Things. in progress

Master thesis

  • Formal verification of the refined specification in HSSL. 2013
  • Power estimation of system-level hardware model. 2014
  • Synthesis of hardware power-management specification. 2016
  • Automation of power-management specification in system model. 2017
  • Automatization of power-management specification of system model in time . 2017
  • Estimation of power-management effect on dynamic power consumption. 2017
  • Estimation of power-management effect on static power consumption. 2017
  • Energy-efficient communication of Internet of Things devices using timing channels. 2018
  • Increasing communication efficiency of IoT devices by changing parameters of a communication protocol. 2018
  • Increasing communication efficiency of IoT devices by minimizing collisions. 2019
  • Optimizing security of communication in Internet of Things by OpenHIP. 2019
  • Power management automation for FPGA platform. 2019
  • Simplifying power intent specification at the RTL level. 2020
  • Optimization of LoRa Devices Communication for Applications in Healthcare. 2020
  • Increasing communication efficiency of IoT devices by redundancy of access points. in progress
  • Increasing the security of Internet of Things using Honeypot. in progress