Commit 1a554cdc authored by Annika134's avatar Annika134
Browse files

Details about Annika Schmidt

parent 68c5d95f
Pipeline #2683 passed with stage
in 2 minutes and 40 seconds
layout: person
title: Annika Schmidt
fullname: B.Sc. Annika Schmidt
pic: public/images/aschmidt.png
start_date: 2020-10
role: master-student
affiliation: Computer Science, FAU Erlangen-Nürnberg
publink: auto
### Description
I am a master student at [FAU Erlangen-Nürnberg]( Currently I am working on my master thesis at the [KWARC group]( and got employed there as a Hiwi to help with the AI-1 lecture.
In 2015 I started studying Computer Science at [FAU Erlangen-Nürnberg]( While finishing my bachelor's degree I visited some master courses. My main interests are optimization and artificial intelligence. Also, I am very interested in knowledge management and gaining new knowledge.
### Current Work
My master thesis is about the formalization of set theory in [KWARC's MMT system]( To achieve this goal I use some old formalizations of set theory in Twelf. Since I just started the exact course of my master thesis is still unclarified.
My work as a Hiwi mostly consists of cutting old lecture videos to make online lectures more attractive for students. Also, I give advise and help to come up with good questions for the students.
### Contact
Feel free to contact me at
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment