I am a PhD candidate at Centre for Scalable Data Access (SIRIUS), University of Oslo. I am interested in overall “truth and beauty” of the formal methods in Computer Science.
In my PhD, I concentrate on ontology constraint satisfaction problems; a way to quality-assure logical and structural integrity of ontology instances over large ontology-driven information models. The ontology-driven information models, in general, support highly knowledge intensive logical inference and data queries, once their underlying ontology domains are sustainably developed and quality-assured.
E-mail: