Home page of Jan Duracz
PhD, Computer Science
Contact information
email:
jan@duracz.net
phone:
+46 (0)722 46 76 47
Thesis
Verification of Floating Point Programs
(2010)
Papers
Polynomial Function Enclosures and Floating Point Software Verification
with Michal Konečný
in proceedings of
CFV'08
, Sydney, Australia (2008)
Enclosure Constraints for Floating Point Software Verification
with Amin Farjudian and Michal Konečný
presented by Amin Farjudian at
CFV'09
, Grenoble, France (2009)
Software
PolyPaver: An automated numerical theorem prover
with Michal Konečný
a
Haskell
library
AERN: Approximating exact real numbers and functions
with Michal Konečný
a
Haskell
numerics library
AERN-RnToRm: Polynomial function enclosures (PFEs) approximating exact real functions
with Michal Konečný
a
Haskell
function interval library
AERN-Real: Arbitrary precision interval arithmetic for approximating exact real numbers
with Amin Farjudian and Michal Konečný
a
Haskell
interval library