Associate Professor Florin Craciun

Associate Professor of Computer Science

Contact

Email: mihai.craciun@ubbcluj.ro
Google Scholar

Research Interests

Programming Languages, Formal methods, Separation logic, Program verification, Type Systems

Biography

CV CNATDCU