High Confidence Medical Device
Software and Systems (HCMDSS)

June 2 - 3, 2005, Philadelphia, PA

Submit Position Paper (Closed)
Registration (Closed)
Hotel registration/ reservation (Closed)


Question or Comment
Contact: Valentina Sokolskaya
Last updated: June 17, 05

Short biographies

Tarek Abdelzaher

Tarek Abdelzaher received his Ph.D. in computer science at the University of Michigan in 1999. He joined the Department of Computer Science at the University of Virginia in August of 1999. He is the author or co-author of 20 papers.
Tarek's research interests include middleware, OS, and networking solutions for providing performance-guaranteed services in distributed environments, both in embedded systems and on the Internet. His research today lies primarily with investigating the architecture of future QoS-sensitive high performance services and communication mechanisms that allow features such as isolation between hosted services, performance differentiation, adaptation to load conditions, and attainment of QoS guarantees. He has investigated the implications of such architectural requirements on communication subsystem design and the OS kernel. He has also investigated possible middleware solutions to facilitate deployment in the short term.

Ashok K. Agrawala

Dr. Agrawala is a Professor of Computer Science at the University of Maryland. In 2001, he started the Maryland Information and Network Dynamics (MIND) Lab which carries out research and development activities in partnership with the industry. He received a BE degree in 1963 and a ME in 1965 from the I.I.Sc, Bangalore; and a Master of Arts and a Ph.D. degree in Applied Mathematics from Harvard University in 1970. Prof. Agrawala is the author of seven books, 6 patents (awarded or pending), and over 240 papers and is a well recognized for his contributions to the research and use of the management of time in real-time processing and clock synchronization applications. He has developed a few location determination techniques and several other innovative technologies for systems and networks which are in different stages of deployment. Prof. Agrawala is a Fellow of the IEEE and Senior Member of the ACM.

Rajeev Alur

Rajeev Alur is Zisman Family Professor of Computer and Information Science at the University of Pennsylvania. He obtained his bachelor's degree in computer science from Indian Institute of Technology at Kanpur in 1987, and PhD in computer science from Stanford University in 1991. Before joining Penn in 1997, he was with Computing Science Research Center in Bell Laboratories. His areas of research include formal modeling and analysis of reactive systems, hybrid systems, concurrency theory, and design automation for embedded software. His awards include President of India's Gold Medal for academic excellence (1987), US National Science Foundation's CAREER (1997) and ITR (2001) awards, and Alfred P. Sloan Faculty Fellowship (1999). His recent research projects include Mocha (a model checker for compositional analysis of reactive systems using gamebased requirements and assume-guarantee reasoning), Hermes (a modeling and verification tool for hierarchical state machines), OpEm (open APIs for embedded devices such as smartcards), JIST (Synthesis of behavioral interfaces for Java classes), and Charon (a modeling and verification tool for embedded control systems based on hybrid systems theory). Prof. Alur has been a coPI in DARPA's initiative on model-based design of embedded systems, and ARO's initiative on high confidence embedded systems.

Rusena Bajcsy

Dr. Ruzena Bajcsy ("buy chee") was appointed Director of CITRIS at the University of California, Berkeley on November 1, 2001. Prior to coming to Berkeley, she was Assistant Director of the Computer Information Science and Engineering Directorate (CISE) between December 1, 1998 and September 1, 2001. As head of National Science Foundation's CISE directorate, Dr. Bajcsy managed a $500 million annual budget. She came to the NSF from the University of Pennsylvania where she was a professor of computer science and engineering.
Dr. Bajcsy is a pioneering researcher in machine perception, robotics and artificial intelligence. She is a professor in the Electrical Engineering and Computer Science Department at Berkeley. She was also Director of the University of Pennsylvania's General Robotics and Active Sensory Perception Laboratory, which she founded in 1978.
Dr. Bajcsy has done seminal research in the areas of human-centered computer control, cognitive science, robotics, computerized radiological/medical image processing and artificial vision. She is highly regarded, not only for her significant research contributions, but also for her leadership in the creation of a world-class robotics laboratory, recognized world wide as a premiere research center. She is a member of the National Academy of Engineering, as well as the Institute of Medicine. She is especially known for her wide-ranging, broad outlook in the field and her cross-disciplinary talent and leadership in successfully bridging such diverse areas as robotics and artificial intelligence, engineering and cognitive science.
Dr. Bajcsy received her master's and Ph.D. degrees in electrical engineering from Slovak Technical University in 1957 and 1967, respectively. She received a Ph.D. in computer science in 1972 from Stanford University, and since that time has been teaching and doing research at Penn's Department of Computer and Information Science. She began as an assistant professor and within 13 years became chair of the department. Prior to her work at the University of Pennsylvania, she taught during the 1950s and 1960s as an instructor and assistant professor in the Department of Mathematics and Department of Computer Science at Slovak Technical University in Bratislava. She has served as advisor to more than 50 Ph.D. recipients. In 2001 she received an honorary doctorate from University of Ljubljana in Slovenia
In 2001 she became a recipient of the ACM A. Newell award.

Douglas Barton

Doug has twenty-five years experience in business management, program management, systems engineering and acquisition of complex mission critical systems. He is currently Director, Network Centric Programs and Technology, for Lockheed Martin Integrated Systems & Solutions, and manages a program portfolio that includes key multi-service horizontal integration programs, AF advanced technology programs, Naval C4ISR programs and multi-service mission planning initiatives. He is a key strategist for architectures and technologies that enable network-centric operations and transformational battle management.
Doug has served with a variety of industry associations and consortia to include the National Security Industrial Association, the National Defense Transportation Association, the Association for Enterprise Integration and the Industry Panel of the AF C4ISR Summit. He currently serves as Lockheed Martin Alternate to the Executive Committee of the Network Centric Operations Industry Consortium.

Scott L. Bartow

Scott L. Bartow M.S., R.R.T., F.A.A.R.C. is the Director Sentara HealthCare Home Medical Equipment Services. Scott has over 30 years health care experience including acute and home care concerns. He has chaired/participated in home care committees for state and national medical equipment associations. He has participated/chaired committees for various national healthcare accreditation bodies. He has been and author and speaker for local, state, and national home care publications and conventions.

Poppy Rae Bass

I am the Nursing Technology and Practice Manager at the Hospital of the University of Pennsylvania. My responsibilities include implementing maintaining and evaluating the utilization of smart pump technology in patient care areas. I am also involved in implementing the Navicare and Vocera products in the Hospital

M. Brian Blake

M. Brian Blake received his PhD in Information and Software Engineering from George Mason University and currently is on the faculty of Computer Science at Georgetown University. His research interests lie in intelligent systems and workflow management, component-based software engineering and software engineering education. Currently, he is investigating the development of software process and procedures in the development of reusable medical components.

Timothy Buchman

Timothy G. Buchman, PhD, MD, FACS, FCCM, is the Harry Edison Professor of Surgery, Professor of Anesthesiology and of Medicine and the Chief of the Burn, Trauma and Surgical Care Section of the Department of Surgery at Washington University School of Medicine in St. Louis. He is also Director of the Level I Trauma Center, co-Director of the Surgery/Burn/Trauma ICU and attending Surgeon at Barnes Jewish Hospital in St. Louis.
Prior to moving to St. Louis, Dr. Buchman was Associate Professor of Surgery, Assistant Professor of Emergency Medicine and Director of the Training Program in Surgical Critical Care at The Johns Hopkins University in Baltimore, where he also held a joint appointment in Molecular Biology and Genetics.
The Associate Editor of Shock, Dr. Buchman has also been a member of the following editorial boards: Critical Care Medicine, International Journal of Surgical Investigation, The Journal of Surgical Research and The Journal of the American College of Surgeons. He has published approximately 150 journal articles, abstracts, books and chapters. Currently, Dr. Buchman has three National Institutes of Health grants.
An active member of the Society of Critical Care Medicine, Dr. Buchman is the immediate Past President as well as a member of the Strategic Planning Committee. Previously, he has chaired the following SCCM organizational bodies: Research Division, Project IMPACT Advisory Committee and the Undergraduate Education Subcommittee of the Educational Affairs Division. He has served the American College of Surgeons as a member of the Surgical Research and Education Committee and Course Director for the Young Surgical Investigator's Conference.
Additionally, Dr Buchman is a member of the following professional societies: American Association for the Surgery of Trauma, American Surgical Association, Association for Academic Surgery, Eastern Association for the Surgery of Trauma, Shock Society, Society of University Surgeons and Surgical Infection Society.
Washington University has honored Dr. Buchman with the Senior Class Award for Teacher of the Year and the Evarts A. Graham Resident Teaching Award. He is the recipient of the Dr. Harold Lamport Research Award Citation and the First Prize Resident's Award from Contemporary Surgery. While at Johns Hopkins University School of Medicine, Dr. Buchman was presented with the Anthony L. Imbembo Teaching Award and the Baltimore Academy Teaching Award. He received the John Van Prohaska Award and the Merck Award from the University of Chicago.
Dr. Buchman completed his Fellowship in Traumatology and Critical Care at the Maryland Institute for Emergency Medical Service Systems and his residency and internship at The Johns Hopkins Hospital in Baltimore. He received a medical degree, a doctorate in virology, a master's degree in organic chemistry and a bachelor's degree in chemistry from the University of Chicago.

Daniel Carozza

Dr. Carozza has over 15 years of experience in the medical informatics industry with a concentration in medical imaging and medical middleware interface technology. He is also an independent consultant to the medical device industry and to the VA and DOD on regulatory matters (FDA, CE, ISO and HIPAA). His prior experience includes technical and operational management roles in medical imaging companies. He holds a BA from the University of Wisconsin in Molecular Biology and Computer Science, an MD from the University of Rome and has served on the faculty of the University of Rome and the Italian National Research Council as a professor of Biomedical Technology

Andrew Casertano

