I am a second year PhD student at UIUC in the FSL lab. I am interested in spreading the use of formal languages over ad-hoc languages so that language-generic analysis and transformations tools can be built around the defined languages.
- KAT (K Analysis Toolkit): Suite of analysis tools written using strategies in K.
- Email (at illinois.edu): hildenb2
- Desk: 2107 Thomas M. Siebel Center for Computer Science, 201 N. Goodwin Avenue, Urbana, IL 61801