Boris Masiar Djalal's picture

Photo:

Randi Heggernes Eilertsen

Boris Masiar Djalal

Researcher, Forsker

Department of Informatics

E-mailboris.djalal@uib.no
Visitor Address
HIB - Thormøhlens gate 55

5006 Bergen
Postal Address
Postboks 7803

5020 Bergen

Fields of competence
I can be contacted for questions about

Formalisation with the Coq proof assistant

Formalisation with the Coq proof assistant, SSReflect, Mathematical Components library