Andrew recently joined the Department of Veterans Affairs VistA Imaging team. He supported the Department of Defense Military Health Systems in the Clinical Information Technology Program Office. He received his MS and BS degree in Electrical Engineering at the University of Maryland.

M. Cenk Cavusoglu

M. Cenk Cavusoglu received the received the Ph.D. degree in Electrical Engineering and Computer Science from the University of California, Berkeley, in 2000, the M.S. degree from the University of California, Berkeley, in 1997, and the B.S. degree from Middle East Technical University, Ankara, Turkey, in 1995. He is currently an Assistant Professor in the Electrical Engineering and Computer Science Department of Case Western Reserve University, Cleveland, OH.
His research interests include, Robotics, Systems and Control, and Virtual Environments, with emphasis on Medical Robotics, Haptics, Teleoperation, Surgical Simulation, and Bio-System Modeling and Simulation.

Rance Cleaveland

Rance Cleaveland is the CEO of Reactive Systems, Inc., and professor of Computer Science at SUNY at Stony Brook. He has published extensively in the areas software modeling and validation, including model checking algorithms and tools, temporal logic, process algebra, software architecture, and semantics of modeling languages. Cleveland is the recipient of a National Young Investigator Award from the National Science Foundation and a Young Investigator Award from the Office of Naval Research. He received M.S. and Ph.D. degrees in Computer Science from Cornell University and a B.S. in Mathematics and Computer Science from Duke University.

Peter Coronado

Peter Coronado has over 25 years of experience in software engineering having worked in numerous areas of technology, including control systems for medical linear accelerators and defense communications systems. He has developed, managed, and deployed complex systems built to the requirements of 21CFR820.30, DoD-STD-1703(NS), and DoD-STD-2167A. He has designed and deployed corporate development procedures in both defense and medical device companies. He is the designer and co-instructor of Varian Medical Systems' design control procedures course. Most recently, he led the development team for the Trilogy linear accelerator that adapted Varian's device or stereo tactic radio surgery applications. He is presently working on implementation of ISO14971 compliant processes throughout Varian. Peter holds a Masters Degree in Computer Science from Southern Methodist University and a Bachelors Degree in Engineering Mathematics from the Colorado School of Mines.

Rick Craft

Rick Craft holds a BS and MS in electrical engineering from Georgia Tech. During his career at Sandia National Laboratories, he has worked in robotics, military applications, nuclear command and control, telemedicine, and systems analysis. From 2001 - 2003, Rick served as co-chair of the Technology SIG of the American Telemedicine Association. His technical interests include computational methods of system assessment and the use of computing to develop intelligent tools for use in knowledge-centric applications.

Kenneth C. Curley

I am a physician-scientist with backgrounds in clinical and basic neuroscience, medical imaging, molecular biology and surgery. I medically retired from the Army in 2002 an am an IPA at TATRC, where I am Chief Scientist, and USUHS, where I am on the faculties of Military & Emergency Medicine and Biomedical Informatics and serve as the Associate Director for Science in the Center for Disaster and Humanitarian Assistance Medicine (USUHS is the DoD Medical School). My IPA is through the Henry M. Jackson Foundation for the Advancement of Military Medicine. My main research interests are medical modeling and simulation for surgical training and surgical robotics/telesurgery. I also work with several groups on standards and interoperability initiatives in modeling & simulation, perioperative and intraoperative surgical systems and telemedicine.

Ralph G De Palma

Ralph G De Palma was born in the Bronx, New York. Educated in public schools, he received the AB degree cum laude from Columbia College and his MD degree from New York University School of Medicine. He was elected to Phi Beta Kappa and Alpha Omega Alpha. He began surgical training at Presbyterian and St Lukes Hospital in New York. This was interrupted by service in the United States Air Force where he served as chief of surgery at the base in Seville, Spain and also as Flight Surgeon. He completed surgical training in Cleveland under the direction of Dr. William D Holden at University Hospitals.
Joining the faculty at Case Western Reserve in 1964, he became professor of Surgery in 1973. In 1980 he was appointed Professor and Chairman of Surgery at the University of Nevada School of Medicine, helping to launch a new medical school in the Silver State. From 1982 to 1994 he served as the Lewis B Saltz Professor of Surgery at George Washington University, returning to Nevada in 1994 as Associate Dean, Professor, and Vice Chair of Surgery in Reno as well as Director of Surgery of the VA Sierra Nevada Health Care System. In 2000 he was appointed National Director of Surgery for the Department of Veterans Affairs in Washington, DC. He now serves in this position as well as Professor of Surgery at the Uniformed Services University of the Health Sciences in Bethesda, Maryland.
His clinical interests focus on vascular surgery with research interests in shock and atherosclerosis. His early studies of cholesterol and bile acid metabolism at Case Western Reserve led to sequential measurements of atherosclerotic plaques in canine and primate models, with a landmark demonstration by his laboratory of plaque regression in response to lowered of serum cholesterol. This research was initially presented at The Surgical Forum of the American College of Surgeons. Clinically, Dr. DePalma's group was the first to show that continued cigarette smoking is the major factor in aortic graft occlusion. He was elected president of the Cleveland Vascular Society, which developed a unique registry to monitor the quality of care and outcomes in vascular surgery. He also explored medical and vascular surgical approaches for the treatment and prevention of erectile dysfunction as well as for advanced venous insufficiency. He serves as on the editorial boards of The International Journal for Impotence Research and Vascular and Endovascular Surgery. Dr. De Palma has been a principal investigator in the VA cooperative trial; Iron and Atherosclerosis, FeAST, testing the hypothesis that lowered iron stores might ameliorate the course of advanced atherosclerotic disease. This research with the group in Reno has demonstrated systemic inflammatory cytokine responses in peripheral atherosclerosis.
His office in Patient Care Services has responsibility for National VA programs NSQIP and CICSP: improvement in surgery and cardiac surgery. These programs use the well developed VistA and computerized patient record systems of VHA. Organizational activities include the American College of Surgeons, Society for Vascular Surgery, The American Association of Vascular Surgery, The American Surgical Society, the Southern Surgical Association, and the Councils on Stroke and Arteriosclerosis of the American Heart Association.

Steve Dimmer

Steven Dimmer is Vice President of Reseach and Development at Calypso Medical Technologies in Seattle Washington. Mr. Dimmer joined Calypso Medical in 2000 as the second full-time member of the senior management team. He is an industry veteran with more than 20 years of experience in research, development and manufacturing, including early stage medical device companies.
Prior to joining Calypso® Medical, Mr. Dimmer was senior director of engineering, development and operations at Genetronics Inc., a San Diego-based drug and gene delivery company. He led development and manufacturing of the first commercially available electroporation-based drug delivery system for surgical oncology. The system was licensed in 1998 to Ethicon Inc., a Johnson & Johnson Company. Previously, Mr. Dimmer was a project engineer at Pyxis Corporation, acquired by Cardinal Health, where he led the development of next generation hospital medication and supply automation systems. He also served as technical team leader at FOxS Labs, which was acquired by Nellcor Puritan-Bennett. FoxS developed and commercialized the first fiber optic sensor based intra-arterial blood gas monitoring system in 1992.
Mr. Dimmer holds a bachelor's of science degree in electrical engineering from San Diego State University and has ten US patents and nineteen US patents pending.

Matthew Dwyer

Matthew Dwyer, the Henson Professor of Engineering in CSE at UNL, has over a decade of experience developing static software analysis techniques and tools and studying their application in practice.

Sherman Eagles

Sherman Eagles is a Technical Fellow at Medtronic, Inc. He has been at Medtronic for 15 years working on software development, tool, process and quality improvements. He is currently a member of the Quality Department in Medtronic's Cardiac Rhythm Management division working on Software Quality and Safety. He has 36 years of software experience, including development work on operating systems, communications, software development tools and software development processes. Sherman is a co-chair of the Medical Device Software Committee of AAMI, and chair of the medical device software working group of AdvaMed. He is the convener of two international standards working groups responsible for safety requirements for programmable electrical medical systems (IEC SC 62A), and software life cycle process for medical devices (IEC SC 62A and ISO TC 210). He received a Bachelor's degree in physics from Macalester College.

Mike Eklund

Mike Eklund is a visting postdoc in Electrical Engineering and Computer Sciences and UC Berkeley. He leading the Berkeley portion of a joint project entitled Information Technology for Assited Living at Home in collaboration with the University of Aarhus, Denmark, and Tampere University of Technology, Finland.

Jacob Flanz

Jacob Flanz is a technical director of the Northeast Proton Therapy Center at Massachusetts General Hospital. We are a facility which delivers radiotherapy treatments using a proton accelerator. Ours is a large and complex system using software and hardware controls. In addition, we work with an MIT CS group on aspects of software safety.

Steven P Getz

I am currently the Director of Software Engineering at Animas Corporation, primarily overseeing embedded code development for insulin infusion pumps.
Master in Electrical Engineering from Penn State
BS in Electrical/Computer Engineering from Drexel
Employment includes:
Animas Corporation - Insulin infusion pumps and Blood glucose monitoring
Surgical Laser Technologies - Medical lasers
Unisys - FAA air traffic control systems
PolyPharm - Drug dispensing system
Ensoniq - Musical Synthesizers < br> Consultant - Various medical and commercial devices

Christopher D. Gill

Christopher D. Gill is an Assistant Professor of Computer Science and Engineering at Washington University in St. Louis. He led the development of the nORB small-footprint real-time object request broker under the DARPA NEST program, and led a multi-university distributed real-time scheduling research project under the DARPA PCES program. His current research is focused on fine-grained formal models for composition of middleware and OS concurrency and scheduling mechanisms, and on integration of access, admission, and execution control policies and mechanisms for secure real-time systems. Dr. Gill has published over 50 referreed technical articles in leading journals, conferences, workshops, and edited collections. He has also served extensively on standards bodies, conference and workshop program and organizing committees, and review panels in the distributed and real-time systems research communities. for Int'l Workshop on Wireless Networks and Mobile Computing, Int'l Workshop on Pervasive Computing (PC'00), and Future Trends in Distributed Computing Systems (FTDCS'01), Int'l Workshop on Wireless Security and Privacy (WiSPr'2003). He is a member of ACM and a senior member of the IEEE. Dr. Gupta heads the IMPACT (Intelligent Mobile and Pervasive Applications and Computing Technologies) Lab at Arizona State University. For information about his recent research projects and publications visit http://impact.asu.edu.

