My research has been centered around programming language theory 鈥� principles of programming and the mathematical basis for programming paradigms such as functional or object-based or object-oriented or (dependently) type-theoretic; computation schemes, approximation theories/computability. In practical terms this means a certain knowledge of the fundamental principles behind languages such as Java, C#, C++, Objective-C, Scala, etc but also JavaScript/AIR (object-based) as well as other kinds of languages, especially e.g. F#, Haskell, Standard ML, Scala, Erlang. I have also practical programming experience beyond teaching and supervising student projects at an advanced level on such princ...
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
