Jeffery P. Hansen, Ph.D. Return to Jeffery Hansen's homepage
Home:
177 Plymouth St. Pittsburgh, PA 15211 Tel.: +1-412-390-0471Office:
Institute for Complex Engineered Systems Hamburg Hall 1201 Carnegie Mellon University Pittsburgh, PA 15213 Tel.: +1-412-268-1627 Fax: +1-412-268-5229 e-mail: hansen@cmu.edu
Get PostScript version of Curriculum Vita here.
Education
Ph.D., Electrical and Computer Engineering
Carnegie Mellon University, 1992
Dissertation: ``The use of Multi-Dimensional Parametric Behavior of a CSMA/CD Network for Network Diagnosis''
- Developed visualization tools for analysis of network data
- Built a multi-parametric network fault detection tool.
- Performed a statistical comparison of the fault detection ability of the tool to existing tools and to human-based fault detection.
M.S., Electrical and Computer Engineering
Carnegie Mellon University, 1988
Project: ``Trend Analysis and Modeling of Uni-/Multi-Processor Event Logs''
B.S., Electrical Engineering, Computer Engineering and Mathematics
Carnegie Mellon University, 1987
Experience
Research Scientist (Research Assistant Professor) -- Carnegie Mellon University, Pittsburgh, PA
July 2000 - present
Visiting Research Engineer -- Carnegie Mellon University, Pittsburgh, PA
June 1998 - July 2000
Researcher -- Toshiba System ULSI Laboratory, Kawasaki, Japan
- Headed the Amaranth project, a DARPA-funded research project focusing on network QoS (quality of service). The Amaranth project developed technologies for predicting network bandwidth utilization, predicting node failures, estimating delay in network switches, optimizing global QoS and providing probabilistic QoS guarantees for network bandwidth.
- Developed Tcl/Tk-based browser plug-in tool for visualization of multi-dimensional QoS optimization. The tool incorporated novel techniques for visualization of resource/QoS and QoS/user benefit trade-offs.
- Implemented admission control algorithms and IP-layer kernel modifications enabling probabilistic bandwidth reservation based on a priority multiplexing algorithm. The probabilistic reservation scheme resulted in a doubling of the number of concurrent multimedia flows which could be supported on a fixed bandwidth link compared to hard reservation schemes.
- Participated in writing research proposals for energy conservation in wearable computers and for automated evaluation of intrusion detection systems. Both proposals were funded.
June 1996 - May 1998
- Designed and implemented an interactive ROBDD-based formal verification system capable of combinational and sequential equivalence checking and CTL model checking on transistor-level to RT-level Verilog descriptions.
- Developed a set of basic cells for BDD-based pass-transistor logic circuits and implemented a technology mapping tool using those cells.
Researcher -- Toshiba ULSI Research Center, Kawasaki, Japan
June 1992 - June 1996
- Implemented a high-performance ROBDD package with automatic variable ordering.
- Developed a Zero-Suppressed BDD-based algorithm for implicit generation of co-kernel sets and applied it in the implementation of a logic synthesis tool.
- Investigated ROBDD-based applications of the Walsh spectrum and implemented a logic synthesis tool capable of performing spectral translation on much larger circuits than previously possible.
- Built an ROBDD-based system for converting high-level descriptions including loops with data dependent conditions directly to combinational logic.
- Provided technical assistance to the high-level synthesis group in research methodology and theoretical analysis of a synthesis tool
- Built a high-level synthesis visualization tool supporting multiple code and C/DFGs views and allowing hand refinement of scheduling and binding results.
Teaching Assistant -- Carnegie Mellon University, Pittsburgh, PA
August 1989 - December 1989
- Designed and graded laboratory assignment, exam questions and problem sets for the 3rd year computer engineering course ``Computer Architecture''.
- Interacted with students answering questions and lecturing when the instructor was traveling.
Programmer -- Carnegie Mellon University, Pittsburgh, PA
January 1988 - June 1988
Designed and implemented a graph plotting tool widely used in the the School of Computer Science and the Department of Electrical and Computer Engineering.
Grader -- Carnegie Mellon University, Pittsburgh, PA
January 1986 - May 1986
Graded programs and assignments for the course Comparative Programming Languages. Languages covered in the course included Prolog, Lisp and CLU.
Other Projects
TkGate: A schematic capture and simulation tool for digital circuits. The tool consists of over 56,000 lines of C and Tcl and supports hierarchical design, simulation with six-valued logic and a multi-lingual (Japanese/English) interface. The tool has been released under the Gnu Public License and has a substantial user base.
Other Skills
Programming Languages: Extensive experience in C++ and C. Additional experience includes Tcl/Tk, Lisp, Clu, Prolog, Pascal, assembler and Postscript.
Operating Systems: Extensive experience in Unix. Additional experience includes VMS, DOS and Windows 95.
Foreign Language: Solid written and oral skills in Japanese. Passed level 2 on the ``Japanese Language Proficiency Test'' (December 1993)
Publications
``Application of Control Theory to Reserve-Based QoS Resource Allocation'', submitted to 39th IEEE Conference on Decision and Control
``A Scalable Solution to the Multi-Resource QoS Problem'', Chen Lee, John Lehoczky, Raj Rajkumar, Jeffery P. Hansen, From Proceedings of the 20th IEEE Real-Time Systems Symposium, December 1999
``The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High Assurance Computing'', Carol L. Hoover, Jeffery P. Hansen, Phil Koopman, Sandeep Tamboli, From Proceedings of the 4th IEEE International High-Assurance Systems Engineering Symposium (HASE '99), November 1999
``Decision Diagram Based Techniques for The Haar Wavelet Transform'', Jeffery P. Hansen and Masatoshi Sekine, From Proceedings of the First International Conference on Systems, Communication and Signal Processing, September 1997 (invited paper)
``Synthesis By Spectral Translation Using Boolean Decision Diagrams'', Jeffery P. Hansen and Masatoshi Sekine, From Proceedings of the 33rd Design Automation Conference, June 1996
``Search Space Reduction in High Level Synthesis by Use of an Initial Circuit'', Atsushi Masuda, Hiroshi Imai, Jeffery P. Hansen, Masatoshi Sekine and Nobuyuki Goto, From Proceedings of the Asia South-Pacific Design Automation Conference, September 1995
``The Synthesis of Combinational Logic from Sequentially Described Specifications'', Jeffery P. Hansen, Masatoshi Sekine and Nobuyuki Goto, Second Asian Pacific Conference on Hardware Description Languages, October 1994
``Adaptive Variable Ordering in Shared Binary Decision Diagrams'', Jeffery P. Hansen, Masatoshi Sekine and Nobuyuki Goto, Seventh Karuizawa Circuits and Systems Workshop, April 1993
``Models for Time Coalescence in Event Logs'', Jeffery P. Hansen and Daniel P. Siewiorek, Fault Tolerant Computing Symposium, June 1992
``Appendix E: Algebraic Solutions to Markov Models'', Jeffery P. Hansen, from Daniel P. Siewiorek and Robert S. Swarz ``Reliable Computer Systems: Design and Evaluation (second edition)'', Digital Press, 1992
``The use of Multi-Dimensional Parametric Behavior of a CSMA/CD Network for Network Diagnosis'', Jeffery P. Hansen, PhD Thesis, Carnegie Mellon University, Department of Electrical and Computer Engineering, 1992
``Trend Analysis and Modeling of Uni/Multi-Processor Event Logs'', Jeffery P. Hansen, Masters Thesis, Carnegie Mellon University, Department of Electrical and Computer Engineering, 1988
Patents
Japanese Pat. PH9-274728, ``A Logic Synthesis Device, a Logic Synthesis Method and Read-Write Capable Computer Medium Stored with a Logic Circuit Synthesis Program'', Jeffery P. Hansen, 9 claims, Filed October 1997 (pending)
Japanese Pat. PH8-59263, ``A Logic Circuit Synthesis Method'', Jeffery P. Hansen, 4 claims, Filed March 1996 (pending)
Japanese Pat. PH6-261668 ``Logic Circuit Synthesis Device'', 5 claims, T. Masuda, Masatoshi Sekine, Jeffery P. Hansen, Filed September 1994 (pending)
Awards
Best Paper -- Seventh Karuizawa Circuits and Systems Workshop (1993)
Talks
``Adaptive Variable Ordering in Shared Binary Decision Diagrams'', CAD21 held at Tokyo Engineering University, 1993 (invited talk)
References
Available on request
Return to Jeffery Hansen's homepage now.