Helen Gill

Helen Gill is a Program Director in the Computer and Network Systems division of NSF's Computer and Information Science and Engineering Directorate. Dr. Gill works in Computer Systems Research, managing a portfolio in real-time and embedded computing, distributed real-time embedded systems, software composition for embedded systems, resource management and real-time scheduling, and high confidence methods for safety critical systems. She also serves in the Cyber Trust initiative, which supports research in cyber security, including approaches for distributed embedded real-time and resource-constrained systems. She co-chairs the High Confidence Software and Systems (HCSS) Coordinating Group of the NSTC Networking and Information Technology R&D (NITRD) Subcommitee and she represents NSF in the Critical Information Infrastructure Protection Interagency Working Group and CISE in the NSTC Critical Infrastructure Protection Subcommittee. Dr. Gill received her PhD in Computer Science from Auburn University, M.S. in Computer Science from the University of Colorado, and B.A.(General Honors, Phi Beta Kappa) in Mathematics from the University of Missouri. Most recently, she has served at NSF since 2000. Previously, she was a Program Manager at DARPA, where she established programs in Software Enabled Control (SEC) and Program Composition for Embedded Systems (PCES) and managed research in formal methods. Prior to this, she had served as Program Director for the NSF program in software engineering and programming language semantics and was a Principal Scientist at the MITRE Corporation.

Julian M. Goldman

Julian M. Goldman, MD is an Assistant in Anesthesia at the Massachusetts General Hospital, Instructor in Anesthesia at the Harvard Medical School, and Adjoint Associate Professor of Anesthesiology at the University of Colorado School of Medicine. Dr. Goldman's research fellowship concentrated on artificial intelligence applications for medical monitoring, and simulation and modeling. Dr. Goldman departed the University of Colorado as a Tenured Associate Professor in 1998 to work as Vice President of Medical Affairs of a medical monitoring company. Currently, he is a principal anesthesiologist in the MGH OR of the Future, Principal Investigator of the OR of the Future plug-and-play medical device interoperability program, and a Physician Adviser to Partners Healthcare Biomedical Engineering. Dr. Goldman chaired ASTM Committee F29 that develops standards for anesthetic and respiratory equipment, and currently chairs several USA and International medical device standards committees. He is president-elect of the Society for Technology in Anesthesia, and serves as a Visiting Scholar in the US FDA Medical Device Fellowship Program.

Elsa L. Gunter

Elsa L. Gunter is a Research Associate Professor in the Department of Computer Science of the University of Illinois at Urbana-Champaign. Her research interests include formal methods, design and use of automated theorem provers, and mathematical semantics of programming languages. She received her BA from the University of Chicago and her PhD from the University of Wisconsin at Madison. She was a post-doctoral research assistant at both Cambridge University and the University of Pennsylvania. For ten years she was a Member of Technical Staff at Bell Laboratories. She then joined NJIT for 4 years, and has been at Urbana-Champaign since 2004.

Sandeep Kumar S. Gupta

Sandeep Kumar S. Gupta is an Associate Professor in the Ira A. Fulton School of Engineering in the Department of Computer Science and Engineering and Arizona State University. He received the B.Tech degree in Computer Science and Engineering (CSE) from Institute of Technology, Banaras Hindu University, Varanasi, India, M.Tech. degree in CSE from Indian Institute of Technology, Kanpur, and M.S. and Ph.D. degree in Computer and Information Science from The Ohio State University, Columbus, OH. He has served at Duke University, Durham, NC as a post-doctoral researcher; at Ohio University, Athens, OH as a Visiting Assistant Professor; and at Colorado State University, Ft. Collins, CO as an Assistant Professor. His current research is focused on dependable and adaptive distributed systems with emphasis on wireless sensor networks, mobile computing, and biomedical applications. His research has been funded by the National Science Foundation (NSF) and the Consortium for Embedded Systems (CES). His awards include NSF ITR Award for "Wireless Solutions for Smart Sensors Biomedical Applications" and NSF NMI Award for Situation-Aware Middleware for Ubiquitous Computing; and, CES award for "Location Based Authentication" and "Integrated Infrastructure for Identity Assurance". He is co-author of the book "Fundamentals of Mobile and Pervasive Computing" published by McGraw Hill, 2004. He has co-guest edited special issues of IEEE Personal Communication Magazine (on Pervasive Computing, 2001), IEEE Transactions on Computers (on Mobile Computing and Databases, 2002), ACM/Baltzer Winet (Advances in Mobile Computing and Wireless Systems, 2003) and ACM/Baltzer Monet (on Pervasive Computing, 2001). Dr. Gupta was program chair for Int'l workshop on Group Communication and a program co-chair

C. William Hanson III, MD

Professor of Anesthesia, Surgery and Internal Medicine
Section Chief Critical Care Medicine
Medical Director Surgical ICU
Medical Director Penn E-lert (ICU telemedicine)
I am an intensivist and cardiac anesthesiologist. I run our ICU telemedicine program. I have taught a course on medical informatics at Princeton for the past 4 years and currently finishing a book on same.

John Hatcliff

John Hatcliff is a Professor and Chair of Software Engineering in the Department of Computing and Information Sciences at Kansas State University; most recently he has led the development of environments for constructing high-assurance software using model-driven analysis, synthesis and monitoring techniques.

Scott Henninger

Scott Henninger is an Associate Professor in the Department of Computer Science and Engineering (CSE) at the University of Nebraska at Lincoln (UNL) with expertise in software development environments, usability engineering, and usability design patterns.

David W. Hislop

Significant experience in electronics/instrumentation/computer industry; management of systems/product development, and applications in diverse areas of the physical, life, and medical sciences.
Presently, at the U.S. Army Research Office, Dr. Hislop is in the Computer and Information Sciences Division. He currently manages the "Software and Knowledgebased Systems" program. An emphasis of this program is on providing the theoretical basis for a principled software/systems engineering discipline. The scope of his interests include intelligent systems, machine learning, decision support, autonomous systems, formal models/methods for software development/evolution, human-computer interfaces, and all aspects of automating the processing and interpretation of signals, images, natural language, and distributed information.
Dr Hislop is presently an adjunct faculty member of Electrical and Computer Engineering at North Carolina State University (Raleigh, N. C.) and formerly Biomedical Engineering (School of Medicine) at the University of North Carolina at Chapel Hill ( Chapel Hill, N. C.). Dr. Hislop has maintained strong connections to the international research community through U.S. Army Research Office sponsored international workshops, and invited presentations/seminars at numerous international universities and professional meetings. A recent strategy for research investments is the focus on embedded systems, and in particular embedded system medical devices.

Jennifer C. Hou

Jennifer C. Hou received a Ph.D. degree in Electrical Engineering and Computer Science from University of Michigan, Ann Arbor, MI in 1993. She is current a professor in the Department of Computer Science at University of Illinois at Urbana Champaign. Prior to joining UIUC, she was an assistant professor at the University of Wisconsin -- Madison in 1993-1996, and an assistant/associate professor at Ohio State University in 1996-2001. Hou has worked on several federally and industry funded projects in the areas of network modeling and simualtion, network measurement and diagnostics, enabling communication software for assisted living, and both the theoretical and protocol design aspects of wireless sensor networks. She has published over 130 papers and book chapters in archived journals and peer-reviewed conferences, and released a truly extensible, reusable, component-based, compositional network simulation and emulation package, J-Sim. She is the Technical Program Co-chair of 27th IEEE INFOCOM: Conference on Computer Communications 2008, First International Wireless Internet Conference 2005, ACM/IEEE Information Processing in Sensor Networks 2004, and IEEE Real-time Application and Technology Symposium 2000. She has also served on the editorial board of IEEE Trans. on Wireless Communications, IEEE Trans. on Parallel and Distributed Systems, IEEE Wireless Communication Magazine, ACM/Kluwer Wireless Networks, ACM Trans. on Sensor Networks, and Foundations and Trends in Networking. Hou is a recipient of the Lumley Research Award from Ohio State University in 2001, an NSF CAREER award in 1996-2000 and the Women in Science Intiative Award from The University of Wisconsin -- Madison in 1993-1995. She is a senior member of IEEE and a member of ACM.

Sally E. Howe

Sally E. Howe is Associate Director of the National Coordination Office (NCO) for Information Technology Research and Development (IT R&D), and has been at the NCO since it was established in 1992, serving first as Assistant Director for Technology and then as Chief of Staff. The NCO's activities include: coordinating the Federal government's $2 billion per year Networking and Information Technology Research and Development (NITRD) Program; supporting the Interagency Working Group (IWG) on ITR&D under the National Science and Technology Council, Office of Science and Technology Policy, Executive Office of the President; coordinating the preparation of documents including the NITRD Program's annual report to Congress (commonly known as the Blue Book); and supporting the President's Information Technology Advisory Committee (PITAC). Dr. Howe's duties at the NCO include: coordinating the activities of the NCO's technical staff, including their support for the six Coordinating Groups that report to the IWG/ITR&D; serving as Executive Editor for the Blue Book; coordinating the NCO's technical support for the PITAC and preparing and overseeing the NCO budget. Prior to working at the NCO, she spent 12 years at the National Institute of Standards and Technology, including serving as Chief of the Scientific Computing Environments Division within the Center for Applied Mathematics. Before joining the Federal government, she was an Assistant Professor of Statistics at Carnegie Mellon University and an Instructor in Mathematics at Keystone Junior College. She holds a B.A. in Mathematics from William Smith College, an M.A. in Mathematics from the University of Virginia, and a Ph.D. in Applied Mathematics from Brown University.

