NSF and Science of DesignPowerPoint PresentationReorganized CISE StructureThe New CISEComputing and Communication Foundations (CCF)Slide 6Slide 7Slide 8Support of Design at NSFMotivationDesign as Mathematical Problem SolvingSlide 12Benefits of That ApproachDe-layered designRandom List of IssuesSKA-cba-ase 0311191NSF and Science of DesignAvogadro Scale EngineeringCenter for Bits & AtomsNovember 18-19, 2003Kamal AbdaliComputing & Communication Foundations DivisionComputer & Information Sciences DirectorateNational Science FoundationSocial, Behavioral, and Economic SciencesNational Science FoundationNational Science Foundation Inspector GeneralNational Science BoardDirector Deputy Director Staff OfficesComputer & Computer & Info. ScienceInfo. Science& Engineering & Engineering EngineeringEngineeringGeosciencesMathematicalMathematical& Physical& Physical SciencesSciencesEducation & Human Resources Budget, Finance & Award Management Information Resource Management Biological SciencesSKA-cba-ase 0311193Reorganized CISE StructureDivisionsAdministrative units based on intellectual partitionsClustersComprehensive activity within a Division in a coherent area of research and educationTeams of Program Officers and staff working closely with the communityThemesFocused areas of research and education that cut across clusters and divisionsAddress scientific and national prioritiesHave program announcements and fundsSKA-cba-ase 0311194The New CISEComputing & CommunicationFoundationComputer & NetworkSystemsInformation & Intelligent SystemsSharedCyber InfrastructureComputer & Information Science & Engineering and Cross Cutting Themese.g. Cyber Trust or Science of DesignSKA-cba-ase 0311195Computing and Communication Foundations (CCF)Formal and Mathematical FoundationsCore computing & communication theoryAlgorithmic & computational scienceApplication-specific theoryFoundations of Computing Processes & ArtifactsSoftware design & productivityHigh-end software, architecture & designComputer graphics & visualizationEmerging models for technology and computationBiologically motivated computing modelsQuantum computing & communicationComputing & communication systems based on nanoSKA-cba-ase 0311196Formal & Mathematical FoundationsDetermine inherent limits of computation and communication, and obtain optimal solutions within those limits.Investigate information representation methods, algorithms, and computational techniques for advancing information technology as well as all scientific and engineering disciplines. Representative Topics of Interesttheory of computation and algorithms, algorithmic & computational approaches to mathematics & science, information coding and communicationSKA-cba-ase 0311197Foundations ofComputing Processes & ArtifactsAdvance the science, formalisms, and methodologies for building computing and communication systems.Representative Topics of Interestsoftware engineering, programming language design and implementation, computer architecture and design, design test and automation techniques, graphics and visualizationSKA-cba-ase 0311198Emerging Models and Technologiesfor ComputationExplore computational models, techniques, and systems based on emerging and future technologies. Representative Topics of InterestComputing systems based on nanotechnology, quantum computing and communication, computational devices and architectures inspired by processing of information in living matter, computational approaches to problems in biologySKA-cba-ase 0311199Support of Design at NSFNearly all engineering programsDesign and Manufacturing Innovation Division in ENGComputing Processes & Artifacts cluster in CCF (for software and hardware design, test & design automation tools, …)Science of Design Theme in CISE (being formulated--a workshop held during Nov 2-4)SKA-cba-ase 03111910MotivationChallenges in computing & communicationEmerging technologiesNanoscale systemsAlternative computing paradigms (e.g., DNA-based, quantum, chemical)Mobile computing & communicationDistributed sensorsComputational issuesIncreasing complexity of scientific and engineering problemsMassively distributed dataTrust and securityCreating need and opportunity to design, build and maintain systems which are larger and more complex than existing ones by several orders of magnitudeSKA-cba-ase 03111911Design as Mathematical Problem SolvingScientific knowledge base for design domainAbility to express design desiderata as a mathematical problemAvailable solution techniques, algorithmic and heuristicOptimization techniques needed since usually many solutions feasibleSKA-cba-ase 03111912Engineering practice to analyze and synthesize complex systemsimpose the idea of architecture (functional organization as intercommunicating blocks)use hierarchical decomposition and multiple layers of abstractiondifferent mathematical models, languages and formalisms, to represent component interactions at different layersE.g.Shannon's use of Boolean algebra to analyze relay circuitsBell's (and others') idea of high-level hardware design languagesConway-Mead VLSI design methodology.SKA-cba-ase 03111913Benefits of That ApproachEnables design of the most complex human-made systems: computer hardware, networks, databases, softwareE.g., VLSI designers can create without being bogged down by complexities of low-level component interactions, yet produce designs that exploit the electronics, physics, and material science involved in componentsSKA-cba-ase 03111914De-layered designOpposite of traditional practiceMore efficient design since cross-layer relationships can be exploitedSometimes the two practices can be mixed, combining humans’ layered and local design work with automated cross-layer and global optimizationSKA-cba-ase 03111915Random List of IssuesUtilitarian and esthetic aspects. Domain-independent design principles?Coping with complexity of systems approaching Avogadro scaleAggregation and statistical characterizationExploiting sparsity, regularity and structure Self-diagnosis, self-repair, self regeneration, evolvingLearning from natureSpecial problems for software and software-intensive systemsScientific principles, engineering practices, standard components, design automation, verification and test toolsRequirement and specification, derivation of design