GithubHelp home page GithubHelp logo

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

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

Péter Szkupien's Projects

bsc-thesis icon bsc-thesis

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

gamma icon gamma

The Gamma Statechart Composition Framework

msc-thesis icon msc-thesis

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

tdk-2022 icon tdk-2022

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

theta icon theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.