Switzerland · Formal Methods · Reviewed 2026-10-15

Dr. Farhad Mehta

Head of the Institute for Software in Rapperswil, internationally recognized for research in formal methods, safety-critical software verification, and high-assurance distributed systems.

Official faculty profile ↗Research checked, not sponsored

Documented research interests and leadership

Research areas: Formal Methods, Software Verification, Cybersecurity, Programming Languages
Academic position: Professor of Computer Science and Head of the Institute for Software (IFS)
Primary university source: Official directory entry ↗
Recruitment status: Not verified. Leadership profile does not imply active vacancies or assistantship availability.

Supervision and contact

Students interested in graduate or doctoral research supervision in Formal Methods, Software Verification, Cybersecurity are advised to consult formal department application channels.

OST guide ↗Computer-science subject guide ↗Mentorship ↗

Important verification note

Facts reflect official university directory records reviewed 2026-10-15. Faculty recruitment and admissions require formal application.

Reviewed 2026-10-15 · Editorial standards · Report an issue