Zachary Ives

Research interests include data integration, peer-to-peer data sharing systems, data management for collaboration, and sensor and stream processing. Principle developer of the Tukwila data integration system and co-designer of the Piazza and Orchestra peer-to-peer data sharing systems. Co-chair of 2005 XML Symposium.

David R. Jones

David R. Jones is the Director of Worldwide Quality and Regulatory for Patient Monitoring, Philips Medical Systems, responsible for software based products which include multi-parameter hospital based clinical measurements monitors, telemetry and departmental computer information systems, and patient surveillance central stations and networking products. He is based in Andover, MA and manages teams in both the U.S. and Germany. Previously at Bausch & Lomb he was the Director of Global Quality Information Systems responsible for Software Quality Assurance and Software Compliance Strategies for the Vision Care, Surgical, and Pharmaceutical Divisions.
He holds a M.S. in Engineering Management from Northeastern University along with B.Sc. Mechanical Engineering and B.Com Economics degrees from the University of Birmingham, England, both with honours. He is a Chartered Engineer and an IEEE Member. David is on the Industrial Advisory Board of Boston University's Department of Biomedical Engineering and Embry-Riddle Aeronautical University/s Department of Computer and Software Engineering.

LeRoy E. Jones

LeRoy E. Jones is a healthcare technology executive, who has broad experience delivering technical solutions across the health-industry spectrum, including pharmaceuticals, acute care delivery, managed care, public health, and health informatics generally.
As Senior Technical Advisor to Dr. David J. Brailer, National Coordinator for Health Information Technology at the U.S. Department of Health and Human Services, Mr. Jones is responsible for managing the strategic technical directions for the national healthcare agenda for the Office. Mr. Jones leads the Federal Health Architecture initiative, an e-Government line of business responsible for unifying IT architecture across the Federal government. Mr. Jones is also co-leading the initiative to build a private sector consortium of health technology companies to build the nation's health information backbone to enable ubiquitous interoperability among all entities in the healthcare value chain. Mr. Jones is one of the inaugural members of the ONCHIT team. Immediately prior to taking on this role, Mr. Jones performed a targeted consulting assignment for the Administrator of the Centers for Medicare & Medicaid Services (CMS), evaluating key technology projects, strategies, and processes in order to compile an audit report with recommendations for the way forward.
Before assuming a role in public health with the Federal government, Mr. Jones was a Principal and Chief Executive Officer of Safe Outsourcing in Philadelphia, which handles IT services and business-process outsourcing implementation through international engagements. He managed offshore development centers in India, as well as formed a network of implementation partners in the United States and abroad. During his time there, Mr. Jones provided systems analysis and evaluation services to the California Healthcare Foundation regarding their use of medical data standards (Calinx) within the California healthcare community, as one example. Prior to founding Safe Outsourcing, Mr. Jones was the Chief Technology Officer and Chief Security Officer to CareScience, Inc., a leading provider of care management services and Internet-based solutions that help reduce medical errors and improve doctor and hospital-based performance. He was responsible for product development, data management, operational support, and IT infrastructure for sites in Pennsylvania, North Carolina, and California and was a member of the company executive council. In that capacity, Mr. Jones was a key architect and responsible for the development and deployment of the Care Data Exchange in Santa Barbara, CA, one of the very few functioning reference models for community sharing of clinical data within the United States.
Additionally, Mr. Jones served was vice president of Scott-Levin Associates, a Quintiles Transnational company, where he led the Advanced Technology & Development department. He has also worked previously for Care Management Science Corporation in Philadelphia as director of Software Engineering & Data Architecture, as a senior consultant with Booz, Allen & Hamilton, Inc., and as a member of the engineering staff at General Electric Aerospace Advanced Technology Laboratories.
Mr. Jones holds an M.S. in Engineering in the Management of Technology jointly from The Wharton School and the Engineering School at the University of Pennsylvania, and a B.S. in Computer Science from Carnegie Mellon University. With experience in data validation and security, Mr. Jones is a Certified Information System Security Professional (CISSP).
Mr. Jones is a member of the Eastern Technology Council and served on the board of directors of Reboot Philadelphia. He lives in Philadelphia, PA with his wife of 12 years, and two small children.

Mark Jones

Dr. Mark Jones is an Associate Professor at the School of Science and Engineering at Oregon Health & Science University (OGI). His area of expertise is in the design, implementation, and application of programming languages. He obtained a doctorate (D.Phil.) from the University of Oxford in England, and has worked as an Associate Research Scientist at Yale University, and as a Reader at the University of Nottingham, where he founded and led a research group on Languages and Programming. Jones was the Principal Investigator on the DARPA-funded Project Timber, dealing with the development of new programming language technology to support the design of reliable, real-time embedded systems. He is now leading the Programatica project, which is using the construction of a microkernel implementation with strong security properties to demonstrate and inform the design of tools for evidence management and validation of complex, high-confidence software.

Paul L. Jones

Paul has more than 20 years of systems/software engineering experience in industry, that includes ten years of operating system development work. He is presently with the U.S. Food and Drug Administration in the Office of Science and Engineering Laboratories as a medical device software system safety engineer. He is actively involved in high confidence embedded and software and systems research. Paul earned a Masters degree in Computer Engineering from Loyola College in 1999. He has published in the areas of medical device software risk management and formal methods based safety modeling. He is a member of IEEE and the Systems Safety Society.

Nagarajan Kandasamy

Nagarajan Kandasamy is an Assistant Professor with the Electrical and Computer Engineering Department at Drexel University. He received the PhD degree in computer science and engineering from the University of Michigan in 2003. Prior to joining Drexel, he was a research scientist at the Institute for Software Integrated Systems, Vanderbilt University. His interests include dependable computing, embedded systems, self-managing and distributed systems, and testing and verification of digital systems.

Soon Ju Kang

Soon Ju Kang : Professor, School of Electrical Engineering and Computer Science, Kyungpook National University (KNU), Korea. Since September 1996, he has been a faculty member of School of Electrical Engineering and Computer Science of KNU. His current research interests include real-time system, home network, distributed object technology and software engineering. He is a member of IEEE computer society, KISS, KIEE, KITE.

Peter Kazanzides

Peter Kazanzides received the Sc.B., Sc.M., and Ph.D. degrees in electrical engineering from Brown University in 1983, 1985, and 1988, respectively. His dissertation focused on force control and multiprocessor systems for robotics. He began work on surgical robotics in March 1989 as a postdoctoral researcher at the IBM T.J. Watson Research Center with Dr. Russell Taylor. Dr. Kazanzides co-founded Integrated Surgical Systems (ISS) in November 1990 to commercialize the robotic hip replacement research performed at IBM and the University of California, Davis. As Director of Robotics and Software, he was responsible for the design, implementation, validation and support of the ROBODOC® hardware and software. Dr. Kazanzides joined the NSF Engineering Research Center for Computer-Integrated Surgical Systems and Technology at Johns Hopkins University in December 2002 as Chief Systems and Robotics Engineer. He currently holds an appointment as an Assistant Research Professor of Computer Science at Johns Hopkins University.

Frankie King

Ms. King is a member of the Technical Staff of the National Coordination Office (NCO) for Information Technology Research and Development (ITR&D). As the Technical Coordinator for the High Confidence Software and Systems (HCSS) and the Human Computer Interaction and Information Management (HCI&IM) Coordinating Groups, Ms. King is responsible for the day-to-day management and coordination of the interagency programs and initiatives implemented by these groups. Ms. King also serves as the Special Projects Coordinator in which she provides technical writing, analytical, research, and problem solving services for a variety of NCO ITR&D activities. Ms. King joined the NCO in January 2003.

Robert C. Kircher

Robert C. Kircher, Jr. is the co-founder and managing partner of Dose Safety Company, for whom he developed software controller prototype and safety for a diabetes clinical trial being conducted. He worked twenty years for the Boeing Company supporting the requirements specification and validation testing of Boeing Commercial Airplane flight-critical systems, and accrued three US patents for digital navigation systems. Bob has published papers in peer-reviewed industry journals and has a B.A. in Mathematics from U.C. Berkeley and a Masters of Software Engineering from Seattle University.

T. John Koo

T. John Koo received the B.Eng. degree in Electronic Engineering and the M.Phil. degree in Information Engineering from the Chinese University of Hong Kong in 1992 and 1994, respectively, and the Ph.D degree in Electrical Engineering from the University of California at Berkeley in 2000. Since August 2003, he has been an Assistant Professor in the Department of Electrical Engineering and Computer Science (EECS) and the Institute for Software Integrated Systems (ISIS) at Vanderbilt University. He is an Associated Faculty of the National Science Foundation ITR Center for Hybrid and Embedded Software Systems (CHESS). He was a Visiting Faculty in the Department of Electrical Engineering and Computer Sciences of the University of California at Berkeley in 2002. In 2001, he held a Research Specialist position in the Electronics Research Laboratory of the University of California at Berkeley. He was a Postdoctoral Fellow in the Department of Electrical Engineering of the University of Pennsylvania in 2000. In 1998, he held a Consultant position at the Stanford Research Institute International, Menlo Park, CA. From 1995 to 2002, he was the founder and project leader of the Berkeley Aerial Robot project. His research interests include embedded software, hybrid systems, nonlinear control theory, and robotics with applications to wireless sensor networks, power electronics, and networks of autonomous vehicles. Dr. Koo received the Nation Science Foundation Faculty Early Career Development (CAREER) Award in 2005 and the Distinguished M.Phil. Thesis Award of the Faculty of Engineering, the Chinese University of Hong Kong, in 1994.

Bruce H. Krogh

Bruce H. Krogh is professor of electrical and computer engineering at Carnegie Mellon University, Pittsburgh, PA, USA. He was a past Associate Editor of the IEEE Transactions on Automatic Control and Discrete Event Dynamic Systems: Theory and Applications, and founding Editor-in-Chief of the IEEE Transactions on Control Systems Technology. His current research interests include hybrid dynamic systems, and synthesis and verification of embedded control system designs.

