13ren

learning how to prove algorithms (unfortunately, without having taken undergrad pure maths)

Interested in data integration and maintenance thereof.