Richard Lawrence
Researcher at Technical side projects
Vienna, Austria
Summary
👤
Senior🎓
Top SchoolRichard Lawrence is a postdoctoral researcher and developer based in Vienna who bridges formal philosophy, computational linguistics, and applied software engineering across 15 years of research and development experience. He holds a PhD in philosophy (language and logic) from UC Berkeley and has led funded projects at the University of Vienna while building production-facing tools and research interfaces with React, Redux, D3, Python, and Django. Equally at home designing experiments and data pipelines as writing libraries, he authors and maintains several open-source projects (including a React library for GermaNet and CLI/database tooling for education workflows) and contributes patches to long-standing community projects like Org Mode. Known for a deeply analytic approach, he combines rigorous formal thinking with pragmatic engineering to turn linguistic and experimental requirements into robust, reusable software.
15 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD, Philosophy, Doctor of Philosophy - PhD, Philosophy at University of California, BerkeleyBachelor of Arts - BA, Philosophy, Bachelor of Arts - BA, Philosophy at University of Pennsylvania
German, English
Github Skills (50)
visjs10
sat-solver10
philosophy10
logic10
agda9
coq9
type-theory9
editing9
homotopy-type-theory9
category-theory9
theorem-proving8
diagram8
dependent-types8
proof-assistant8
emacs7
Programming languages (10)
Github contributions (5)
wyleyr/hankel1867tr
May 2023 - May 2025
Contributions:2 releases, 130 pushes, 9 branches in 2 years
wyleyr/schoolutils
Dec 2010 - Jul 2017
Contributions:330 commits, 3 pushes in 6 years 7 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.