Bence Slonszki
Budapest
Summary
Ambitious Computer Science Engineering student with a strong commitment to continuous improvement and quality work. A dedicated problem-solver who thrives on tackling complex technical challenges effectively. Collaborative team player who values shared ideas and supportive environments to achieve successful project outcomes. Seeking to leverage a proactive attitude in a professional setting to contribute to team goals while further enhancing my technical skills.
Overview
2026
2026
years of professional experience
Work history
Demonstrator in the subject of Databases
Budapest University of Technology and Economics
Budapest
2025.09 - 2025.12
- Facilitated practical laboratory sessions for the 'Databases' course, guiding students through relational database design and advanced SQL programming
Warehouse worker (Student Worker)
UNIX
Budapest
2024.06 - 2024.08
- Ensured accurate order picking and packaging, demonstrating strong attention to detail and the ability to work efficiently under time pressure
Agricultural Worker (Student Worker)
Galldorf Zrt.
Hernád
- Performed various physical and operational tasks during peak summer seasons, proving high stamina, reliability, and a strong work ethic
Education
Computer Science
Budapest University of Technology and Economics
Budapest 2023.09 -
Skills
Programming languages:
- Java, Python, C#, C/C, Kotlin, SQL, JavaScript/TypeScript
Frameworks & Libraries:
- LearnLib, Theta, Entity Framework, Spring Boot, NET
Tools & Technologies:
- Version Control: Git/Github, CI/CD
- Modelling: Enterprise Architect, UML
- Databases: MSSQL, MongoDB
Methodologies & Concepts:
- Software Design: Object Oriented Design Patterns
- Formal Verification & Model Checking: Model-based Testing, Reachability Analysis
- Automata Theory: Active Automata Learning, Timed Automata, Deterministic Finite Automata, Mealy Machines
- Agile: Scrum
Languages:
- Hungarian: Native
- English: B2 - reading and writing, B1 - communication
- German: B2 - Passive
Affiliations
- Basketball
- Football
- Traveling
Projects
Active Automata Learning Integration for the Theta Framework
- Reasearch and implemanting active learning algorithms (such as L*, TTT etc.) to atutomatically generate formal models from black-box systems
- Intergrating the open-source LearnLibJ ava framework into Theta to enable advanced model-based testing and reachability analysis for timed automata
Fungorium Board Game - Software Project Laboratory
- Designed and developed the "Fungorium" board game application collaborating closely within a 5-person engineering team
- Successfully managed strict weekly deadlines and iterative deliverables, accurately simulating a real-world Agile software development lifecycle
MBSE Satellite Design - System Modelling
- Applied Model-Based Systems Engineering (MBSE) principles using SysML and Enterprise Architect
- Translated complex stakeholder constraints into formal requirements, modeled the system context
- Designed structural and behavioral models to manage autonomous operations
- Validated the architecture
Timeline
Demonstrator in the subject of Databases
Budapest University of Technology and Economics
2025.09 - 2025.12
Warehouse worker (Student Worker)
UNIX
2024.06 - 2024.08
Computer Science
Budapest University of Technology and Economics
2023.09 -
Agricultural Worker (Student Worker)
Galldorf Zrt.