-
👋 Hi, I’m Kristin Rutenkolk (sometimes wiredaemon on the internet)
I'm formerly a CS phd student at Heinrich Heine University of Düsseldorf in Germany working at the chair of Software Engineering and Programming Languages .
-
👀 I’m interested among other things in:
-
formal methods
-
programming languages
-
functional programming
-
logic programming
-
gpu programming (Cuda, halide, OpenGL, Vulkan(not if I can choose))
-
exact real arithmetic
-
self-validating numerical methods such as:
- Interval arithmetic
- ball arithmetic
- affine arithmetic
- others
-
real constraint solving (such as ibex-lib)
-
current programming languages of choice (roughly in order):
- f#
- clojure
- java
- prolog
- zig
- c++
-
I have a twitter but I'm no longer very active there.
I'm doing a bit of open source programming here and there, mostly clojure at the time of writing.