On this page I will (at least try to) collect some research projects proposals suitable for semestral and/or MSc work we aim to do on Institute of Computer Science on Jagiellonian Univ, Kraków, Poland.

(If you are here due to good luck, but still want to do some research, you are more than welcome!)

Project proposals are divided into two kinds - empirical and theoretical.

Empirical projects are mostly oriented on software development (oriented on solving previously stated research problem), such as:

• Developing new application (writing the code);
• Using existing solutions (tools, frameworks, ML models) to solve given problems;
• Testing existing IT solution (software and/or hardware);
• Designing software system (including requirements engineering and class diagram designing).

If developing new application (simply - writing code):

• Source code repository need to be located in Software Engineering Department GitHub organization;
• Source code need to be distributed under one of the FOSS licences (preferably GNU);
• Documentation (only in English!) is crucial. Please use tools which can automate the documentation creation process (like docstrings+Sphinx, UML generation tools) and prepare comprehensive README.md file;
• If your goal is to turn one of the proposed „application development” topics into MSc work - the amount of required documentation is even bigger and can be compared to best „software engineering” laboratory project.

Theoretical projects are about doing actual research. Don't be afraid! I will not ask you to write a PhD, only to spend some time in front of your computer and gather information on given topic from valuable sources. However, such research, in most cases, will be a part of cool scientific paper (which you will co-author), so you have to follow certain rules:

• You need to use valuable sources and search engines (in ex. Google Scholar, SCI Hub. Yes. SCI Hub.);
• All the sources need to be properly provided (as references and citations);
• Resulting text should be written in English;
• You have to use Tex (Overleaf online editor will be appreciated);

Also keep in mind, that this should be project for at least entire semester, not single hour of Internet scrolling.

For any document-related works, Overleaf synchronized with GitHub is A MUST to monitor your weekly progress, sorry.

Below you will find list of project topics. Chances are good that this list will keep changing.

• Implementation of autonomous self driving test environment using (for example) GTA V and (for example) this software or this software for future autonomous driving security & functional safety tests;
• Designing of aforementioned autonomous driving security & functional safety tests;
• Using of open-source Large Language Model(s) (in. ex. LLaMa-based) for static source code analysis and/or software defect prediction;
• Designing of security/penetration tests (jail-breaks) & test methods for selected, censored open-source Large Language Models;
• Implementation of adversarial, self-improving, ML-based test harness for Large Language Models (one model attacking other);
• Implementation of virtual test environment for quadruped military robot software;
• Implementation of failure detection and autonomous recovery solution for FREGE tool;
• Designing of test framework/harness for security tests of Earth's artificial satellite transmissions (more, more, paper, youtube, youtube, example, example);
• Designing of (and possibly running) security tests which implement above test framework/harness;
• Implementation of test framework for security/functional safety tests for CAN bus based vehicles;
• Security-oriented improvement of FREGE metrics browser tool;
• User-oriented improvements of Melowise tool. In this case close cooperation with Musicology Club is required.
• Security test tool for using computer's EMF leakage for eavesdropping on typed characters (cool example);
• Development of stand-alone open-source repositories (GitHub in first place) crawler which will analyse and detect projects which could be used for military purposes;
• Development of stand-alone open-source crawler for YouTube, which will actually COUNT how many videos are there;
• Development of possible image recognition attack tests (and proper test environment) which can override known countermeasures (like noise filters);
• Development of sound/music content-match algorithm vulnerability tests and appropriate test environment (example research);
• Bringing up-to-date (in Java) of MISTA - model-based testing tool;

• Possible cost-effective hardware solutions for SDR-based security tests implementation;
• Possible cost-effective hardware solutions for CAN bus security tests implementation;
• Case studies of software defect-inducted space probes failures, with information regarding software testing flaws which resulted in defect and failure;
• Studies of possible cases of satellite hacking (like ROSAT, LANDSAT, TERRASAT, etc.) - from technical/software point of view;
• Case studies of (autonomous) vehicle security breaches, with information regarding software testing flaws which resulted in security failure;
• Railway „Radio Stop” digital systems used worldwide (from the software perspective) and their advantages, disadvantages and security measures. Examples of security tests which can be used to test them (and apply them to similar system being introduced in Poland);
• Gathering open source information (mostly in Cyrillic, I guess) regarding software used on adversarial satellites, especially these crucial for military operations, to use that information as test basis for designing test environment;
• Research on software testing methods and techniques conducted during the development of infamous Boeing 737 MAX;
• Research on attack methods and vulnerability to attacks (and possible tests which can detect such vulnerabilities) on East-European power networks (with special focus on Ukrainian power networks - I assume that knowledge of Ukrainian/Russian language – or mastering of translation software – will be helpful);
• Research on code- and process- (organization-) metrics and metric values characteristic for military-useful open source projects, with special focus, of course, on Russian military;

You decided to work on one of the above projects? Or have you own project idea you want to share? See section „Selecting a project”!