Computer Science student mostly interested in programming languages, theorem proving/logical systems, concurrent systems and back-end web development. Beep boop