Affiliation: Brandenburg University of Technology Cottbus-Senftenberg, Germany
Supervision: Prof. Ingo Schmitt
Project: Reasoning in Quantum Logic
Yousef Younes has received his B.E. from the department of Computer Systems Engineering, Al-Mamoun University, Syria in 2010. He had worked as a software developer for two years before he has gotten his M.E. from the school of software Engineering, Chongqing University, China in 2015. After that, he worked as a Lecturer in Al-Sham University, Syria. Now he has enrolled as a Doctoral student at the BTU-CS, and at the same time he is an early stage researcher (ESR) in the QUARTZ project.
His research interests include quantum logic, data mining, and natural language processing. His main goal is to represent the concept of vagueness of natural languages in reasoning. To do so, he will use both modal logic and quantum logic to write a language with formal syntax and semantics. He will also work towards a calculus that will be used for computer based reasoning.