diff --git a/people/people_aschmidt.md b/people/people_aschmidt.md new file mode 100644 index 0000000000000000000000000000000000000000..95cfa9c9b5ac5d103036add3985577242dd33198 --- /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.