Joe Gershenson

Joe joins Infer from Facebook's infrastructure engineering team, where his work focused on using large data sets to prepare datacenters for disaster scenarios. Before Facebook, he founded GazeHawk, a YCombinator-funded startup which built eye-tracking software using computer vision and machine learning techniques. Joe has Bachelor's and Master's degrees from Carnegie Mellon and is a good guy to ask if you have urgent questions about model checking omega cellular automata.