Skip to content
View kesslerjohn's full-sized avatar

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Block or report kesslerjohn

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
kesslerjohn/README.md

Hi, I’m John!

I hold a Master of Computer Science and a Master of Arts in Linguistics from the University of Iowa. I am currently working with the PATHOME project team on the development of an Agent Based Model to predict which types of social, behavioral, and infrastructure interventions will most efficiently reduce transmission of enteric pathogens in infants. See more about the project here.

Personal interests:

  • Formal verification and modeling
  • Design and theory of programming languages
  • AI for social good
  • I also love building projects that provide some personal utility in my life and the lives of those around me.

For contact info, please visit my personal website at kesslerjohn.github.io (under construction)

Pinned Loading

  1. leetcode-solns leetcode-solns Public

    My solutions to leetcode problems, organized by language

    C++

  2. folley folley Public

    Haskell parser for many-sorted First Order Logic.

    Haskell

  3. 99-haskell-problems 99-haskell-problems Public

    My solutions to 99 Haskell Problems

  4. advent-of-code-2023 advent-of-code-2023 Public

    Solutions to the 2023 Advent of Code problems (problem text and sample inputs excluded)

    C++