Department of Software and Computer Architecture


PhD, DSc Ilona Bluemke

e-mail: I.Bluemke[at]
phone  (+48-22) 234-1392
room 315

Research profile

Analysis and design of digital systems taking into account practical aspects of architecture, system and application software

  • modelling, formal methods and tools for designing information systems
  • parallel processing, distributed, communication protocols
  • methodology of software design and development embedded and real-time
  • systems reliability of computer systems (reliability, availability, performance, security, etc.)
  • hardware and software testing, diagnostics and fault tolerance in digital systems
  • advanced logical synthesis

Ongoing research work

  • analysis of propagation and effects of errors and techniques for their handling 
  • DedAn 
  • deadlock analyzer methodology of design and verification of complex systems
  • programming models
  • techniques and applications of data analysis in control, monitoring of systems and knowledge discovery


PhD students