Department of Software and Computer Architecture
Head
PhD, DSc Krzysztof Cabaj
e-mail: krzysztof.cabaj@pw.edu.pl
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