Skip to content
View Brandon-Rozek's full-sized avatar

Organizations

@RAIRLab @CryptoSolvers

Block or report Brandon-Rozek

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

Welcome!

Don't mind me here, I'm mostly just tinkerin'. My repositories show me dabbling in:

Outside of my repos, I contributed to a tool that generates and verifies cryptographic modes of operations and help maintain a few projects in the RAIR Lab

During the day, I'm a Computer Science PhD student at Rensselaer Polytechnic Institute. I enjoy sharing what I've learned on a regular basis (over 350 posts!) and I welcome you to check it out on my website: brandonrozek.com.

Don't hessitate to get in touch if you have any questions or even if you want to chat.

Recent Posts

View more: brandonrozek.com/blog

Pinned Loading

  1. website website Public

    Github Repo of Personal Website

    HTML

  2. rltorch rltorch Public

    Reinforcement Learning Framework for PyTorch

    Python 1

  3. CryptoSolvers/CryptoSolve CryptoSolvers/CryptoSolve Public

    Generate and Verify Cryptographic Modes of Operation using Symbolic Methods

    Python 5

  4. GymRecord GymRecord Public

    A helper script to run and record OpenAI Gym interactions

    Python

  5. GymInteract GymInteract Public

    Help with training an agent to play Atari games

    Python

  6. RAIRLab/Parallel-Verifier RAIRLab/Parallel-Verifier Public

    Parallel Verification of Propositional Natural-Deduction Proof Graphs

    C++ 3