About

My name is Márk Király. Currently, I am only a student. My areas of interest include software development, Linux systems, deep neural networks, and their mathematical foundations.

---------------------------------------------------------------------------------

CONTACT

Márk Király

---------------------------------------------------------------------------------

My GitHub profile's statistics:

programmergnome

📁
Notes and documents (not finished)
📁
Notes and documents (finished)




Tech stack

My general tech stack:

c cplusplus qt vue.js angular-framework react JS bash linux gcp android java

My tech stack at work:

java spring postgresql my-sql postman git" python python-numpy python-tensorflow csharp unity-engine jquery html5 css3

My toys:

nasm-assembly swi-prolog haskell CUDA-toolkit python-django coq-proof-assistant

Main pet-projects:

During my pet-projects, I try to find solutions to real-life tasks.

This mini project is still in a non-finished state: it is based on the topics of FSMs (Finite State Machines) and regular expressions. The user can graphically edit an FSM for a given regex pattern, and then verify its correctness.

Status: The program is not ready for use yet!
GitHub link: https://github.com/ProgrammerGnome/ATgame_fx

This software has a browser interface that, when filled out, saves the provided data to a Postgres or H2DB database (configurable in application.properties), performs syntactic and formatting operations on it, and then generates a printable form that the user can download in their browser.

Status: finished
GitHub link: https://github.com/ProgrammerGnome/UtikoltsegSoftwareHU

The software below is a simple text editor in C++, with methods that count the current 5 most frequent words in the text. The graphic interface is created using the Qt framework.

Status: completed, but there is still room for improvement
GitHub link: https://github.com/ProgrammerGnome/PEditor

By creating a straightforward mathematical model from the problem, we attempt to parallelize it. It is essential to emphasize that our goal is not merely calculation but rather the rapid computation, especially for large numbers.

Status: solved
GitHub link: https://github.com/ProgrammerGnome/Problem-S.141

This application stores the specified expenses and income in an XML file or, in the case of an internet connection, on Google Drive. In its absence, it stores the data on the computer. It generates statistics from these data, which can be converted to an Excel table in .xlsx format, allowing the user to export it.

Status: completed, not under development
GitHub link: https://github.com/ProgrammerGnome/Economical-desktop-app-with-GoogleDriveAPI

This was my very first meaningful GitHub project. The task was to find the smallest possible circle covering n given points in the plane. The tools for solving the problem are primitive, but precisely because of that, the approach is complex.

Status: solved
GitHub link: https://github.com/ProgrammerGnome/Problem-S.20

Work experience

Projects
  • suIT SOLUTIONS Ltd. - software development

    1 July 2024 - present, contract

    Development of a prototype product inspection software system with the integration of deep learning methods and other advanced image processing techniques.
    [Tech: Java, Spring, Postgres, Python(TF, Flask etc.), C#, Unity]
    This project was developed as my BSc thesis in Computer Science.

    Present: Real estate agency system development using Microservice Architecture [Tech: Java, Spring, MySQL]

    contact
  • InnoTeq Ltd. - software development

    September 2023 - June 2024

    Participation in backend tasks in the development of software required for a forestry research project. [Tech: Java, Spring, Postgres, Hibernate]

    contact
  • Rail Navigator Ltd. - software development, software testing

    June 2023 - July 2024

    I participate in backend tasks during the development of highly complex software related to railway freight transport, including the design and implementation of unit tests. [Tech: Java, Spring, Postgres, JUnit, Mockito]

    contact
  • Rail Navigator Ltd.

    INTERNSHIP (April - Maj 2023)
    [Tech: Java, Spring, Postgres, JUnit, Mockito, Vue.js, Backbone.js, JQuery]


Education:

Computer Science BSc
University of Pécs Faculty of Sciences
(2021 - present, with two passive semesters)



The website of University

Other (un)usable content:

The following educational video series, created by me (only in hungarian languages), are available on YouTube:

  • KöMaL and high school math: 5 videos
  • Analysis I.: 1 videos
  • Analysis II.: 7 videos
It is important to note that the videos were created some time ago, and due to the limitations in available technical conditions, their audio quality is rather poor.


Free time

Below, I incidentally present a few things that may be interesting for many. I would like to express my gratitude, mainly through my nature photographs, for visiting my website.

To close the images, just click on the part above the opened image.

Nature photos

Another "creative" things

Video games
📁
Video game content
Minecraft maps:

These are maps built in creative mode, designed for survival gameplay, and can be customized as desired:

JungelDorf (1.16.1)
KohlStadt (1.12.2)
LopoPolis (1.14.2)
Frei&Turm (1.19)