معرفی
Stephen Kell is a Lecturer (equivalent to Assistant Professor) in the Department of Informatics at King's College London, where he specializes in systems programming, compiler optimization, and debugging tools. He holds a PhD from the University of Cambridge and has held roles at the University of Oxford, USI, and the University of Kent. His research focuses on improving software development efficiency and safety, particularly through projects like liballocs (runtime metadata tracking) and libcrunch (runtime type checking for unsafe languages). He has contributed to formalizing C semantics, enhancing debugging capabilities, and eliminating foreign function interfaces (FFIs).
Education: BSc and PhD in Computer Science from the University of Cambridge (2005 and 2010, respectively). Professional roles include Senior Research Associate at the University of Cambridge's Computer Laboratory and visiting researcher at the Department of Computer Science and Technology. His work emphasizes practical systems design, bridging gaps between high-level languages and low-level systems.
Key research areas include Unix process environment evolution, unsafe-language safety enhancements, and cross-language interoperability. He has received awards for his contributions to programming language research and tool development. His collaborations include projects with Arm, Pernosco, and Sony (SN Systems) through the EPSRC-funded DIADEM initiative.
