View Proposal
- Proposer
- Kathrin Stark
- Title
- Master Class in anything around Verification/Interactive Theorem Proving/Language Processors
- Goal
- Description
- I'm happy to supervise any student in a master class on any of the above topics. There are many topics available; talk to me if you have an idea or are just interested in one of the topics.
- Resources
- Background
- Url
- Difficulty Level
- Easy
- Ethical Approval
- None
- Number Of Students
- 0
- Supervisor
- Kathrin Stark
- Keywords
- itp; verification
- Degrees