Homepage of Hans de Nivelle
I gave a presentation at
C++ Now about
parsing, tokenizing, and Maphoon,
My current research interests are
programming language design,
automated theorem proving, and
(only at university of Wrocław)
Since October 2017, I work at
the School of Engineering and Digital Sciences
Nazarbayev University in
which is the capital of
Post: Nazarbayev University, SEDS,
Qabanbay Batyr 53, 010000
(I don't think that anything will arrive, because it never happened until now,
but feel free to try.)
Telephone: +7 7172 69 4659
in Wrocław during 21-24 September 2015.
I organized CADE 23
in Wrocław during 31 july - 5 august 2011.
Holder of NCN (Narodowe Centrum Nauki)
grant 'Decision Procedures for Verification'
with Witold Charatonik.
Started on 01.03.2016:
Zastosowania logiki z funcjami częściowymi.
(Applications of Logic with Partial Functions).
Summary in Polish (thanks for Witold
Charatonik for the translation) /
Holder of Faculty-Development Competitive Research Grant (FDCRGP 2021)
`Designing and Implementing a Programming Language for Logic’ (021220FD1651)
started January 2021.
This was the proposal
that convinced the jury.
Build your own
Song of constructivists.
I tried to reconstruct it from a video,
so it may be partially incorrect. If you know it better,
please write to me.
The words seem to be written by Sergey Maslov.