Soy un científico informático (pero en realidad un ' ex-matemático ') que trabaja principalmente en lo que llaman métodos formales .