addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgoogleimageimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Peter T.

Event Organizer

Location:

Nürnberg
Hometown:

Member since:

April 1, 2014

What's your familiarity with Haskell or Functional Programming?

I am the Haskell compiler maintainer at openSUSE and I wrote the PowerPC 64-bit native code backend. Apart from Haskell I have done Scheme back in university and right now I also use OCaml and coq.

Do you have experience in other programming languages?

C, C++, Java.

What topics are you most interested in?

Secure/save programming and language support for that. Formal program verification.

Introduction

Professor at Technische Hochschule Nürnberg


Interests

  • Not yet added

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