metalevel.at - Home Page of Markus Triska

home > domains > metalevel.at

emacs (74) postscript (48) prolog (39) dcg (31) constraints (6)

Example domain paragraphs

E-mail: [email protected] GitHub: github.com/triska

The central theme of my research is software reliability . How can we guarantee correctness , robustness and acceptable performance of our programs? My goal is to provide programs that work as intended, reliably and conveniently, with zero surprises. Programs that you can run for multiple decades without any issues such as crashes, resource leaks or other unexpected behaviour. I am interested in programming languages, combinatorial optimization, testing, verification, cryptography and many other areas of co

Links to metalevel.at (2)

• swi-prolog.org SWI-Prolog
• bluishcoder.co.nz Bluish Coder