---

• I am now a member of Laboratory for Foundations of Computer Science, University of Edinburg, Scotland.

---

• Web Page: http://www.inf.ed.ac.uk/people/staff/Matthias_Hofer.html

---

Research Interests

• Artificial Intelligence, Combinatorics, Game Semantics, Generalized Quantifiers, Mathematical Fuzzy Logic, Natural Language Understanding.

---

Former Position

• Until 2019 I was a PhD candidate of the Doctoral College Logical Methods in Computer Science, TU Wien. I started my PhD studies in April 2015 under the supervision of Prof. Dr. Christian Fermüller. My co-supervisor is Dr. Magdalena Ortiz. I am employed in the project Modeling Vague Quantifiers in Mathematical Fuzzy Logic.

---

Education

• MSc in Mathematics (LMU Munich), master thesis: Integrated Random Walks (summary)
• BSc in Mathematics (LMU Munich)

---

Publications

1. Fun with Primes (manuscript)
2. Chris Fermüller, Matthias Hofer, Magdalena Ortiz, Querying with Vague Quantifiers Using Probabilistic Semantics, in: Proceedings of the 12th Intern. Conference on Flexible Query Answering Systems, London, UK, June 21-22, 2017, pages 15-27.
3. Chris Fermüller, Matthias Hofer, Hintikka Style Game Rules for Semi-Fuzzy Quantifiers, in: Proceedings of the IEEE International Symposium on Multiple-Valued Logic, Novi Sad, Serbia, May 22-24, 2017, pages 106-111.
4. Matthias Hofer, Game Semantics and Vagueness in Natural Language, in: Proceedings of the 13th edition of the Workshop Logic and Engineering of Natural Language Semantics (LENLS), Tokyo, Japan, November 13-15, 2016, pages 200-211.
5. Matthias Hofer, Game Semantical Rules for Vague Proportional Semi-Fuzzy Quantifiers, in: Proceedings of the 8th International Conference Non Classical Logics -Theory and Applications (NCL), Lodz, Poland, September 5-7, 2016, pages 43-47.
6. Matthias Hofer, On the context dependence of Many, in: Proceedings of the 9th International and Interdisciplinary Conference CONTEXT, Larnaca, Cyprus, November 2-6, 2015, pages 346-358.