Jeffery Paul Hansen, Ph.D.

Work: Home:
Institute for Complex Engineered Systems 5535 Beacon Street
Hamburg Hall 1201 Pittsburgh, PA 15217
Carnegie Mellon University Tel.: +1-412-422-7128
Pittsburgh, PA 15213
Tel.: +1-412-268-1627
Fax: +1-412-268-5229
e-mail: hansen@cmu.edu

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”
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 Carnegie Mellon University

Institute for Complex Engineered Systems
Pittsburgh, PA
Research Associate Professor, June 2005 - present
Research Scientist, July 2000 - June 2005
Visiting Research Engineer, June 1998 - July 2000

• Developed tools for evaluation of anomaly-based computer system intrusion

detectors. The tools use stimulus synthesizers and statistical methods to
gauge the discrimination capabilities of detectors over a wide range of
conditions. They can be used for both comparison of different detectors as
well as for calibration of detectors to achieve optimal performance.
• Developed a resource management framework for QoS (Quality of Service)
optimization for applications with context dependent resource
requirements. The framework was applied to the radar tracking problem in
a phased array radar system. Techniques for pruning the search space by
one to two orders of magnitude with no significant decrease in solution
quality were developed.
• Headed a team of researchers developing and analyzing a quantized earliest
deadline first queueing discipline. It was shown that only three bits of
deadline information was sufficient to obtain nearly all the benefit of a
traditional earliest deadline first queue.
• Headed the Amaranth project, a DARPA-funded research project focusing
on QoS in heterogeneous computer networks. 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.
• Advised a graduate student in an industry sponsored research project on
pass-transistor logic synthesis.
• Collaborated in writing research proposals submitted to DARPA, ONR,
NSF and the State of Pennsylvania.

Toshiba System ULSI Laboratory

Kawasaki, Japan
Research Scientist, June 1992 - June 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.
• 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.

Carnegie Mellon University

Department of Electrical and Computer Engineering
Pittsburgh, PA
Teaching Assistant, 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.
 Carnegie Mellon University
Department of Computer Science
Pittsburgh, PA
Programmer, January 1988 - June 1988

Designed and implemented a graph plotting tool widely used in the School
of Computer Science and the Department of Electrical and Computer
Engineering.

Carnegie Mellon University

Department of Computer Science
Pittsburgh, PA
Grader, January 1986 - May 1986

Graded programs and assignments for the course Comparative Programming

Languages. Languages covered in the course included Prolog, Lisp and Clu.

Consulting Symantec
Cupertino, California
Expert Witness, December 2005 - October 2006
Provided an expert report and deposition in support of Symantec’s defense
against a patent infringement case brought by SRI International, Inc. The case
involved Symantec’s intrusion detection software and appliances and was
decided in favor of Symantec by summary judgement.

Publications Fully Reviewed Journal Papers

