Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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 6 years, 8 months
  • 3 profile views
  • Last seen Feb 21 at 9:30