Collaborator with the University of Granada, Spain. Interested in software proof and testing with Spark and Ada.