Reliable software and Neural Network Lab.

Our mission:  Our goal is to contribute to a safer world amid the escalating vulnerability to security breaches in software and neural networks. This concern is expected to intensify in the future with the advent of the Software 2.0 era and ambient computing environments. As we move towards this future, characterized by ubiquitous smart computing devices shaping our daily lives, the challenge of preventing glitches in software and neural networks becomes paramount. The need for safeguarding sensitive information within diverse software applications and dynamic operational settings is evident. In response, we are dedicated to researching and developing theories, methodologies, and proofs aimed at significantly reducing, and ultimately eliminating, the costs associated with software failures, recognizing the imperative of securing our digital landscape in the face of evolving technologies. To achieve this ambitious goal, we are currently working with several collaborators listed here.