Explore projects

Tight-binding Propagation Simulator for python 3.

Grammatical inference using the Z3 SMT solver

The paper on learning SSH which we hope to submit at http://conf.researchr.org/home/spin-2017 .

Build and CI scripts for Clean

Presentations, Documents, etc. related to my Master's Internship at HEP.