Bruce Krogh
Contact: |
www | | |
Office: |
Porter Hall B26 (412) 268-2472 (412) 268-3890 |
|
Mailing Address: | Electrical & Computer Engineering Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213-3891 |
|
Assistant: | Claire Bauerle |
(412)-268-7422 |
|
Position: Projects: |
Professor Verification tools for embedded systems |
|
Research Interests:Synthesis and verification of embedded control software, distributed control strategies, distributed supervisory control, information and control in wireless sensor netorks, discrete event and hybrid dynamic systems. |