Undergraduate :: Xin Ma

Contact Information:

Projects Involved with:

    More Information:
    • Currently working on implementing a Java interface for sat solver and theory prover, which are both written in C++ programming language.

    For questions and suggestions contact the webmaster
    Formal Methods Group, CS Department, University of Toronto 2004