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

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

Hi, I'm Sadegh 👋

🎓 Computer Engineering student @ University of Tehran (5th 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. AP-Project5 AP-Project5 Public

    Forked from FatemehBoloukazari/AP-Project5

    C++

  3. CP CP Public

    My competitive programming codes

    C++