Peter Kuzmak

Mr. Kuzmak has been involved in developing and interfacing clinical information systems for 28 years.
He has been with the Department of Veterans Affairs on the VistA Imaging Project for the past 15 years. He is responsible for aspects of architecture, specification, software development, and deployment of VistA DICOM interfaces between the VA's HIS/RIS, commercial PACS, and image producing modalities. VistA Imaging is now operatoinal at all 158 VA medical centers and over 250 million images are on line.
He previously worked for the Johns Hopkins Hospital for 13 years, where he developed clinical systems both in MUMPS and in relational databases using C.
Mr. Kuzmak has a MSBME from the Johns Hopkins School of Medicine and a BSEE from Clarkson University.

Insup Lee

Insup Lee is currently Professor in the Department of Computer and Information Science at the University of Pennsylvania, where he has been since 1983. He was CSE Undergraduate Curriculum Chair from September 1994 to August 1997. He is IEEE fellow.
His research interests include embedded systems, real-time computing, formal methods, wireless network, and software engineering. He had developed programming concepts, language constructs, and operating systems for real-time systems. In recent years, he has developed specification, analysis, and testing techniques based on real-time process algebra (ACSR). In addition, he has devoloped a hierarchical specification language for hybrid systems (CHARON). Based on CHARON, he is currently developing techniques for automatic code generation and test generation. Furthermore, he is currently working in wireless network, especially power-aware protocols and security. He also has benn developing the run-time monitoring and checking framework (MaC) that can be used to assure the correctness of a running system through monitoring and checking of safety, QoS, and security properties. The prototype MaC system has been implemented in Java and is currently being ported to Real-Time Java.

Peter Lee

Peter Lee is a Professor of Computer Science at Carnegie Mellon University. He joined the faculty after his doctoral studies at the University of Michigan in 1987. Dr. Lee is known internationally for his research contributions in areas related to the theory of programming languages, with applications to operating systems, networks, and computer security. He is perhaps best known for his co-development of "proof-carrying code" (PCC), a technology for verifying the security of mobile code. PCC today is the subject of research and commercial projects worldwide. In his former capacity as Associate Dean, Dr. Lee directed Carnegie Mellon's computer science undergraduate program, overseeing its rise to national prominence, including a #2 ranking in the Gourman Report and a six-fold increase in the number of women in the program. Peter Lee is an elected Fellow of the Associate for Computing Machinery and the Board of Directors of the Computing Research Association. He is a member of the Army Science Board and has served on panels for the Defense Science Board, the National Academies, DARPA IXO, and DARPA ISAT.

Brian Litt

Brian Litt received the A.B. degree in engineering and applied science from Harvard University in 1982 and the M.D. degree from Johns Hopkins University in 1986. Residency in Neurology, Johns Hopkins University, 1988-1991. Neurology Faculty, Johns Hopkins Hospital, 1991-1996. Neurology/Biomedical Engineering Faculty, Emory University/Georgia Institute of Technology 1997-1999. Dr. Litt is an Associate Professor of Neurology; Associate Professor of Bioengineering, and Director, EEG Laboratory at the Hospital of the University of Pennsylvania. His scientific research is focused on his clinical work as a Neurologist specializing in the care and treatment of individuals with epilepsy. It encompasses a number of related projects: 1) automated implantable devices for the treatment of epilepsy, 2) seizure prediction: developing an engineering model of how seizures are generated and spread in human epilepsy, 3) localization of seizures in extratemporal epilepsy, 5) Translation of computational neuroscience into clinical application, and 4) minimally invasive tools for acquisition and display of high fidelity electrophysiologic recording.

J. W. S. Liu

Jane W. S. Liu is a Chair Research Fellow at the Institute of Information Science, Academia Sinica, Taiwan and William Bentor Honorary Chair Visiting Professor of Computer Science, Tsing Hua University, Taiwan. She was an architect in the OS Base Core Technology Group of Microsoft Corporation from 2000 to 2004. Before joining Microsoft, she was a professor of computer science at the University of Illinois at Urbana-Champaign. Jane Liu received her BSEE from Cleveland State University and Sc.D. from the Massachusetts Institute of Technology. She is a member of ACM and a Fellow of IEEE.
Her research is in the areas of real-time and embedded systems, distributed systems, and communication networks. In addition to publications in these areas, she has also led several development efforts, including a system that maintains mutual consistency and provides report generation capability to integrate stand-alone, heterogeneous databases; a system of building blocks and tools that supports the design, evaluation and validation of real-time systems; and kernel-level mechanisms that ensure timing predictability of real-time and embedded applications on open platforms. She now leads a team that runs an open-source software foundry and promotes open source software activities in Taiwan. She is a member of the SISARL (Sensor Information Systems for Active Retirees and Assisted Living) project. The project focuses on enabling technologies for component-based design, implementation, verification and testing of diverse families of high-quality consumer electronic and assistive devices and services for the elderly.

Ronald Marchessault Jr.

Mr. Ronald Marchessault Jr., MBA is currently the Project Manager of the Operating Room of the Future (ORF) Research and Development portfolio for the Telemedicine and Advanced Technology Research (TATRC) Center, U.S. Army Medical Research and Material Command. This portfolio includes ongoing R&D in the following research topical areas: Patient Safety, Perioperative System Design, Medical informatics, Tele-Surgery, and Advance Devices. This medical research portfolio includes state-of-the-art diagnostic imaging and telemedicine technology prototype development as well. Surgical Robotics R&D will be a major focus under the Advance Device and Tele-Surgical research focus areas. Mr. Marchessault provides due diligence on both scientific merit, budgetary, and regulatory requirements. Conducts interviews with investigators to estimate appropriateness of gains and identify timeliness and expectations. Develops strategy-building approaches to technology-watch between academia and the private sector and ensures that technology prototypes have both military and private sector application. Ron utilizes strategic planning in his evaluation of potential research and development projects for prototyping and drafting business case analyses. He possesses the project planning skills needed in determining capital projects value and establishment of prototype development, delivery milestones and budgetary requirements.
Mr. Marchessault holds a Masters Degree of Business Administration from The Johns Hopkins University, Baltimore, MD with a focus on Corporate Finance and has over fifteen years health care industry experience providing cost containment solutions through utilization of leading edge technology in U.S. Army Medical Department.

Tom Martin

Tom Martin is an assistant professor in the Bradley Department of Electrical and Computer Engineering at Virginia Tech. He has been working in the areas of wearable computing and VLSI systems for over ten years. Martin received his Ph.D. from Carnegie Mellon University in 1999 and his BSEE with an optional minor in VLSI Systems Engineering from the University of Cincinnati in 1992. His research interests include wearable computing, electronic textiles, energy efficient computer system design, pervasive computing, and power-based security issues. He has published over 30 refereed journal and conference papers, and is the recipient of an NSF CAREER award.

Douglas Miller

Douglas Miller is a Senior Software Analyst at the Northeast Proton Therapy Center (NPTC) at Massachusetts General Hospital. He has been involved with Real-Time distributed Combat Control Systems for U.S Nuclear Submarines. More recentlly he has worked for Ion Beam Applications on the Proton Therapy System at the NPTC. Currently continuing that work for Mass. General Hospital. The Proton Therapy System is a distributed Real-Time control system responsible for delivery of radiotherapy treatments.

Rami Melhem

Rami Melhem received a B.E. in Electrical Engineering from Cairo University in 1976, an M.A. degree in Mathematics and an M.S. degree in Computer Science from the University of Pittsburgh in 1981, and a Ph.D. degree in Computer Science from the University of Pittsburgh in 1983. He was an Assistant Professor at Purdue University prior to joining the faculty of The University of Pittsburgh in 1986, where he is currently a Professor of Computer Science and Electrical Engineering and the Chair of the Computer Science Department. His research interest include Real-Time and Fault-Tolerant Systems, Optical Networks, High Performance Computing and Parallel Computer Architectures. Dr. Melhem served on program committees of numerous conferences and workshops and was the general chair for the third International Conference on Massively Parallel Processing Using Optical Interconnections. He was on the editorial board of the IEEE Transactions on Computers and the IEEE Transactions on Parallel and Distributed systems. He is serving on the advisory boards of the IEEE technical committees on Parallel Processing and on Computer Architecture. He is the editor for the Kluwer/Plenum Book Series in Computer Science and is on the editorial board of the Computer Architecture Letters, The International Journal of Embedded Systems and the Journal of Parallel and Distributed Computing. Dr. Melhem is a fellow of IEEE and a member of the ACM.

Klara Nahrstedt

