|
I joined
the School of Computing at the
University of Utah in 2001.
My research interests are mainly in
formal
methods, chiefly applications of
higher order logic
to system verification and synthesis. I'm also interested in functional
programming, in both its
impure and
pure
incarnations. Higher order logic and functional programming are
inextricably intertwined; if you like one you are bound to like the
other. Some of my publications.
I am currently working on compiling subsets of higher order logic to low-level executables: hardware and ARM assembly. Our compilers formally prove the correctness of their operation. Thus properties of hardware or software can be proved at the source level---which for us is plain old mathematics---and transfer directly to the actual low-level executable that the compiler generates. We are currently applying this technology to block ciphers and other information security algorithms.
Postal Address: Konrad Slind
School of Computing
50 South Central Campus Drive
Salt Lake City UT84112
USA
Phone (Work): (1) 801 585 6795
Room: 3436 Merrill Engineering Building
email: slind@cs.utah.edu
|