Tamanna Shimpa Arora
Scientific Researcher @Thomas J. Watson College Of Engineering And Applied Science, Binghamton University
Signup · Get unlimited contacts
WORK HISTORY
Scientific Researcher @Thomas J. Watson College Of Engineering And Applied Science, Binghamton University
Binghamton, NY, US
Work in a team of two under the supervision of Binghamton University Computer Science Professor William Hallahan to verify SAT solvers using Liquid Haskell and Generalized Algebraic Data Types Program a SAT solver for Boolean logic formulas as input and outputs, and provide validity of the given formula Verify Davis - Putnam - Logemann - Loveland SAT Solver algorithm using Liquid Haskell, which allows developers to specify correctness properties using refinement types
EDUCATION
Thomas J. Watson College of Engineering and Applied Science, Binghamton University
Bachelor of Science - BS
ABOUT TAMANNA SHIMPA ARORA
I am a Second Year Student at Binghamton University majoring in Computer Science and…
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.