Hire the Best OCaml Developers
in the United States

I am a senior software engineer with extensive experience in Haskell, OCaml, C, C++, Prolog, Python, Scheme, Racket, R Studio, Coq, Agda, and Lean4 with an interest in all aspects of programming but a particular focus on functional programming, programming language theory, computability theory, programming language implementation, compilers, parsers, theorem provers, formal methods, probabilistic programming, amongst other things. I also have a background in mathematics research with a particular focus on category theory, probability theory, topology, and formal logic (type theory, predicate calculus, higher-order logic).

I have a PhD in Computer Science. I have experience in software development using multiple programming languages, including Python, Java, PHP, JavaScript, C++, etc. Please refer to my GitHub profile for sample projects. I also have 6 years of college teaching experience. I teach both undergraduate and graduate courses in all Computer Science subjects, including Programming (Python, Java, Haskell, OCaml), Web Development, Database, Data Structure, Algorithms, etc. I can speak and teach in English and Mandarin Chinese.

I am an independent developer of mobile applications. I got my PhD in mathematics from the University of Pittsburgh in 2012 and I worked as a computer science postdoctoral researcher at the University of Utah.

I'm a software developer focused on correctness and formal methods, namely proving the correctness of software systems using theorem provers

Hi, I’m Justin, a full-stack web developer with a background that extends across a number of fields. Much of my professional life is focused on building applications with frameworks like ReactJS, down to simple e-commerce websites in WordPress. I have extensive experience with backend development in python and JavaScript, AWS and GCP for server management, microservice architecture, and more. On the other side of the spectrum, I'm also experienced with creating beautiful, unique designs in Figma. I’ve spent the last 12 years working alongside the founding teams of startups and small businesses, keeping a watchful eye on how a business is built and run off-screen. After my initial years with law and e-commerce startups, I brought my skills to healthcare and elderly care facilities, and I’m always looking to bring my knowledge to those who need it most. Whether you’re a budding startup or small local business looking to grow your brand, or an established presence looking to expand it further, I’m here to make it happen.

I’ve enjoyed delivering innovative solutions across diverse industries—including banking, finance, security, and healthcare. I’m excited to bring my expertise to your project and help see it through to the finish line. DEVELOPMENT SKILLS Languages/Technologies Proficient in: Node.js, Python, Javascript, Typescript, Erlang, Elixir, OCaml, C#, F#, CSS, HTML Familiar with: React, Express, Next and PHP Software/Tools/Methodologies/Operating Systems Databases: MongoDB, Postgres, MySQL, MSSQL Repos: Github, Bitbucket Platforms: AWS, GCP, Microsoft Azure