Faculty of
Computer Science

Cristian Masalagiu

Professor, PhD

Department:

Computer Science

Research Interests:

Logic Programming, Specification and Verification of Real Systems, Workflow and Business Processes

Teaches:

Logics for Computer Science (Undergraduate, 1^st year)

Logic Programmig (Undergraduate, 2^nd year)

System Specification and Verification (Master of Distributed Systems, 1^st year)

Techniques of Software System Specification and Verification (Master of Distributed Systems, 1^st year)

System Specification and Verification (Master of Information Security, 1^st year)

Belief Logics in Information Security (Master of Information Security, 1^st year)

Contact information

Office:

C305

e-Mail address:

mcristy at DO_NOT_SPAM . info . uaic . ro

Home page:

http://www.infoiasi.ro/~masalagiu