Sourav Ghosh, Ragunathan Rajkumar, Jeffery P. Hansen and John P. Lehoczky,
“Integrated QoS-Aware Resource Management and Scheduling with
Multi-Resource Constraints”, accepted for publication in IEEE Journal on
Real-Time Systems, 2005
Jeffery P. Hansen, Haifeng Zhu, John Lehoczky, Ragunathan Rajkumar,
“Partitioning Considerations for Quantized EDF Scheduling”, in Journal on
Parallel and Distributed Computing Practices, vol. 5, no. 1, March 2002
Carol L. Hoover, Jeffery P. Hansen, Phil Koopman, Sandeep Tamboli, “The
Amaranth Framework: Policy-Based Quality of Service Management for High
Assurance Computing”, in International Journal of Reliability, Quality and
Safety Engineering, vol. 8, no. 4, p. 323-350, December 2001
Fully Reviewed First Tier Conference Papers
Sourav Ghosh, Jeffery P. Hansen, Ragunathan Rajkumar, John P. Lehoczky,
“Integrated Resource Management and Scheduling with Multi-Resource
Constraints”, in Proceedings of the 25th Real-Time Systems Symposium,
December 2004
Acceptance Rate – 22%
Best paper award recipient
Sourav Ghosh, Ragunathan Rajkumar, Jeffery P. Hansen, and John P.
Lehoczky, “Scalable Resource Allocation for Multi-Processor QoS
Optimization”, in Proceedings of the 23rd International Conference on
Distributed Computing Systems, May 2003
Acceptance Rate – 20% (typical)
Haifeng Zhu, Jeffery P. Hansen, John Lehoczky, Ragunathan Rajkumar,
“Optimal Partitioning for Quantized EDF Scheduling”, in Proceedings of the
23rd Real-Time Systems Symposium, December 2002
Acceptance Rate – 25%
Chen Lee, John Lehoczky, Raj Rajkumar, Jeffery P. Hansen, “A Scalable
Solution to the Multi-Resource QoS Problem”, in Proceedings of the 20th IEEE
Real-Time Systems Symposium, December 1999
Acceptance Rate – 25% (typical)
Jeffery P. Hansen and Masatoshi Sekine, “Synthesis By Spectral Translation
Using Boolean Decision Diagrams”, in Proceedings of the 33rd Design
Automation Conference, June 1996
Acceptance Rate – 20% (typical)
Jeffery P. Hansen and Daniel P. Siewiorek, “Models for Time Coalescence in
Event Logs”, in Proceedings of the 22nd International Fault Tolerant Computing
Symposium, July 1992
Acceptance Rate – 25% (typical)
Other Fully Reviewed Conference Papers
Jeffery P. Hansen, Roy A. Maxion and Kymie M.C. Tan, “Anomaly Detector
Performance Evaluation using a Parameterized Environment”, in Proceedings of
the International Symposium on Recent Advances in Intrusion Detection 2006,
September 2006
Acceptance Rate – 15% (typical)
Jeffery P. Hansen, Ragunathan Rajkumar, John P. Lehoczky, “Resource
Management for Radar Tracking”, in Proceedings 2006 IEEE Radar Conference,
April 2006
Haifeng Zhu, Jeffery P. Hansen, John P. Lehoczky, Ragunathan Rajkumar,
“RETINA: An Analytical Tool for Real-Time Network Engineering”, in
Proceedings of the 13th Workshop on Parallel and Distributed Real-Time
Systems, April 2005
Acceptance Rate – 35%
Sourav Ghosh, Ragunathan Rajkumar, Jeffery Hansen, John Lehocaky,
“Scalable QoS-Based Resource Allocation in a Hierarchical Networked
Environment”, in 11th Real Time Applications Symposium, March 2005
Haifeng Zhu, John Lehocaky, Jeffery Hansen, Ragunathan Rajkumar,
“Diff-EDF: Differentiated EDF Service”, in 11th Real Time Applications
Symposium, March 2005
Sourav Ghosh, Jeffery P. Hansen, Ragunathan Rajkumar and John P. Lehoczky,
“Adaptive QoS Optimizations with Applications to Radar Tracking”, in
Proceedings of the 10th Conference on Real-Time and Embedded Computing
Systems and Applications, August 2004
Haifeng Zhu, John P. Lehoczky, Jeffery P. Hansen, Ragunathan Rajkumar,
“Design Trade-Offs for Networks with Soft End-to-End Timing Constraints”, in
Proceedings of the 10th Real Time Applications Symposium, May 2004
Acceptance Rate 30%
Jeffery P. Hansen, Sourav Ghosh, Ragunathan Rajkumar, John P. Lehoczky,
“Resource Management for Highly Configurable Tasks”, in Proceedings of the
12th Workshop on Parallel and Distributed Real-Time Systems, 2004
Best paper award recipient
 Jeffery P. Hansen, Haifeng Zhu, John Lehoczky, Ragunathan Rajkumar,
