Programming Systems Group

Department of Computer Science, School of Computing
Tokyo Institute of Technology


The goal of the Programmings Systems Group is to develop mechanisms to simplify the development of secure and reliable computing systems. The approach of the group is multidisciplinary: research is conducted in logics, programming/specification languages and middleware.


…or you can find more in the archives.