![]() | Research Scientist
|
| Teaching | Research | Miscellaneous |
| EAS 102 - 510 FMI - 510 OCE | Decision Diagrams - Functional Decomposition - Minimization - EXOR - Multi-Valued Logic | Publications - Resumé - Gallery |
| AltaVista | IEEExplore | ACM Lib | CS Lib | PSU Lib | ILL | Amazon | Powells |