Jorge Adriano

Computer Scientist and Mathematician. Experienced in the fields of Semantics of Functional Programming Languages, Machine Learning and Artificial Intelligence, with a foundational background in Mathematics. Interested in semi-formal and formal program development, specification and verification. Fond of dependently typed programming, interactive proof-assistants, deductive program verification, algebraic specification, temporal logic based specification, and full system modelling.

  • Portugal
  • Member for 7 years, 7 months
  • 3 profile views
  • Last seen Mar 23 at 14:10