Asst. Lect. Marcin Wojnakowski, Ph.D.
E-mail: M.Wojnakowski@issi.uz.zgora.pl
Room: 322
Schedule

Research topics

• Petri net theory
• Analysis of boundedness, safeness and liveness of Petri nets
• Concurrent control systems
• Cyber-physical systems Petri net-based specification of manufacturing systems
• Verification of Petri net-based models
• Implementation of control systems in FPGA devices
• Hardware validation
  
  

Teaching topics

• Digital system design: basic logic gates, combinational circuits, sequential circuits, Moore and Mealy state machines, Verilog hardware description language, implementation in re-programmable FPGA devices
• Principles of programming: C language
• Data safety and cryptography: historical ciphers, block ciphers, hash functions, symmetric and asymmetric cryptography, data access security

Publications