I am a third-year PhD student at Chalmers University. I work on the Octopi project.
Currently, I am contemplating the role of time and asynchrony in programming languages, natural languages, music, and the wider physical world.
My research, in particular, engages in structuring asynchrony into a general language and runtime framework. I conduct my experiments on low-powered, memory-constrained microcontrollers running embedded and IoT applications.
Topic-wise I am broadly interested in the following in no particular order :
- Virtual Machines
- Computer Architecture
- Type systems
- Static Analysis
Quotes that drive my research:
“The price of reliability is the pursuit of the utmost simplicity.
It is a price which the very rich may find hard to pay.” ~ Tony Hoare
“It has long been my personal view that the separation of practical and theoretical work is artificial and injurious. Much of the practical work done in computing, both in software and in hardware design, is unsound and clumsy because the people who do it have not any clear understanding of the fundamental design principles of their work. Most of the abstract mathematical and theoretical work is sterile because it has no point of contact with real computing.” ~ Christopher Strachey
I have started reviewing books on Goodreads. You can find a collection of my reviews here