Everett Hildenbrandt

From FSL
Jump to: navigation, search

About Me

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.

Current Projects

  • KAT (K Analysis Toolkit): Suite of analysis tools written using strategies in K.

Contact:

  • Email (at illinois.edu): hildenb2
  • Desk: 2107 Thomas M. Siebel Center for Computer Science, 201 N. Goodwin Avenue, Urbana, IL 61801
Personal tools
Namespaces

Variants
Actions
Navigation