LOGIC AND FORMAL METHODS

Ref.No: 67111700
Start date: 19.07.2019
End date: 26.06.2020
Approval date: 19.07.2019
Department: APPLIED MATHEMATICAL & PHYSICAL SCIENCES
Sector: MATHEMATICS
Financier: ΕΠΙΒΡΑΒΕΥΣΗ 2018, GGET/EPIVRAVEUSI
Budget: 7.563,62 €
Public key: ΩΡ2Ρ46ΨΖΣ4-ΥΕΒ
Scientific Responsible: Assist. Prof. STEFANEAS
Email: petros@math.ntua.gr
Description: THE RPOJECT AIMS TO SUPPORT RESEARCH IN THE FIELD OF LOGIC AND FORMAL METHODS IN COMPUTER SCIENCE. MORE, SPECIFICALLY, THE RESEARCH ACTIVITIES OF THE MAIN RESEARCHER AND HIS TEAM WILL BE SUPPORTED. IT INCLUDES ALSO PURCHASE OF COMPUTER EQUIPMENT AND....
Go to Top