I am a third year PhD student at Chalmers University. I work on the Octopi project.
I am currently thinking about how asynchrony manifests itself in programming languages, natural languages and the physical world in general.
As a consequence of the above, I am searching for ways to structure asynchrony into a general language and runtime framework. My experiment testbed is centred around 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 drives 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