Jordan Dimitrov

• Coloring Book : MUSIC with Toto and Friends
• Developing semantics of Verilog HDL in formal compositional design of mixed hardware / software systems