Skip to content
View jossmoff's full-sized avatar
26 followers · 36 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

Organizations

@wit4java @polywit

Block or report jossmoff

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
jossmoff/README.md

joss moffatt header


👨 About Me

  • 🏠 I’m currently living in Nottingham, United Kingdom.
  • 👨‍💻 I’m currently working as a Software Engineer at Capital One.
  • 🍺 I’m a big beer fan.
  • 🎧 I can chat your ear off about electronic music.
  • 🔎 I have specialities in automated reasoning and software security.
  • 🧪 I like testing cloud architectures.

👷 What I'm Working On


☁️ My Certifications

Pinned Loading

  1. gatling-stepfunction-extension gatling-stepfunction-extension Public

    ⚡ A Gatling extension to analyse the execution of a step function

    Scala 6 2

  2. polywit/polywit polywit/polywit Public

    🌍 A poly-language execution-based violation-witness validator

    Python 4

  3. GeoCrackr GeoCrackr Public

    🌍 A Python Selenium webdriver wrapper that reveals a users position in the popular online game GeoGuessr.

    Python 6

  4. RedditMusicBot RedditMusicBot Public

    🤖📻 A Reddit Music Bot template built for Heroku that automatically adds songs from subreddits to Spotify.

    Python 8 1

  5. chickpea chickpea Public

    🫘 Chickpea is an extension of the Java Bean Validation Specification providing useful annotations for common validation formats

    Java 1

  6. buzzproof buzzproof Public

    🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM

    TeX 2