Skip to content
View mehrad31415's full-sized avatar
13 followers · 15 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Highlights

  • Pro

Block or report mehrad31415

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
mehrad31415/README.md

Mehrad's GitHub Profile

Welcome to my GitHub! I’m Mehrad, a PhD student in computer science at the University of Waterloo. My research area is on:

  • Programming Languages
  • Formal Verification
  • Logic & Automated Reasoning
  • Static Analysis

Here, you can find some of my projects, contributions, and other highlights.

📊 Top Languages

Top Langs

⏱️ Coding Activity

Mehrad's WakaTime stats

Note: These stats reflect coding activity tracked since installing WakaTime on 27th of October 2024, and do not represent my overall coding activity.

Popular repositories Loading

  1. EscherWeb EscherWeb Public

    This is the final project for the CS898 course at the University of Waterloo, on Tiling and Computation.

    JavaScript 2 1

  2. verified-encodings verified-encodings Public

    Forked from ccodel/verified-encodings

    Verifying encodings into propositional logic

    Lean 2

  3. data-science data-science Public

    Exploring the main causes of death in the US using datasets from CDC, New York Times, and Google trends

    HTML 1

  4. Project-Euler Project-Euler Public

    These are my solutions for the problems of the project Euler I have solved written in python.

    Python 1

  5. CSharpCompiler CSharpCompiler Public

    This is a Compiler for C# to SSM Code

    Haskell 1

  6. haskell-mooc haskell-mooc Public

    Forked from moocfi/haskell-mooc

    Haskell MOOC University of Helsinki

    HTML