Stephen Kell does practical research on programming systems, with the the goal of making computers work for human beings and not vice-versa, and a focus on infrastructure software including operating systems and language runtimes. Some past and present research topics include: realistic formal and metaprogrammable specifications of operating systems’ linking, loading and system call interfaces; reflective run-time services in Unix-like processes; using the latter to provide new kinds of dynamic checking in C and other ‘unsafe’ languages; and making debugging of optimized code more reliable. Currently he holds an academic position at King’s College London.

Web: https://humprog.org/~stephen Mastodon: https://recurse.social/@stephenrkell