Faculty and Researchers
Electric, Information and Mechanical Engineering
Computer Science and Software Engineering
An introduction to faculty staff members and laboratories in the Computer Science and Software Engineering.
Note: Information on the laboratories is current as of the 2020 academic year. There may be changes to this information in the 2021 academic year.
- Distributed Processing Software Laboratory
Formal Methods for Software Engineering
To ensure software reliability, verification and testing in the development stage are extremely important. We are pursuing research on boosting the efficiency of verification and testing, focusing on distributed processing software running on networks.
- Associate Professor
- Software Engineering Laboratory
Software engineering is a science whose goal is to efficiently create high-quality software. This laboratory is working on research related to software engineering, primarily through data analysis.