“Quantized EDF Scheduling in a Stochastic Environment”, in Proceedings of the
10th International Workshop on Parallel and Distributed Real-Time Systems,
April 2002
Jeffery P. Hansen, Haifeng Zhu and Ragunathan Rajkumar, “Probabilistic
Bandwidth Reservation by Resource Priority Multiplexing”, in Proceedings of
the 7th Real-Time Applications Symposium, July 2001
Acceptance Rate 31%
Jeffery P. Hansen, John Lehoczky and Ragunathan Rajkumar, “Optimization of
Quality of Service in Dynamic Systems”, in Proceedings of the 9th International
Workshop on Parallel and Distributed Real-Time Systems, April 2001
Carol L. Hoover, Jeffery P. Hansen, Phil Koopman, Sandeep Tamboli, “The
Amaranth Framework: Probabilistic, Utility-Based Quality of Service
Management for High Assurance Computing”, in Proceedings of the 4th IEEE
International High-Assurance Systems Engineering Symposium (HASE ’99),
November 1999
Jeffery P. Hansen and Masatoshi Sekine, “Decision Diagram Based Techniques
for The Haar Wavelet Transform”, In Proceedings of the 1st International
Conference on Systems, Communication and Signal Processing, September 1997
(invited paper)
Atsushi Masuda, Hiroshi Imai, Jeffery P. Hansen, Masatoshi, Sekine and
Nobuyuki Goto, “Search Space Reduction in High Level Synthesis by Use of an
Initial Circuit”, in Proceedings of the Asia South-Pacific Design Automation
Conference, September 1995
Jeffery P. Hansen, Masatoshi Sekine and Nobuyuki Goto, “The Synthesis of
Combinational Logic from Sequentially Described Specifications”, Proceedings of
the 2nd Asian Pacific Conference on Hardware Description Languages, October
1994
Jeffery P. Hansen, Masatoshi Sekine and Nobuyuki Goto, “Adaptive Variable
Ordering in Shared Binary Decision Diagrams”, in Proceedings of the 7th
Karuizawa Circuits and Systems Workshop, April 1993
Best paper award recipient
Other Publications
Jeffery P. Hansen, “Creating Virtual Peripheral Devices in a Digital Circuit
Simulator Using Tcl/Tk”, in Proceedings of the 12th Tcl/Tk Conference,
October 2005
Jeffery P. Hansen, “Appendix E: Algebraic Solutions to Markov Models”, in
Daniel P. Siewiorek and Robert S. Swarz, “Reliable Computer Systems: Design
and Evaluation (second edition)”, Digital Press, 1992
Jeffery P. Hansen, “The Use of Multi-Dimensional Parametric Behavior of a
CSMA/CD Network for Network Diagnosis”, PhD Thesis, Carnegie Mellon
University, Department of Electrical and Computer Engineering, 1992
Jeffery P. Hansen, “Trend Analysis and Modeling of Uni/Multi-Processor Event
Logs”, Masters Thesis, Carnegie Mellon University, Department of Electrical
and Computer Engineering, 1988

Software “TkGate: A Schematic Capture and Digital Circuit Simulation Tool”, Jeffery P.
 Hansen, http://www.tkgate.org, March 2000

Patents Japanese Pat. PH6-261668 “Logic Circuit Synthesis Device”, 5 claims, T.

Masuda, Masatoshi Sekine, Jeffery P. Hansen, Filed September 1994 (pending)
Japanese Pat. PH8-59263, “A Logic Circuit Synthesis Method”, Jeffery P.
Hansen, 4 claims, Filed March 1996 (pending)
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. PH10-115656, “A Logic Circuit Synthesis Device and Synthesis
Method”, Jeffery P. Hansen, Mototsugu Hamada, Filed April 1998 (pending)

Awards Best Paper – Real-Time Systems Symposium (2004)

Best Paper – Workshop on Parallel and Distributed Real-Time Systems (2004)
Best Paper – Seventh Karuizawa Circuits and Systems Workshop (1993)

Talks “Resource Management for Phased Array Radars”, Ohio University, Athens,
OH, October 2005
“The Amaranth QoS Framework and QoS Optimization”, Ohio University,
Athens, OH, June 2001
“Amaranth: A Policy-Based Approach to QoS”, Purdue University, Lafayette,
IN, March 2001
“Dynamic Optimization of Quality of Service”, Dagstuhl seminar on Stochastic
and Dynamic Real-Time Systems, Wadern, Germany, July 2000
“Adaptive Variable Ordering in Shared Binary Decision Diagrams”, CAD21,
Tokyo Engineering University, Tokyo, Japan, 1993

Service Program committee member for 12th International Workshop on Parallel and
Distributed Real-Time Systems, April 2004
Program committee member for 11th International Workshop on Parallel and
Distributed Real-Time Systems, April 2003
Referee for International Conference on Dependable Systems and Networks,
February 2003
Referee for IEEE Transactions on Mobile Computing, December 2003,
September 2003, June 2003, January 2003 and April 2002.
Program committee member for 10th International Workshop on Parallel and
Distributed Real-Time Systems, April 2002
Referee for IEEE Transactions on Computing, December 2001 and January 2001
Referee for NASA Intelligent Systems Research Program Proposals, December
2000
Program committee member for 9th International Workshop on Parallel and
Distributed Real-Time Systems, April 2001

Other Skills Programming Languages: Extensive experience in C++ and C. Additional

experience includes Tcl/Tk, Lisp, Clu, Prolog, Pascal, Postscript and various
assembler languages.
Operating Systems: Extensive experience in FreeBSD and Linux. Additional
experience includes VMS, DOS, and Windows
Languages: Proficient in written and spoken Japanese (Passed level 2 on
“Japanese Language Proficiency Test”, December 1993)
FAA Certifications: Commercial Pilot – Airplane Single Engine Land and
Sea, Airplane Multi-Engine Land, Instrument Airplane, Rotorcraft Helicopter
(private privileges); Flight Instructor – Airplane Single and Multi-Engine,
Instrument Airplane; Ground Instructor – Advanced, Instrument