aschmidt.md 1.3 KB
Newer Older
Annika134's avatar
Annika134 committed
1
2
3
4
5
6
7
8
9
10
11
---
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

Michael Kohlhase's avatar
Michael Kohlhase committed
12
NOpublink: auto
Annika134's avatar
Annika134 committed
13
14
15
16
17
18
19
20
21
22
23
24
25

NOwebsite:
---
### Description  

I am a master student at [FAU Erlangen-Nürnberg](http://www.fau.de). Currently I am working on my master thesis at the [KWARC group](http://kwarc.info) 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](http://www.fau.de). 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](https://kwarc.info/systems/mmt/). 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.

Annika134's avatar
Annika134 committed
26
My work as a Hiwi mostly consists of cutting old lecture videos to make online lectures more attractive for students. Also, I give advice and help to come up with good questions for the students.
Annika134's avatar
Annika134 committed
27
28
29
30

### Contact

Feel free to contact me at annika.as.schmidt@fau.de.