I have recently completed a research master's degree on formal languages. After a brief sojourn in the software industry, I'm starting work on a PhD.