Tianyi Liang
250
reputation
2
11
Implementing a parallel first-order Theorem Solver by JAVA/Scala (previously) and now C++/Charm++. Focusing on performance issue now.