curriculum vitae |
research interests |
contains also full publication list
links to research profiles(where lists of representative publications can be found, including citation scores)
to Research Gate profile to Google Scholar profile to DBLP |
formal specification and verification (for system engineering)
applications of logic and category theory to computer science model theory integrated children education in math and computer science | ||
