talks

Collection of slides, notes, and posters for public talks I've given.

View the Project on GitHub

Talks

Collection of slides, notes, and posters for public talks I’ve given, annotated when possible.

Dependently Typed Programming Introduction (at Kiev Functional programming)

Talk given at Kievfprog, August 16th 2017, on seeing how dependent types can help you in your everyday practical code! Based on my LambdaConf 2017 talk.

LambdaConf 2017

Functional programming conference in Boulder, CO.

Singletons and You

Let’s scratch the surface of the power of Richard Eisenberg’s singletons library and peek through the doors of opportunity that it opens for us. Learn things you can directly apply now, and also build a foundation for future learning.

Look past the hype and see how the singletons library can benefit your programs today through type safety and dependently typed programming!

Enhancing Your Haskell With Dependently Typed Programming

A Case Study With Neural Networks

Dependently-typed Haskell is all about pushing the limits of how much power your types have to verify that your code is correct, direct you in writing code, enhance your productivity, and encode meaning in type signatures. In this session, we will explore its practical benefits by applying these principles to building verified neural networks. We look at neural networks with and without dependent types, show how to add dependently typed benefits incrementally, and clearly show the benefits that we can directly apply to many different applications. This session is geared less toward the theoretical idea of dependent types and more toward hitting the ground running with immediate benefits in existing code bases.

Developers will learn the basic concepts of dependent types, existential types, type-level proofs, and working with the “singletons” library, as well as high-level concepts in dependently typed development.

Super-charge the correctness of your code incrementally and find new ways to make the compiler work for you today!

Asia Oceania Geosciences Society (AOGS) 2016

Geosciences conference in Beijing, China. Talk discussed the application of Recurrent Neural Networks to analyze and predict the interactions between the El Nino Souther Oscillation and the California Drought for the winter of 2015-2016.

LambdaConf 2016

Functional programming conference in Boulder, CO. Talk was on applications of the Functor Design Pattern and Comonads/Cokleisli Composition to Digital Image Processing

Chapman University Computational Sciences Graduate Conference (CSCG) 2016

Graduate research conference for Chapman University’s Computational and Data Science program. Presented on the application of Recurrent Neural Networks to analyze and predict the interactions between the El Nino Souther Oscillation and the California Drought for the winter of 2015-2016.

Chapman University Computational Sciences Graduate Conference (CSCG) 2015

Graduate research conference for Chapman University’s Computational and Data Science program. Presented on applications of functors and comonads in mathematical analysis and algorithm implementation in digital image processing.