Page of Hans de Nivelle
Research
I gave a presentation at
C++ Now about
parsing, tokenizing, and Maphoon,
see here.
My current research interests are
programming language design,
automated theorem proving, and
verification.
Teaching
- Teaching
(only at university of Wrocław)
Current Position
Since October 2017, I work at
the School of Engineering and Digital Sciences
of
Nazarbayev University in
Astana,
which is the capital of
Kazakhstan.
Contact Data
Post: Nazarbayev University, SEDS,
Qabanbay Batyr 53, 010000
Astana, Kazakhstan
Office: 7e.418
Telephone: +7 7172 69 4659
Email:
Committee Memberships
TABLEAUX/FroCoS 2015
I organized
TABLEAUX
and
FroCoS
in Wrocław during 21-24 September 2015.
CADE 23
I organized CADE 23
in Wrocław during 31 july - 5 august 2011.
Grants
-
Holder of NCN (Narodowe Centrum Nauki)
grant 'Decision Procedures for Verification'
(DEC-2011/03/B/ST6/00346), together
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) /
in English.
-
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.
Polish/Russian Tango
I like Polish and Russian tangos. Here are a few:
If you find any mistakes, please write to me.
Other Things
-
Build your own
quaternion finder!
-
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.
Picture