Matthew Mirman
- Role
- Datasuite Dev at Chat.Dev
- Location
- Brooklyn, NY, US
- LinkedIn followers
- 500 followers
Experience
Datasuite Dev
Present
Skills
- Llvm
- Programming Language Theory
- Javascript
- Substructural Types
- Algorithms
- Puppet
- Neo4j
- Artificial Intellegence
- Recursion Theory
- Agda
- Ray Tracing
- Sml
- Functional Programming
- Compilers
- Perl
- Mysql
- Twelf
- Haskell
- C++
- Computational Geometry
- Modal Types
- Mathematics
- Compiler Design
- Dependent Programming
- Mongodb
- Logic Programming
- Type Theory
- C
- Programming
- Metaprogramming
- Machine Learning
- Linux
- Complexity Theory
- Chef
- Scalability
- Emacs
- Software Engineering
- Bash
- Software Development
- Python
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.