Skip to content
View SaharRamezani's full-sized avatar
๐Ÿ˜
Focusing
๐Ÿ˜
Focusing

Highlights

  • Pro

Block or report SaharRamezani

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

Hey there, I'm Sahar Ramezani Jolfaei ๐Ÿ‘‹

๐Ÿ” Passionate about Software Testing, Software Engineering, and building systems that solve real problems.

๐ŸŽ“ Master's student in Computer Science at the University of Genoa, Italy

๐Ÿง  B.Sc. in Computer Engineering from Isfahan University of Technology, Iran

๐Ÿ—ฃ๏ธ Languages: English (fluent), Italian (learning โ€“ A2 level)


๐Ÿ’ผ Technical Stack

Languages

Tools & Platforms


๐Ÿ”— Letโ€™s Connect!

Pinned Loading

  1. Cyclink Cyclink Public

    Cyclink is a comprehensive mobile application designed to enhance the cycling experience through team management, activity tracking, and AI-powered assistance.

    Kotlin 4

  2. KooDoc KooDoc Public

    Your Smart Companion for Childcare

    Kotlin 2

  3. BridgeAllMighty BridgeAllMighty Public

    A Docker-based security testing setup featuring a vulnerable web service, a filtering HTTP proxy ("bridge"), and an attacker client. Demonstrates vulnerability exploitation (e.g., SQL injection) anโ€ฆ

    Lua 1

  4. FlightSearchApp FlightSearchApp Public

    In this app users enter an airport and can view a list of destinations using that airport as a departure. This project gives the opportunity to practice SQL, Room, and DataStore.

    Kotlin

  5. Discrete-Event-Simulation Discrete-Event-Simulation Public

    Simulator with event scheduling, process management, and client-server communication to model system behavior and network data exchange.

    Python

  6. Coq-Learning Coq-Learning Public

    Formal verification exercises in Coq: mechanized semantics, inductive proofs, custom automation, and verified parsers/automata

    Makefile