I’m a 22-year-old British student of Computer Science, currently interested in dependent typing and its semantics. I also (at least partially due to those around me) am becoming quite political: expect mental health, treatment of marginalised genders, and other LGBT+ issues to come up from time to time.
As far as programming goes, I far prefer functional languages, with Haskell as my drug of choice, though choice doesn’t seem to come into the equation as often as I’d like, though I am comfortable with a reasonable range of languages, which strangely does not include the only compulsory language for my degree course.1
- Well, I can use Java quite easily, but it makes me feel rather uncomfortable to do so. ↩