Forschungsportal

Lehre Forschung Organisation

Personenprofil

Projektass.

Harshit Jitendra Motwani

PhD

Telefon

E-Mailharshit.motwani@tuwien.ac.at

Zugeordnet

E192-04

Visitenkarte

https://orcid.org/0000-0002-2142-4254

Zugehörigkeit
Keywords

Forschungsbereich

Name	Leitung/Mitglied
Research Unit of Formal Methods in Systems Engineering	Mitglied

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
Artificial Intelligence	Artificial Intelligence
Automated Reasoning	Automated Reasoning
Angewandte Geometrie	Applied Geometry
Software Verifikation	Software Verification
Angewandte Algebra	Applied Algebra
Formale Methoden	Formal Methods

Support | Policies | Impressum | Datenschutz

Technische Universität Wien - Karlsplatz 13 | 1040 Wien, Österreich | Tel. +43-1-58801-0