Programming Languages Websites

Kristopher Micinski is an assistant professor in the Electrical Engineering and Computer Science department at Syracuse University. His research focuses on designing scalable logical reasoning systems for code analysis, analytic reasoning, and symbolic AI. He is interested in extensions to Datalog and applying these engines to reverse engineering, static analysis, medical reasoning, and related fields. His work also includes logics for security and formal methods to reason about a program's (in)security, as well as programming language semantics and analysis. He is looking for motivated undergraduate, masters, and doctoral students to work on research in programming languages and security.

Elia Scotto is an Italian software engineer living in Australia. He writes articles and code, focusing on programming languages and software. He also reviews books, movies, and games. Elia is interested in building better software for readers.

Richard Kallos is a programmer who enjoys computer science and learning new programming language paradigms and studying compilers. He is currently a senior Elixir developer at MarketOps. Previously, he wrote Erlang for Grindr and Samsung Ads (formerly Adgear). Outside of programming, he enjoys reading, running, and singing in choirs.

Douglas Creager is a software engineer at Astral, focusing on type checking and developer tooling for Python. He has a long-standing interest in programming languages. Outside of work, he explores programming languages and develops his own. His background includes low-level performance, reliability, and security analysis of network traffic. He co-edited two draft W3C specifications: Reporting Network Error Logging (NEL). Douglas also runs a consultancy, Walland Heavy Research, bridging the gap between academia and industry, helping academics productionize research and engineers adopt state-of-the-art techniques.

Nick Benton is an Engineering Manager at Facebook in London, supporting the Hack London team and the Facebook Languages Research (FLaRe) team in Paris. His research ranges from proof theory and categorical logic, through semantics of programming languages and static analyses, to programming language design and compiler implementation. He has a degree in Mathematics and a PhD in Computer Science, both from the University of Cambridge. He is a Fellow Commoner of Queens' College, where he was previously a Bye-Fellow. Before joining Facebook, he spent 18 years at Microsoft Research in Cambridge. Prior to that, he was an SERC Research Fellow, an RA on an EU ESPRIT project and Senior Research Scientist at Persimmon IT, Inc. He has served as Editor-in-Chief of Computer Languages, Systems and Structures (Elsevier) and is currently a member of the Editorial Boards of the Journal of Functional Programming (CUP) and Logical Methods in Computer Science.