Prof. Dr. Shinji Takahashi

Professor of Computer Science & Software Engineering · Faculty of Science and Engineering · Nanzan University (Nagoya Campus)

Faculty directory / institutional page ↗Sourced profile

Academic focus & active research

Prof. Dr. Shinji Takahashi leads software engineering research at Nanzan, specializing in model checking, formal verification, and mission-critical embedded systems for automotive applications.

Model Checking in Automotive Software Concurrent Programming Languages Fault-Tolerant Architectures

Supervision & prospective applicants

Scholars preparing thesis research, graduate admissions, or collaborative inquiries at Nanzan University (Nagoya Campus) should consult the department directory for current lab openings, funding availability, and research prerequisites.

Institution: Nanzan University (Nagoya Campus)
Department / Faculty: Faculty of Science and Engineering
Primary Field: Model Checking in Automotive Software
Campus Location: Nagoya, Aichi Prefecture, Japan

Faculty directory ↗All Nanzan University opportunities ↗Mentorship ↗Ask us — free ↗

Editorial review

Faculty listings are compiled from official university publications, academic directories, and institutional portals reviewed on 2026-10-15. OpenField is an independent research guide and is not formally affiliated with or endorsed by Nanzan University (Nagoya Campus).