I will use this project for my research activity. I am a researcher in Logic and Computer Science and I collaborate with several co-author when writing my papers