Konrad Slind

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