Nils Klarlund
|
|
Nils Klarlund |
|
| Please follow the usual recipe: k...d at research.bell-labs.com. | |
| Phone | +1-908-582-4354 |
| Address | 600-700 Mountain Avenue Murray Hill, NJ 07974 U.S.A. |
I'm with the Formal methods group of the Computing Sciences Research Lab of Bell Labs.
I'm interested in program analysis, automated symbolic calculations, software testing, programming paradigms, and other lightweight formal approaches to the fascinating but messy craft of software engineering.
Other interests include XML, reactive programming languages, input device design, and speech recognition user interfaces.
For more information about me, please visit my web site here.