# Program Analysis of TEAL Smart Contract Apps

Note: The application deadline for this special thesis project is the
17.10.2022!

This thesis project is bound to an attendance in our seminar "software
quality" in the coming winter semester. By applying for the thesis, you
automatically apply to the seminar as well.

You will start your work in the context of the seminar and research
theoretical approaches for the problem of program analysis of smart contract
apps, focused on the use case of the TEAL smart contract language.

After the winter semester (approximately February of 2023) you can register
your thesis with us and continue work on the topic. If you successfully
complete the seminar work, we guarantee you thesis supervision starting
directly after completion of the seminar.

Please apply by sending an email to zieglmev+swq@cit.tum.de. It should include
your motivation, if your preferred timeline matches the above-described
process, and you should attach your CV and current transcript of records.