Senior Software Engineer
- Dataflow analysis for the new solver to track versions of each locals and properties,- Building atop the data flow graph, implemented type refinements for the new solver,- Added in negation types to handle the inverse of propositions generated by type refinements,- Building atop the dataflow graph, implemented type states for the new solver,- Building.