I've got 15 years of experience as a software developer. I'm always trying to find or use good abstractions. I've got rather extensive experience with functional and syntactical abstractions using Scheme, and am now increasingly interested in static program analysis and type systems. I'm interested in learning new programming languages like ATS, Idris, also Erlang, Clojure and Julia. I could see myself bring the most benefit in areas where special approaches need to be taken (security sensitive areas, perhaps high-performance computing, embedded devices).
Stack: Scheme, C, (Haskell); Perl has been my technology of choice in the past. Serverside / web / Gtk+.
https://github.com/pflanze?tab=repositories
Resume: http://christianjaeger.ch/resume/
Contact: http://christianjaeger.ch/contact.html
I've got 15 years of experience as a software developer. I'm always trying to find or use good abstractions. I've got rather extensive experience with functional and syntactical abstractions using Scheme, and am now increasingly interested in static program analysis and type systems. I'm interested in learning new programming languages like ATS, Idris, also Erlang, Clojure and Julia. I could see myself bring the most benefit in areas where special approaches need to be taken (security sensitive areas, perhaps high-performance computing, embedded devices).