Work Experience

Introduces concepts and techniques relevant to the production of large software systems. Students taught a programming method based on the recognition and description of useful abstractions. Topics: modularity; specification; data abstraction; object modeling; design patterns; and testing. Several programming projects of varying size undertaken by students working individually and in groups. (Taken from the MIT course listing.)

Created a full synthesis verification tool (validating proper Burst-Mode operation of a generated circuit network), and an exact circuit hazards simulator and analyzer, both for intergration with the asynchronous CAD tool, "MINIMALIST."
Enhanced core of CAD tool "MINIMALIST" to handle Extended Burst-Mode Synthesis.
Investigated an open research question concerning the existence and synthesis of a hazard-free circuit, given any arbitrary Boolean function (proving theoretical existence through decomposition of a fairly general class of systems using multi-level logic). This work published in "On the Existence of Hazard-Free Multi-Level Logic."

Designed the architecture for the digital core and adder units of an asynchronous, low power, continuous-time sampling, digital FIR filter chip.

Member of the Computer Science Department IDS research team investigating data-mining solutions for intrusion detection systems. A member of the HoBIDS subgroup, I focused on Linux host based process and kernel indicators, behavioral models, and learning machines.
Created and developed kernel level and user level system state sensors for Linux.
Aided in running experiments generating data and interpreting data to form models.

This course is about how computers work in terms of functional blocks such as the arithmetic unit, registers, pipelines, caches, RAMS, etc. Machine language programming is a feature of the course. The emphasis is strongly on RISC architecture. (Taken from S. H. Unger's website.)