TSIS Lab.
Software systems are artifacts of people, and should be friends of people. They should be as correct, secure, reliable, and intelligent as possible. Compared with upper applications, the above characteristics of the foundamental software of modern computing and communication platforms are particularly important.