Skip to main content
Share Your Experience: Take the 2024 Developer Survey
dsannella's user avatar
dsannella's user avatar
dsannella's user avatar
dsannella
  • Member for 3 years, 9 months
  • Last seen more than 2 years ago
Stats
37
reputation
854
reached
0
answers
3
questions
About

I'm a professor of Computer Science at the University of Edinburgh, and co-founder and CEO of Contemplate Ltd. I'm interested in functional programming, static analysis, formal methods for software specification and development, and semantics of programming languages.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
Top tags
0
Score
3
Posts
100
Posts %
0
Score
1
Posts
33
Posts %
Top posts