Parth Ganeriwala

|

I design and build systems that are safe, and work well.

About

Hi! I'm Parth and I'm a Graduate Research Assistant, and a doctoral student in Computer Science at Florida Institute of Technology.

I was always curious about the "behind-the-scenes" of literally anything and everything, and with the introduction of the television show, ’Mr.Robot’, I knew computer science piqued my interest.

Take a look at my work below to see what I'm working on, and get in touch if you'd like to work together!

Skills

My Work

Check it out!

Soar to nuXmv Translator

A tool converting SOAR (State, Operator, And Result) specifications into NuXmv-compatible models for formal verification and analysis of reactive systems.

Other Projects

Coming Soon...

Contact

I'm currently available to get involved in new projects, so get in touch if you'd like to work together.

Email me at ganeriwalaparth@gmail.com and let's talk about your project!