![Trustworthy Systems - Boeing ULB helicopter Boeing ULB helicopter flying in the sky](/content/dam/images/engineering/computer-sci-eng/stock/2022-10-cse-research-groups/2022-10-boeing-ulb-helicopter.cropimg.width=335.crop=video.jpeg)
Focusing on the design, implementation and verification of real-world software systems that are safe and secure in the strongest sense – that of mathematical proof – the Trustworthy Systems Group’s activities range from fundamental research, to the creation of technology and its transfer to the real world. Areas include: operating systems; formal methods; programming languages, and cybersecurity.