I am computer scientist, doing research in computational logic and its applications to modeling and simulation. I have helped to complete an abstract model of a multi-agent system that can be used as an intelligent tool for systems optimization (with some caveats). I am working on applications of that model to computational law and smart, logical contracts. Interests: Logic, Artificial Intelligence, Simulation, Smart Contracts