From 1a554cdcf6303fe92d5ab99b60da4970498e80eb Mon Sep 17 00:00:00 2001
From: Annika134 <annika.as.schmidt@fau.de>
Date: Wed, 21 Oct 2020 15:42:28 +0200
Subject: [PATCH] Details about Annika Schmidt

---
 people/people_aschmidt.md | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 people/people_aschmidt.md

diff --git a/people/people_aschmidt.md b/people/people_aschmidt.md
new file mode 100644
index 0000000..95cfa9c
--- /dev/null
+++ b/people/people_aschmidt.md
@@ -0,0 +1,30 @@
+---
+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
+
+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.
+
+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 annika.as.schmidt@fau.de.
-- 
GitLab