Alexander Faithfull

Here I am, being skeptical of a glass of wine.
Her ser jeg meget skeptisk på et glas vin.

Who I am

Hvem jeg er

I'm a research programmer in the Department of Computer Science at the IT University of Copenhagen. My job is to work with researchers to implement and experiment with their ideas.

Jeg er forskningsprogrammør på IT-Universitetet i Københavns Institut for Datalogi. Jeg arbejder med vores forskere for at virkeliggøre og eksperimentere med deres idéer.

I come from Scotland, and have lived in Denmark since December 2011. I speak Danish, for some reason.

Jeg kommer oprindeligt fra Skotland, og har boet her i Danmark siden december 2011. Af en eller anden grund kan jeg dansk. (Det har du måske allerede mærket.)

I own too many Hawaiian shirts and not enough sensible ones; to the right, you can see me modelling Hibiscus Mania. (I also have it in red!)

Jeg ejer alt for mange hawaiiske skjorter. Til højre fremviser jeg en, der hedder Hibiscus Mania. (Den har jeg også i rød!)

What I've done

Hvad jeg har lavet

For Thomas Hildebrandt, I developed Big Red, an Eclipse-based graphical editor (and a set of reusable libraries and components) for working with bigraphs. I presented this work at GCM 2012.

For Thomas Hildebrandt udviklede jeg Big Red, en Eclipse-baseret grafisk editor (sammen med nogle genanvendelige komponenter) for at arbejde med bigrapher. Dette arbejde præsenterede jeg for GCM 2012.

With Jesper Bengtson, I work on Coqoon, an Eclipse-based IDE for the Coq proof assistant, built on top of the PhD thesis of Hannes Mehnert. I presented this work at TACAS 2016.

Under Jesper Bengtson arbejder jeg på Coqoon, et Eclipse-baseret integreret udviklingsmiljø til bevisassistenten Coq, der bygges på PhD-arbejdet af Hannes Mehnert. Dette arbejde præsenterede jeg for TACAS 2016.

Worried about getting typecast, I branched away from Eclipse a bit in 2016, and now I also work in the Scalable Similarity Search project with Martin Aumüller to implement high-performance similarity search algorithms and a benchmarking framework to test them. I'll be presenting our paper about that framework at SISAP 2017 later this year.

For at undgå »typecasting« (som man tilsyneladende også siger på dansk) som Eclipse-programmør forgrenede jeg mig lidt i 2016, og jeg er nu også med i Scalable Similarity Search-projektet. Sammen med Martin Aumüller implementerer jeg søgealgoritmer med høj ydeevne, samt et benchmarkingsystem for at kontrollere, at de fungerer godt. Senere i år præsenterer jeg vores artikel om dette system for SISAP 2017.

I'm comfortable programming in C, C++, Python, Java, Scala, JavaScript (shudder) and the POSIX shell (even bigger shudder). I can just about program in OCaml and Standard ML when it's absolutely necessary. (I keep meaning to learn Rust, but I haven't yet. I will! Honestly!)

Jeg har det godt med at programmere på C, C++, Python, Java, Scala, JavaScript (selv om det er lidt uhyggeligt) og POSIX-shell (selv om det er enormt uhyggeligt). Bliver det nødvendigt, kan jeg også programmere på OCaml og Standard ML. (Jeg lærer Rust så snart som muligt. Grin ikke! Det skal jeg! Helt sikkert!)

What I've written

Hvad jeg har skrevet

Quite apart from all the programs, there are also some papers (all of which I also presented):

Udover programmerne har jeg også skrevet (og præsenteret) nogle få artikler:

Where I am

Hvor jeg findes

Room 4B11
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Lokale 4B11
IT-Universitetet i København
Rued Langgaards Vej 7
2300 København S

Like every other programmer in the universe, I'm also on GitHub, and — incredibly — I even have my own e-mail address: alef. (Oh, you wanted a domain as well? Try the ITU's.)

Ligesom alle andre programmører i vore dage har jeg også en konto hos GitHub, og — som noget helt vildt — har jeg også min egen e-mailadresse: alef. (snabel-a ITU's domænenavn.)