Skip to content


  • Arctic Code Vault Contributor
  • Pro


@smackers @soarlab @javapathfinder
Block or Report

Popular repositories

  1. Forked from emeryberger/CSrankings

    A web app for ranking computer science departments according to their research output in selective venues.


  2. Forked from boogie-org/corral

    solver for the reachability modulo theories problem


  3. Forked from daattali/beautiful-jekyll

    Build a beautiful and simple website in literally minutes. Demo at

    HTML 1

  4. Forked from facebookexperimental/MIRAI

    Rust mid-level IR Abstract Interpreter


  5. Forked from diem/diem

    Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.


695 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri

Contribution activity

April 2021

Reviewed 2 pull requests in 2 repositories
smackers/smack 1 pull request
soarlab/pysmt 1 pull request

Created an issue in CVC4/CVC4 that received 2 comments

Incompleteness of CVC4 - can we do something about it?

We are hitting what seems to be an incompleteness issue with CVC4 when we use it with SMACK on some benchmarks (see smackers/smack#714). When runni…

Opened 1 other issue in 1 repository
5 contributions in private repositories Apr 1 – Apr 14

Seeing something unexpected? Take a look at the GitHub profile guide.