I am very interested in using formal methods such as model checking, static analysis, SMT solvers, as well as testing to improve quality of software systems. I am pursuing the expertise in software verification research and software project management.
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
