Current research of Dr. L. Józwiak and of the Section of Digital Circuits and Formal Methods chaired by him focuses on the theory, methods and tools for modelling, analysis, synthesis and optimisation of digital circuits and (embedded) hardware/software systems. Quality-driven design methodology, general decomposition theory, intelligent design-space exploration methods, multi-objective decision making, information relationships and measures, graph and diagram based methods, and formal verification are used to design high-quality circuits, (embedded) systems and (re-configurable) custom computing machines, and to implement them in ASICs, (C)PLDs and FPGAs. Most of the research is being performed in the scope of the ICS/CND research sub-program Design and Optimisation of Digital Circuits (ICS/CND-2)
Dr. Eng. Lech Józwiak - Associate Professor, Section Chair
M. Sc. Eng. Szymon Bieganski - Ph.D. Candidate
M. Sc. Eng. Aleksander Slusarczyk - Ph.D. Candidate
M. Sc. Eng. Artur Chojnacki - Ph.D. Candidate
Eng. Andy Ong - Ph.D. Candidate