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