Research topics

• Cyber-physical systems: design, verification, decomposition and implementation of cyber-physical systems (CPSs) in FPGA devices and microcontrollers (e.g., Arduino, Raspberry Pi); modeling of the control part of the CPS using UML state machine diagrams and Petri nets
• Cybersecurity: cryptography and cryptanalysis; application of blockchain technology in the design of secure and trusted electronic services (e.g., durable medium); development and analysis of cryptographic algorithms; application of cryptography in hardware and software implementations
• IT systems: modeling and analysis of business processes in BPMN notation; system requirement analysis; use case modeling; specification and design of IT systems using UML

Teaching topics

• Design, verification, and implementation of cyber-physical systems
• System requirement specification and modeling of IT systems
• Business process modeling
• Discrete process control
• Cybersecurity, cryptography, cryptanalysis, data security
  
  

Publications