Everett Hildenbrandt

From FSL
Revision as of 02:28, 3 May 2017 by Ehildenb (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.


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