Robby     Robby, Ph.D.
    Associate Professor

    SAnToS Laboratory
    Department of Computing and Information Sciences
    Kansas State University
    324B Nichols Hall, Manhattan, KS 66506
    Phone/Fax: (785) 532-6350/7353
    E-mail: robby@k-state.edu

    Calendar   CV   DBLP   Projects   Teaching

Sireum  MDCF  Compilers  ...

Sireum v2        Spark/Ada Front-End for Java, Scala, and Coq/OCaml        MDCF DML