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
111
reputation
1
3

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.

1
answer
0
questions
~913
people reached
  • Portugal
  • Member for 4 years, 1 month
  • 1 profile view
  • Last seen Mar 17 at 14:51

Top tags (2)

Score 1
Posts 1
Score 1
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (4)

Gold

Silver

1

Rarest

Bronze

3

Rarest