Yining Wu is a PhD Candidate under Leon van der Torre and Martin Caminada at the University of Luxembourg (01/05/2008-18/05/2012). She is working on the topic of reasoning and formal argumentation in the field of trust management. She finished the Master's Program in Computational Logic at the Technische Universität Dresden in Germany. In her Master thesis she gave a method of transforming the fuzzy Description Logic ALC_FL to the classical Description Logic ALCH.
She successfully defended her PhD dissertation on May 18 2012.