Skip to content
View szkupienpeti's full-sized avatar
3 followers · 0 following
  • Budapest, Hungary

Achievements

Achievement: YOLOAchievement: Pull Shark

Achievements

Achievement: YOLOAchievement: Pull Shark

Highlights

  • Pro

Organizations

@ftsrg
Block or Report

Block or report szkupienpeti

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

Hi there👋

I am Péter Szkupien from Budapest, Hungary.🇭🇺 I received my BSc and MSc degrees in Computer Science Engineering from the Budapest University of Technology and Economics in 2021 and 2023. During my studies, I specialized in the model-based design and formal analysis of complex, safety-critical systems.🧑‍🎓 I am experienced in Java and Eclipse-based technologies both from university and industry, with a strong theoretical background in software engineering.💪 I enjoy learning new technologies and sharing my knowledge with others, as well as solving complex problems in teamwork by forging theoretical results into technical solutions.🚀

You can also find me on LinkedIn or check out my CV here📄

Programming languages I am familiar with

Java Java  C# C#  Python Python  C++ C++  C C  Xtend Xtend 

Pinned Loading

  1. bsc-thesis bsc-thesis Public

    BSc thesis titled 'Generating Real-Time Tests from Timed Behavioral Models'

    TeX

  2. csharp-lecture-notes csharp-lecture-notes Public

    C# lecture notes for beginners in Hungarian

    TeX 1

  3. msc-thesis msc-thesis Public

    MSc thesis titled 'Step-by-Step Controllable Simulation of Component-Based Reactive Systems Based on Precise Formal Semantics'

    TeX

  4. tdk-2022 tdk-2022 Public

    Scientific Students’ Association Report titled 'Formal Methods for Better Standards: Validating the UML PSSM Standard About State Machine Semantics'