Michael Katelman

From FSL
Jump to: navigation, search

Michael Katelman spent his early years in California, at a rigorous faith based school where he was not allowed to have pepperoni on his pizza. He then moved to Des Moines Iowa, which is actually slightly less interesting than Urbana-Champaign Illinois. He eventually did his undergraduate work at the University of Michigan. He received his MS in computer science from the University of Illinois at Urbana-Champaign under the watchful eye of one Sam Kamin. Due to an unfortunate occurrence as a child he is unable to eat almost anything that is white.


Michael works in professor Jose Meseguer's group and is a collaborator with FSL. His group's webpage can be found here: http://formal.cs.uiuc.edu/


His joint works with FSL are listed below:

A Formal Executable Semantics of Verilog 
Patrick Meredith, Michael Katelman, Jose Meseguer and Grigore Rosu
Technical Report http://hdl.handle.net/2142/17079, July 2010
PDF, TR@UIUC, BIB
A Formal Executable Semantics of Verilog 
Patrick Meredith, Michael Katelman, Jose Meseguer and Grigore Rosu
MEMOCODE'10, IEEE, pp 179-188. 2010
PDF, Slides(PDF), Sources, Verilog Semantics, IEEE, MEMOCODE'10, BIB

Personal tools
Namespaces

Variants
Actions
Navigation