Harshit Jitendra Motwani
Projektass. / PhD
Research Areas
- Artificial Intelligence, Automated Reasoning, Applied Geometry, Software Verification, Applied Algebra, Formal Methods
Role
-
PostDoc Researcher
Formal Methods in Systems Engineering, E192-04