Difference between revisions of "User:Wolfgang Jeltsch"

From HaskellWiki
Jump to: navigation, search
(added initial information)
 
(deleted blob)
 
(7 intermediate revisions by the same user not shown)
Line 1: Line 1:
I'm interested in and working with Haskell since 1999. Currently, I'm something like a PhD student at the [http://www.tu-cottbus.de/ Brandenburg University of Technology at Cottbus, Germany]. My special research interest are dependent types.
+
I’m interested in and working with Haskell since 1999. Currently, I’m a researcher at the [http://www.ioc.ee/wiki/doku.php?id=en:start Institute of Cybernetics] in Tallinn, Estonia. My research interests are [[Functional Reactive Programming]], logic, type theory, category theory, and related things.
  +
  +
If you want to contact me, write an e-mail to [mailto:g9ks157k@acme.softbase.org g9ks157k@acme.softbase.org].

Latest revision as of 15:30, 26 January 2017

I’m interested in and working with Haskell since 1999. Currently, I’m a researcher at the Institute of Cybernetics in Tallinn, Estonia. My research interests are Functional Reactive Programming, logic, type theory, category theory, and related things.

If you want to contact me, write an e-mail to g9ks157k@acme.softbase.org.