1097444 36d0e5d1a59420c3c22bcde6d504cc2d adolfont http://gravatar.com/adolfont adolfont http://0.gravatar.com/avatar/36d0e5d1a59420c3c22bcde6d504cc2d http://0.gravatar.com/avatar/36d0e5d1a59420c3c22bcde6d504cc2d thumbnail Adolfo Neto Adolfo Neto adolfont I have a Ph.D. in Computer Science. My interest areas are theorem proving, computer science logic, software development.