Skip to content
View imSaDy's full-sized avatar
🎯
Focusing
🎯
Focusing
63 followers · 90 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Block or report imSaDy

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.

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

Hi, I'm Sadegh 👋

🎓 Computer Engineering student @ University of Tehran (6th semester)   💻 Focusing on Formal Methods and Computational Theory, and their application to building reliable and verifiable software and hardware systems.

🔧 Skills & Interests

  • Languages: C++, Python, SystemVerilog, LaTeX
  • Core Interests: Formal Methods, Theory of Computation, Software Verification, Algorithm Design, AI Safety, Model Checking
  • Tools & Platforms: Git, Linux, VS Code  

📌 Current Focus

  • Deepening my study of Formal Methods, including model checking, automata theory, and program analysis
  • Exploring the application of formal verification techniques in both software (Software Engineering) and hardware design

📫 How to reach me

⭐️ Check out my repositories below — I’ll be pinning my best projects here soon!

Pinned Loading

  1. AI AI Public

    Jupyter Notebook

  2. Personal-Dashboard Personal-Dashboard Public

    Lumen — a calm, local-first personal dashboard for planning, focus, habits, tasks, goals, and performance.

    JavaScript 6

  3. AP-Project5 AP-Project5 Public

    Forked from FatemehBoloukazari/AP-Project5

    C++

  4. CP CP Public

    My competitive programming codes

    C++

  5. Othello Othello Public

    Python

  6. ParsaBukani/Enhanced-xv6-Operating-System ParsaBukani/Enhanced-xv6-Operating-System Public

    This repository documents the step-by-step development of a custom xv6 operating system. Starting from a basic kernel, we iteratively added advanced features like hybrid scheduling , priority-based…

    C 1