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 (61)
logic10
visjs9
sat-solver9
philosophy9
editing9
homotopy-type-theory8
category-theory8
type-theory8
coq8
agda8
proof-assistant7
dependent-types7
emacs7
wordnet7
theorem-proving7
Programming languages (10)
Github contributions (5)
wyleyr/schoolutils
Dec 2010 - Jul 2017
Contributions:330 commits, 3 pushes in 6 years 7 months
SfS-ASCL/metadatatransformation
May 2021 - Aug 2021
This repository should be used for a new web-application that packages all metadata transformation services into one
Contributions:5 PRs, 81 pushes, 9 branches in 3 months
transformationweb-applicationdata-catalogmetadata-managementmetadata
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.