Bachelor's thesis presentation. Simon is advised by Benjamin Rodenberg, Prof. Nada Amin (Harvard University) and Prof. Dr. Hans-Joachim Bungartz.
SCCS Kolloquium
The SCCS Colloquium is a forum giving students, guests, and members of the chair the opportunity to present their research insights, results, and challenges. Do you need ideas for your thesis topic? Do you want to meet your potential supervisor? Do you want to discuss your research with a diverse group of researchers, rehearse your conference talk, or simply cheer for your colleagues? Then this is the right place for you (and you are also welcome to bring your friends along).
Upcoming talks
Simon Henniger: Towards Improving Verified Program Synthesis with LLMs
SCCS Colloquium |
Using LLMs for program synthesis is very promising, but also comes with safety and reliability issues. One way to approach this problem is to add a verification step to the code generation process. For example, we can ask an LLM to prove the correctness of its code, and then feed program and proof into a proof assistant.
Done naively, this leads to reattempting the same problem many times (until all proofs are fully correct), resulting in high costs and potentially no success at all. Prior work uses a Monte-Carlo Tree Search to incrementally find the correct code. At each step of the search, an LLM generates completes a piece of code, and a verifier ensures it is correct so far.
In this work, I extend the approach in two ways. First, I show that it can be adapted and used when generating Python programs. Instead of a proof assistant, I use extensive unit- and property-based testing. Second, I also explore alternative search algorithms such as variants of interleaving search.
You don't want to miss a talk? Subscribe to our mailing list and our Colloquium calendar .
Contribute a talk
To register and schedule a talk, you should fill the form Colloquium Registration at least two weeks before the earliest preferred date. Keep in mind that we only have limited slots, so please plan your presentation early. In special cases, contact colloquium@mailsccs.in.tum.de.
Colloquium sessions are now on-campus. We have booked room MI 00.13.054 for WS24/25. You can either bring your own laptop or send us the slides as a PDF ahead of time. The projector only has an HDMI connection, so please bring your own adapters if necessary.
Do you want to attend but cannot make it in person? We now have a hybrid option. Simply join us through this BBB room: https://bbb.in.tum.de/shu-phv-eyq-rad
We invite students doing their Bachelor's or Master's thesis, as well as IDP, Guided Research, or similar projects at SCCS to give one 20min presentation to discuss their results and potential future work. The time for this is typically after submitting your final text. Check also with your study program regarding any requirements for a final presentation of your project work.
New: In regular times, we will now have slots for presenting early stage projects (talk time 2-10min). This is an optional opportunity for getting additional feedback early and there is no strict timeline.
Apart from students, we also welcome doctoral candidates and guests to present their projects.
During the colloquium, things usually go as follows:
- 10min before the colloquium starts, the speakers setup their equipment with the help of the moderator. The moderator currently is Ana Cukarska. Make sure to be using an easily identifiable name in the online session's waiting room.
- The colloquium starts with an introduction to the agenda and the moderator asks the speaker's advisor/host to put the talk into context.
- Your talk starts. The scheduled time for your talk is normally 20min with additional 5-10min for discussion.
- During the discussion session, the audience can ask questions, which are meant for clarification or for putting the talk into context. The audience can also ask questions in the chat.
- Congratulations! Your talk is over and it's now time to celebrate! Have you already tried the parabolic slides that bring you from the third floor to the Magistrale?
Do you remember a talk that made you feel very happy for attending? Do you also remember a talk that confused you? What made these two experiences different?
Here are a few things to check if you want to improve your presentation:
- What is the main idea that you want people to remember after your presentation? Do you make it crystal-clear? How quickly are you arriving to it?
- Which aspects of your work can you cover in the given time frame, with a reasonable pace and good depth?
- What can you leave out (but maybe have as back-up slides) to not confuse or overwhelm the audience?
- How are you investing the crucial first two minutes of your presentation?
- How much content do you have on your slides? Is all of it important? Will the audience know which part of a slide to look at? Will somebody from the last row be able to read the content? Will somebody with limited experience in your field have time to understand what is going on?
- Are the figures clear? Are you explaining the axes or any other features clearly?
In any case, make sure to start preparing your talk early enough so that you can potentially discuss it, rehearse it, and improve it.
Here are a few good videos to find out more:
- Simon Peyton Jones: How to Give a Great Research Talk (see also How to Write a Great Research Paper)
- Susan McConnell: Designing effective scientific presentations
- Jens Weller: Presenting Code
Did you know that the TUM English Writing Center can also help you with writing good slides?
Work with us!
Do your thesis/student project in Informatics / Mathematics / Physics: Student Projects at the SCCS.