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
591
reputation
4
6

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.

6
answers
0
questions
~4k
people reached
  • Portugal
  • Member for 6 years, 1 month
  • 14 profile views
  • Last seen May 12 at 18:49

Top tags (12)

Score 41
Posts 1
Posts % 17
Score 3
Posts 1
Score 3
Posts 1
Score 3
Posts 1
Score 1
Posts 2
Score 1
Posts 2

Top posts (6) All Questions Answers | Votes Newest

Badges (10)

Gold

Silver

4

Rarest

Bronze

6

Rarest