Jari S.

Location:

Uppsala

Member since:

November 18, 2012

What are you looking to get out of this group?

Learning new things

What level of experience do you have with Riak?

Nil

What programming language(s) do you mainly use

Haskell

Introduction

I'm a CS PhD student, working mainly in theoretical CS and program verification. I've mostly been investigating decidability and complexity issues in different extensions of common computational models, but I would like to do more practical stuff.


No Photo

Interests

  • Not yet added

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy