Peter Urbak
1 SlideShare
Personal Information
Organization / Workplace
Central Region, Denmark Denmark
Occupation
Software developer at OpenTeleHealth
Industry
Technology / Software / Internet
Website
https://github.com/dragonwasrobot
About
Computer scientist with interests in: programming languages, software architecture, distributed systems along with mobile and web development. I have a soft spot for good user experience, and currently working as a software developer at OpenTeleHealth on the OpenTele project. I am a bit of a film geek and an active concertgoer.
Contact Details
Tags
coq science mathematics
See more

Presentations

(1)

Master's Thesis: A Formal Study of Moessner's Sieve

8 years ago • 306 Views
Personal Information
Organization / Workplace
Central Region, Denmark Denmark
Occupation
Software developer at OpenTeleHealth
Industry
Technology / Software / Internet
Website
https://github.com/dragonwasrobot
About
Computer scientist with interests in: programming languages, software architecture, distributed systems along with mobile and web development. I have a soft spot for good user experience, and currently working as a software developer at OpenTeleHealth on the OpenTele project. I am a bit of a film geek and an active concertgoer.
Tags
coq science mathematics
See more