Klara Nahrstedt is an associate professor at the University of Illinois at Urbana-Champaign, Computer Science Department. Her research interests are directed towards multimedia middleware systems, quality of service(QoS), QoS routing, QoS-aware resource management in distributed multimedia systems, and multimedia security. She is the coauthor of the widely used multimedia books `Multimedia: Computing, Communications and Applications' published by Prentice Hall, 'Multimedia Systems' published by Springer Verlag, the recipient of the Early NSF Career Award, the Junior Xerox Award, and the IEEE Communication Society Leonard Abraham Award for Research Achievements. Since 2001, she is the editor-in-chief of the ACM/Springer Multimedia Systems Journal, and the Ralph and Catherine Fisher Associate Professor. She was the technical program chair of the 2005 IEEE Pervasive Computing and Communication Conference and she is the general co-chair of the 2006 ACM Multimedia Conference.
Klara Nahrstedt received her BA in mathematics from Humboldt University, Berlin, in 1984, and M.Sc. degree in numerical analysis from the same university in 1985. She was a research scientist in the Institute for Informatik in Berlin until 1990. In 1995 she received her PhD from the University of Pennsylvania in the department of Computer and Information Science.

Jens Palsberg

Palsberg is a Professor of Computer Science at UCLA. He received a Ph.D. in Computer Science from University of Aarhus, Denmark in 1992. In 1992-1996 he was a visiting scientist at various institutions, including MIT. In 1996-2002 he was an Associate Professor and, in 2002-2003, Professor and Associate Head of Computer Science at Purdue University. His research interests span the areas of compilers, embedded systems, programming languages, software engineering, and information security. He has authored over 70 technical papers, co-authored the book Object-Oriented Type Systems, and co-authored the 2002 revision of Appel's textbook on Modern Compiler Implementation in Java. He is the recipient of National Science Foundation CAREER and ITR awards, a Purdue University Faculty Scholar award, and an Okawa Foundation research award. Professor Palsberg's research has also been supported by DARPA, IBM, Intel, and British Telecom. He is an associate editor of ACM Transactions of Programming Languages and Systems, a member of the editorial board of Information and Computation, and a former member of the editorial board of IEEE Transactions on Software Engineering. He is serving as the general chair of the ACM Symposium on Principles of Programming Languages in 2005, he has served as a program chair for the Static Analysis Symposium, the Symposium on Requirements Engineering for Information Security, and the ACM Workshop on Program Analysis for Software Tools and Engineering, and he has been a member of more than 50 other program committees.

George J. Pappas

George J. Pappas is an Associate Professor and Graduate Group Chair of the Department of Electrical and Systems Engineering at the University of Pennsylvania. He also holds a secondary appointment in the Departments of Computer and Information Sciences, and Mechanical Engineering and Applied Mechanics, and is a member of the GRASP lab. His research focuses on the interface of control theory with computer science and in particular, hybrid systems, embedded systems, hierarchical and distributed control systems, with applications to unmanned aerial vehicles, flight management systems, distributed robotics, and biomolecular networks.
He has published over one hundred publications and has co-edited the 2004 volume on Hybrid Systems: Computation and Control in the Lecture Notes in Computer Science Series (Springer-Verlag, 2004). He is currently serving on the Editorial Board of the IEEE Transactions on Automatic Control. He is a recipient of the 2002 NSF Presidential Early Career Award for Scientists and Engineers (PECASE). His and his student's papers were finalists for the Best Student Paper Award at the 1998 IEEE Conference on Decision and Control, 2001 American Control Conference, 2001 IEEE Conference on Decision and Control, and 2004 American Control Conference.

Tomasz J.Petelenz

Tomasz J.Petelenz, Ph.D., obtained his MS degree in physics microelectronics from the Silesian Technical University, Gliwice, Poland, and a Ph.D. degree in bioengineering from the University of Utah in Salt Lake City. He has over twenty years experience in medical and drug delivery device R&D, working on projects ranging from iontophoretic transdermal drug delivery, kidney dialysis machines, infusion and injection devices, to non-invasive physiologic sensors, wireless data communication and prosthetics. Prior to joining Sarcos, he conducted iontophoretic research at the Center for Engineering Design, University of Utah, and was a Director of R&D at Iomed, Inc. He is currently a Vice President of Medical Projects at Sarcos Research Corporation, managing biosensor and drug delivery development projects, and an Adjunct Associate Professor at the Department of Bioengineering, University of Utah. Dr.Petelenz is an inventor/co-inventor on 25 patents, and authored/co-authored 37 publications and presentations.

Rosemary C. Polomano

Rosemary C. Polomano, PhD, RN, FAAN, is currently Associate Professor of Pain Practice at the University of Pennsylvania School of Nursing and previously the Director, Outcomes Research in the Department of Nursing at Penn State Milton S. Hershey Medical Center and Associate Professor, Departments of Anesthesiology and Neural and Behavioral Sciences at Penn State College of Medicine in Hershey, Pennsylvania. Dr. Polomano has designed and presented findings from over 20 outcomes research projects in pain and patient outcomes at numerous national and international professional meetings. She lectures extensively throughout the country on pain-related topics. She is a member of several national advisory boards and is currently an ad hoc member of an NIH Study Section: Integrative Functional and Cognitive Neuroscience (IFCN) for SBIR and STTR grant applications. From 1990-2000, she was Chair, Nursing Practice Advisory Panel, United States Pharmacopoeia (USP) and a member of Executive Committee for USP Division of Information and Development. Dr. Polomano is on the Editorial Board for Clinical Therapeutics and a reviewer for Cancer Chemotherapy and Pharmacology, Journal of Pain, Pain, Journal of Pain and Symptom Management, and Pain Medicine. As an author, she has contributed to numerous published abstracts, monographs, book chapters, and has over 30 peer-review articles.

Stacy Prowell

Stacy Prowell is currently a research associate professor of computer science at the University of Tennessee, and a visiting scientist at the Software Engineering Institute. His research interests include rigorous software specification methods, automated statistical testing, and function-theoretic program behavior analysis. Prior to accepting a position at the University of Tennessee, Dr. Prowell worked as a consultant for Software Engineering Technology, Inc., and at Q-Labs, Inc., where he taught rigorous development and testing methods to industrial practitioners and consulted on the development of large software systems using these methods. To support wider adoption of these results in industry, Dr. Prowell started the Experimentation, Simulation, and Prototyping Project at the University of Tennessee, which develops software libraries and tools to support application of model-based testing using the rigorous methods advocated. Software developed by this program is in use by over 30 organizations. Dr. Prowell has served as a consultant on industrial projects ranging from consumer electronics to nuclear medicine, covering the entire software development lifecycle. Dr. Prowell received the Ph.D. in Computer Science from the University of Tennessee in 1996, and is a member of the ACM, IEEE Computer Society, AAAS, and Sigma Xi.

Raj Rajkumar

Dr. Ragunathan (Raj) Rajkumar is a Professor in the Departments of Electrical & Computer Engineering, and of Computer Science at Carnegie Mellon University where he serves as the Director of the Real-Time and Multimedia Systems Laboratory and the Co-Director of the General Motors-CMU Collaborative Research Laboratory. Raj obtained his M.S. and Ph.D. degrees from Carnegie Mellon University in 1986 and 1989, respectively. He has been conducting research in distributed real-time and embedded systems for over 18 years. Since 1985, his work has focused on all system aspects of real-time and multimedia systems including operating systems, networking, and middleware services. His work on priority inheritance protocols to avoid priority inversion problems is well known in the research and practitioner communities. He served as the Program Chair and General Chair of the 1997/1998 IEEE Real-time Technology and Applications Symposia (RTAS '97 and '98), respectively. He was the Program Chair of the SPIE/ACM Symposium on Multimedia Computing and Networking (MMCN '03). He is currently serving as the Program Chair of the 2003 IEEE Real-Time Systems Symposium (RTSS 2003) and the General Chair of the 2004 SPIE/ACM Symposium on Multimedia Computing and Networking (MMCN 2004). He has also authored the book titled "Synchronization in Real-Time Systems: The Priority Inheritance Approach", and edited a book titled "Real-Time Operating Systems and Services". He also is a member of the Steering Committee of the EmSoft Working Group focusing on software technologies for embedded systems. He holds one U.S. patent and has authored over 75 papers in the domain of real-time and embedded systems. His research interests include real-time and multimedia operating systems, real-time scheduling theory, end-to-end resource management, and systems support for networking. He serves on the Technical Advisory Board and is a consultant to many companies in the embedded real-time systems domain. Dr. Rajkumar is also a Founder of TimeSys Corporation (www.timesys.com), a popular vendor of embedded real-time versions of Linux and Java.

John Regehr

John Regehr is an Assistant Professor in the School of Computing at the University of Utah. He obtained a PhD from the University of Virginia in 2001 in the area of real-time systems. His current work focuses on creating better embedded software based on combining techniques from operating systems, real-time systems, and program analysis and transformation.

Victoria L. Rich

Victoria L. Rich, PhD, RN is a leading authority on patient safety including the application and evaluation of systems and devices. As the Chief Nursing Officer at the Hospital of the University of Pennsylvania (HUP) and Assistant Dean of Clinical Practice, University of Pennsylvania, School of Nursing, Dr. Rich has provided significant clinical leadership in development of a patient safety culture for the nursing profession. The leadership she provides is derived from the extensive programmatic experience she obtained while functioning in the role of Vice President of Patient Care at University Community Hospital in Tampa prior to her position at HUP. As a member of the Florida Hospital Association Patient Safety Commission and the Tampa Bay Coalition for Patient Safety, she has contributed to several initiatives to raise awareness of medication safety. She is a national consultant to hospital administrators and educators throughout the country and serves as an advisor and content expert in patient safety for the National Voluntary Hospitals of America (VHA) and Premier Hospitals. Dr. Rich has developed a corkscrew model of complex circularity that is used to develop a culture of systemic mindfulness in error reduction. This model, in use in settings nationally and internationally, was featured in the report: State of the Science Symposium of Safe Medication Administration published in the March 2005 American Journal of Nursing.

Michael Robkin

Michael Robkin is a Principal Enterprise Architect at Kaiser Permanente. Michael is lead for KP s integration architecture for all medical imaging, and the corporate-wide systems strategy for medical devices. Michael has 20 years of software and systems experience in a wide variety of industries and high performance applications.

Douglas E. Rosendale

Douglas E. Rosendale is the National Coordinator of Surgical Informatics for Veterans Affairs, Office of Information. He is a member of the National Surgical Quality Improvement Program Executive Board; Chair of the Surgical Package Information System for Perioperative Services, VA; a Harvard Lecturer for the Medical Informatics Decision System Group (DSG); and holds a Fellowship with the Harvard University Medical Informatics DSG, Brigham Hospital. Rosendale is interested in Perioperative Devices and Decision Support tools for Perioperative Information Systems.

Gregg Rothermel

Gregg Rothermel is Professor and Jenson Chair of Software Engineering in CSE at UNL and is a recognized expert in software regression testing, empirical studies and end-user software engineering.

Harvey Rubin

Harvey Rubin received his MD from Columbia University College of Physicians and Surgeons and his PhD in Molecular Biology from the University of Pennsylvania. Dr. Rubin was a House Officer in Medicine at The Peter Bent Brigham Hospital in Boston and did his fellowship in infectious diseases at Harvard and the Brigham. Dr. Rubin is a Professor of Medicine at the University of Pennsylvania, and holds secondary appointments as Professor in the Department of Microbiology, and as Professor of Computer and Information Sciences at the University of Pennsylvania School of Engineering and Applied Sciences. He is the director of the Institute for Strategic Threat Analysis and Response (ISTAR) at the University of Pennsylvania.

John Rushby

John Rushby received B.Sc. and Ph.D. degrees in computing science from the University of Newcastle upon Tyne in 1971 and 1977, respectively. He joined the Computer Science Laboratory of SRI International in 1983, and served as its director from 1986 to 1990; he currently manages its research program in formal methods and dependable systems. Under his leadership, the program has produced the highly regarded and widely used PVS verification system, the ICS decision procedures, and the SAL suite of model checkers. Prior to joining SRI, he held academic positions at the Universities of Manchester and Newcastle upon Tyne in England. His research interests center on the use of formal methods for problems in the design and assurance of dependable systems.
Dr. Rushby is a member of the IEEE, the Association for Computing Machinery, the American Institute of Aeronautics and Astronautics, and the American Mathematical Society. He is a former associate editor for Communications of the ACM, IEEE Transactions on Software engineering, and Formal Aspects of Computing. He is the author of the (now rather outdated) chapter on formal methods for the FAA Certification Handbook, and is a member of a National Research Council study on dependable software.

Tariq Samad

Corporate Fellow in Honeywell Automation and Control Solutions. Interests include high-confidence software, automation and control architecture, autonomous and intelligent systems.

Vish Sankaran

Vish Sankaran is the Program Manager to the U.S. Department of Health and Human Services National Health Information Technology Coordinator (ONCHIT) and supports the technical goals of the national healthcare agenda. His primary responsibilities include supporting the Senior Technical Advisor to the National Coordinator. His other responsibilities include coordinating across federal agencies to align agency IT investments with ONCHITs' framework, review standards development organization (SDO) activities related to healthcare, managing vendors for ONCHIT and supporting Federal Health Architecture workgroups. Previously Mr. Sankaran worked as the Director, IT & product operations for Carescience Inc, a healthcare ASP company that uses cutting-edge research and methods to help hospitals and health systems improve quality, care management, clinical performance and community data sharing (RHIO). Before joining the Department of Health and Human Services he founded and served as the Chief Operating Officer of a software services company. Mr. Sankaran holds a Bachelors degree in Engineering from Bharathiyar University in India. He is technically proficient in multiple applications, operating systems and programming languages and is also trained in security and privacy.

Majid Sarrafzadeh

Sarrafzadeh is a Professor of Computer Science at UCLA. He received his B.S., M.S. and Ph.D. in 1982, 1984, and 1987 respectively from the University of Illinois at Urbana-Champaign in Electrical and Computer Engineering. He joined Northwestern University as an Assistant Professor in 1987, and in 2000, he joined UCLA. His recent research interests lie in the area of Embedded and Reconfigurable Computing, VLSI CAD, and design and analysis of algorithms. Sarrafzadeh is a Fellow of IEEE for his contribution to "Theory and Practice of VLSI Design". He received an NSF Engineering Initiation award, two distinguished paper awards in ICCAD, and the best paper award in DAC. He has served on the technical program committee of numerous conferences in the area of VLSI Design and CAD, including ICCAD, DAC, EDAC, ISPD, FPGA, and DesignCon. He has served as committee chairs of a number of these conferences. He is on the executive committee/steering committee of several conferences such as ICCAD, ISPD, and ISQED. Professor Sarrafzadeh has published more than 250 papers, is a co-editor of the book "Algorithmic Aspects of VLSI Layout" (1994), and co-author of the books "An Introduction to VLSI Physical Design" (1996) and "Modern Placement Techniques" (2003). He is on the editorial board of the VLSI Design Journal, an Associate Editor of ACM Transaction on Design Automation and an Associate Editor of IEEE Transactions on Computer-Aided Design. He has collaborated with IBM, Motorola, and many CAD industries and was the architect of the physical design subsystem of Monterey Design Systems main product. He is a co-founder of Hier Design, Inc.

S. Shankar Sastry

S. Shankar Sastry is currently the Director of CITRIS (Center for Information Technology in the Interests of Society) an interdisciplinary center spanning UC Berkeley, Davis, Merced and Santa Cruz. He served as Chairman, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley from January, 2001 through June 2004. In 2000, he served as Director of the Information Technology Office at DARPA. From 1996-1999, he was the Director of the Electronics Research Laboratory at Berkeley, an organized research unit on the Berkeley campus conducting research in computer sciences and all aspects of electrical engineering. He is the NEC Distinguished Professor of Electrical Engineering and Computer Sciences and a Professor of Bioengineering.
Dr. Sastry received his Ph.D. degree in 1981 from the University of California, Berkeley. He was on the faculty of MIT as Asst. Professor from 1980-82 and Harvard University as a chaired Gordon Mc Kay professor in 1994. He has held visiting appointments at the Australian National University, Canberra the University of Rome, Scuola Normale and University of Pisa, the CNRS laboratory LAAS in Toulouse (poste rouge), Professor Invite at Institut National Polytechnique de Grenoble (CNRS laboratory VERIMAG), and as a Vinton Hayes Visiting fellow at the Center for Intelligent Control Systems at MIT. His areas of research are embedded and autonomous software, computer vision, computation in novel substrates such as quantum computing, nonlinear and adaptive control, robotic telesurgery, control of hybrid systems, embedded systems, network embedded systems, sensor networks and biological motor control. Most recently he has been concerned with cybersecurity and critical infrastructure protecton.
His most recent book "An Invitation to 3D Vision: From Images to Models" co-authored with Y. Ma, S. Soatto, and J. Kosecka was published by Springer Verlag in November 2003.. Nonlinear Systems: Analysis, Stability and Control was published by Springer-Verlag in 1999. He has coauthored over 300 technical papers and 9 books, including Adaptive Control: Stability, Convergence and Robustness (with M. Bodson, Prentice Hall, 1989) and A Mathematical Introduction to Robotic Manipulation (with R. Murray and Z. Li, CRC Press, 1994). He has co-edited Hybrid Control II, Hybrid Control IV and Hybrid Control V (with P. Antsaklis, A. Nerode, and W. Kohn, Springer Lecture Notes in Computer Science, 1995, 1997, and 1999, respectively) and co edited Hybrid Systems: Computation and Control (with T. Henzinger, Springer-Verlag Lecture Notes in Computer Science, 1998) and Essays in Mathematical Robotics (with Baillieul and Sussmann, Springer-Verlag IMA Series). Dr. Sastry served as Associate Editor for numerous publications, including: IEEE Transactions on Automatic Control; IEEE Control Magazine; IEEE Transactions on Circuits and Systems; the Journal of Mathematical Systems, Estimation and Control; IMA Journal of Control and Information; the International Journal of Adaptive Control and Signal Processing; Journal of Biomimetic Systems and Materials.
Dr. Sastry was elected into the National Academy of Engineering in 2001 "for pioneering contributions to the design of hybrid and embedded systems." He was elected to the American Academy of Arts and Sciences (AAAS) in 2004. He is on the Air Force Science Board and is Chairman of the Board of the International Computer Science Institute. He is also a member of the boards of the Federation of American Scientists and ESCHER (Embedded Systems Consortium for Hybrid and Embedded Research). He also received the President of India Gold Medal in 1977, the IBM Faculty Development award for 1983-1985, the NSF Presidential Young Investigator Award in 1985 and the Eckman Award of the of the American Automatic Control Council in 1990, an M. A. (honoris causa) from Harvard in 1994, Fellow of the IEEE in 1994, the distinguished Alumnus Award of the Indian Institute of Technology in 1999, and the David Marr prize for the best paper at the International Conference in Computer Vision in 1999.
He has supervised over 50 doctoral students to completion and over 50 MS students. His students now occupy leadership roles in several locations and on the faculties of many major universities in the United States and abroad.

Rick Schrenker

Rick Schrenker is the Systems Engineering Manager for the Department of Biomedical Engineering, Massachusetts General Hospital, Boston, MA. Rick's primary responsibility is direction of the development and support of software applications supporting the operations of Partners Biomedical Engineering (PBME). Rick represents PBME to the Partners Information Systems Department's Architectural Council. Among his current activities is assisting Julian Goldman, MD, in the development of the Operating Room of the Future Plug And Play project, where Rick is investigating the application of software engineering methods to the clinical engineeeing activities involved in the project, and potentially vice-versa.
Rick is a member of IEEE and AAMI. He has active in IEEE 1073 (Medical Infomation Bus) standards activities since the last 1990s and recently joined the AAMI Medical Device Software Committee.
Rick holds the BSE and MS in electrical engineering from Johns Hopkins University. He held various clinical engineering roles at the Johns Hopkins Hospital from 1979 until 1990, when he came to MGH.

Lui Sha

Lui Sha graduated with Ph.D. from Carnegie Mellon University in 1985. He is a professor of Computer Science in University of Illinois at Urbana Champaign. In 1998, he was elected as an IEEE Fellow "for technical leadership and research contributions, which enabled the transformation of real-time computing practice from an ad hoc process to an engineering process based on analytic methods." He is currently a member of the Executive Committee of IEEE Real Time System technical committee and a member of the US National Academy of Science's study group on software dependability and certification.

Greg Sharp

Greg Sharp is an Assistant Radiation Physicist in the department of Radiation Oncology at Massachusetts General Hospital (MGH), and Instructor on the faculty of Harvard Medical School. In 2002, he received his PhD in computer science and engineering from the University of Michigan, specializing in computer vision. Prior to graduate school, Dr. Sharp designed embedded software for various high speed I/O devices at IBM and Intergraph. He is currently the principle software architect of the IRIS project, a system for image-guided radiation therapy at MGH. His research interests include image and signal processing, medical device instrumentation, and patient modeling.

Oleg Sokolsky

Oleg Sokolsky is a Research Assistant Professor with the Department of Computer and Information Science at the University of Pennsylvania. His main research interest lies in the application of model-driven and formal development methods to medical devices and other safety-critical embedded systems.

Sang Hyuk Son

Sang Hyuk Son is a Professor at the Department of Computer Science of University of Virginia. He received the B.S. degree in electronics engineering from Seoul National University, M.S. degree from KAIST, and the Ph.D. in computer science from University of Maryland, College Park in 1986. He has been a Visiting Professor at KAIST, City University of Hong Kong, Ecole Centrale de Lille in France, and Linkoping University in Sweden. His current research interests include real-time computing, data services, QoS management, wireless sensor networks, and information security. He has served as an Associate Editor of IEEE Transactions on Parallel and Distributed Systems, and is currently serving as an Associate Editor for Real-Time Systems Journal and Journal of Business Performance Management. He has been on the executive board of the IEEE TC on Real-Time Systems since 2003, and served as the Program Chair or General Chair of several real-time and database conferences, including IEEE Real-Time Systems Symposium and IEEE Conference on Electronic Commerce. He received the Outstanding Contribution Award at the IEEE Conference on Embedded and Real-Time Computing Systems and Applications in 2004.

John A. Stankovic

Professor John A. Stankovic is the BP America Professor in the Computer Science Department at the University of Virginia. He recently served as Chair of the department, completing two terms. He is a Fellow of both the IEEE and the ACM. He also won the IEEE Real-Time Systems Technical Committee's Award for Outstanding Technical Contributions and Leadership. Professor Stankovic also serves on the Board of Directors of the Computer Research Association. Before joining the University of Virginia, Professor Stankovic taught at the University of Massachusetts where he won an outstanding scholar award. He has also held visiting positions in the Computer Science Department at Carnegie-Mellon University, at INRIA in France, and Scuola Superiore S. Anna in Pisa, Italy. He was the Editor-in-Chief for the IEEE Transactions on Distributed and Parallel Systems and is a co-editor-in-chief for the Real-Time Systems Journal. His research interests are in distributed computing, real-time systems, operating systems, and wireless sensor networks. Prof. Stankovic received his PhD from Brown University.

Janos Sztipanovits

Dr. Janos Sztipanovits (Fellow, IEEE) is currently the E. Bronson Ingram Distinguished Professor of Engineering in the Electrical Engineering and Computer Science Department of Vanderbilt University. He is founding director of the Institute for Software Integrated Systems ( ISIS ). Between 1999 and 2001, he worked as program manager and acting deputy director of DARPA Information Technology Office. During the past two decades, Dr. Sztipanovits has conducted research on Model-Integrated Computing, structurally adaptive systems, and embedded software and systems. He has published over 160 papers and co-authored two books. He is chair of the ACM Special Interest Group on Embedded Systems (SIGBED).
Dr. Sztipanovits graduated from the Technical University of Budapest in 1970. He received the degree of "Candidate of Technical Sciences" from the Hungarian Academy of Sciences in 1980, and the distinguished doctor degree (Golden Ring of the Republic) in 1982.

Simon Szykman

Dr. Simon Szykman is the Director of the National Coordination Office (NCO) for Information Technology Research and Development (ITR&D), and is responsible for the coordination of planning, budget, and assessment activities for the Federal Networking and Information Technology R&D Program (NITRD), which conducts fundamental research leading to technological breakthroughs that advance the field of information technology. As NCO Director, Dr. Szykman serves as Co-Chair of the Subcommittee on Networking and Information Technology R&D of the National Science and Technology Council (NSTC), and reports directly to the White House Office of Science and Technology Policy and the NSTC. Dr. Szykman is also the Designated Federal Official for the President's Information Technology Advisory Committee, which is also supported by the NCO.

Dr. Szykman joined the National Coordination Office from the Department of Homeland Security (DHS) Science and Technology Directorate, where he served as the Department's first Director of Cyber Security R&D since late 2003. In that role, he led the development of cyber security R&D plans, programs, and budgets in support of the Department's mission. He also served as Co-Chair of the NSTC's Critical Information Infrastructure Protection Interagency Working Group, and led the development of the Government's first interagency Federal Plan for Cyber Security R&D.

Dr. Szykman joined DHS after an 18-month assignment at the Office of Science and Technology Policy (OSTP). In the role of senior policy analyst, he served as OSTP liaison to the NCO and the NITRD Program. He worked within OSTP to establish, and served as Co-Chair of, the High-End Computing Revitalization Task Force (HECRTF), and covered other Internet-related issues including cyber security.

Prior to joining OSTP, Dr. Szykman was a member of the technical staff at the National Institute of Standards and Technology (NIST), where he led a program component in Intelligent and Distributed Product Development, and also served as a Program Manager and source evaluation board Technical Chair in the Information Technology and Applications Office of NIST's Advanced Technology Program.

Dr. Szykman received Ph.D. and Master of Science degrees from Carnegie Mellon University, a Master of Engineering Management degree from George Washington University, and a Bachelor of Science degree from the University of Rochester.

Charles A. Taylor

Professor Charles A. Taylor received his B.S. degree in Mechanical Engineering in 1987 from Rensselaer Polytechnic Institute. He then joined the Engineering Physics Laboratory at GE Research & Development Center in Schenectady, New York where he worked on projects ranging from polymer process modeling to aircraft engine design. He received his M.S. degree in Mechanical Engineering in 1991 and his M.S. Degree in Mathematics in 1992 from Rensselaer Polytechnic Institute. He entered the Ph.D. program in the Division of Applied Mechanics at Stanford in 1992 and earned his Ph.D. degree in 1996 for his work on finite element modeling of blood flow. He was co-advised by Professor Thomas J.R. Hughes in the department of Mechanical Engineering and Professor Christopher K. Zarins in the department of Surgery.
Professor Taylor joined the faculty at Stanford in 1997 and is currently an Associate Professor in the Departments of Mechanical Engineering, Bioengineering, Surgery, Pediatrics (by courtesy) and Radiology (by courtesy). He is internationally recognized for the development of computer modeling and imaging techniques for cardiovascular disease research, device design and surgery planning. He received the Young Investigator in Computational Mechanics Award in 2002 from the International Association for Computational Mechanics and the R.H. Gallagher Young Investigator in Computational Mechanics from the United States Association for Computational Mechanics in 2003. In 2004, he was appointed to a 3-year term as a consultant to the Center for Devices and Radiological Health in the Food and Drug Administration. Dr. Taylor s research program is at the intersection of computational sciences, medical imaging and cardiovascular medicine and surgery. He teaches courses in Cardiovascular Bioengineering and Computational Methods in Cardiovascular Bioengineering at Stanford and developed and teaches a short course to the medical device industry: "The Cardiovascular System in health and Disease: Fundamental Concepts for the Medical Device Industry".

Russell H. Taylor

Russell H. Taylor received a B.E.S. degree from The Johns Hopkins University in 1970 and a Ph.D. in Computer Science from Stanford in 1976. He joined IBM Research in 1976, where he developed the AML robot language. Following a two year assignment in Boca Raton, he managed robotics and automation technology research activities at IBM Research from 1982 until returning to full time technical work in late 1988. From March 1990 to September 1995, he was manager of Computer Assisted Surgery. In September 1995, Dr. Taylor moved to Johns Hopkins University as a Professor of Computer Science. He is currently a Professor of Computer Science, with joint appointments in Radiology and Mechanical Engineering and is Director of the NSF Engineering Research Center for Computer-Integrated Surgical Systems and Technology at Johns Hopkins. His research interests include robot systems, programming languages, model-based planning, and (most recently) the use of imaging, model-based planning, and robotic systems to augment human performance in surgical procedures. He is Editor Emeritus of the IEEE Transactions on Robotics and Automation, a Fellow of the IEEE, and a member of various honorary societies, panels, editorial boards, and program committees.

Steve Van Albert

Senior biomedical engineer at the Walter Reed Army Institute of Research working in high confidence embedded software for closed loop control of medical treatment.

Bow-Yaw Wang

Bow-Yaw Wang is an Assistant Research Fellow in the Institute of Information Science of Academia Sinica, Taiwan. His research interests include formal methods and model checking. He received his BS and MS from National Taiwan University, and his PhD from the University of Pennsylvania. He worked as a Senior Software Engineer at Verplex Systems, Inc, CA. He joined Academia Sinica since 2003.

Wei Zhao

Wei Zhao is the Division Director of the Computer Network Systems and the Associate Vice President for Research and Professor of Computer Science at Texas A&M University

Taieb Znati

Prof. Znati obtained a Ph.D. Degree in Computer Science at Michigan State University, East Lansing, in April 1988, and a Master of Science Degree at Purdue University, West Lafayette, Indiana. In 1988, he joined the University of Pittsburgh where he currently a Professor in the Department of Computer Science, with a joint appointment in Telecommunications in the Department of Information Science and a joint appointment in Computer Engineering.
His current research interests focus on the design and analysis of network protocols for wired and wireless communications, agent-based technology in collaborative environments, and middleware.
Prof. Znati serves as an Associated Editor in several networking journals. He was the General Chair, Infocom 2005 and the General Chair of SECON 2004, the first IEEE Conference on Sensor and Adhoc Communications Networks. He is a Program Committee member of numerous conferences in networking and distributed systems. He is frequently invited to present keynotes, lectures and tutorials and participate in panels related to networking and real-time applications, in the United and abroad. In 2000, Dr. Znati joined the National Science Foundation where he served as Senior Program Director for Networking Research at the ANIR/CNS Division. He was also the ITR'03 Coordinating Committee Chairperson.