Thesis supervisor: Máté Hegyháti
Location of studies (in Hungarian): University of Sopron Abbreviation of location of studies: SOE
Description of the research topic:
Timed Automaton is a widely known tool to model dynamic discrete event systems. The extension with linear pricing extends the scope of this tool from simulation and verification to optimization.
The task of the applicant is to develop an optimization tailored opensource engine for distributed computations on linearly prized timed automata.
Prerequisites:
• Advanced skills in low-level and resource efficient programming.
• Fluent English
Advantages:
• Experience in parallelization / distributed computing
• Assembly
• Former experience in optimization
• Background in formal language theory, systems modelling or verification.
Required language skills: English B2 Number of students who can be accepted: 1