Hariharan Thiagarajan
Senior Software Engineer at Zoox Inc.
About Me
I am a Senior Software Engineer at Zoox Inc., where I focus on improving middleware and robotic platform development. With a strong background in formal methods and static analysis, I bring academic rigor to practical software engineering challenges.
Research Interests
- Formal Methods
- Static Analysis
- Model-Based Safety and Security Assessment
- High Assurance Systems
- Information Flow Analysis
Education
- Ph.D. in Computer Science, Kansas State University
- Research focused on model-based safety and security assessment of high assurance systems
Current Work
At Zoox Inc., I am working on:
- Middleware development for autonomous vehicles
- Robotic platform improvements
- System architecture and safety-critical software development
Contact
Feel free to reach out to me through: