Finally getting around to my new year’s resolution… I’m looking for PhD opportunities! I’m enjoying myself doing professional software dev right now, but I promised myself after my master’s that I’d try going back to academia eventually; this is the year I want to set that up. So I’m wondering if anyone on here knows of anything that's available. :>
Generally I’d love to do work involving programming languages in the broadest sense of the word, but also involving something that's not traditionally PL theory. For example:
Human factors in PL design: learnability, cognitive processing, etc.
Going beyond plain text for programming: graphical languages, alternative ways of storing & editing code (e.g. Unison), etc.
Applying proof assistants / type theories outside of pure mathematics: natural language semantics, experiment design, etc.
