Moore 317

Address
200 S 33rd Street
Philadelphia, PA 19104 United States Get Directions

Events at this venue

Today

    • ESE Ph.D. Thesis Defense: “Inverse design for engineering complex light-matter interaction”

    /
    Moore 317 200 S 33rd Street, Philadelphia, PA, United States

    The inverse design paradigm has emerged as a transformative approach for the synthesis of nanophotonic structures, offering a powerful alternative to conventional intuition-driven design. By approaching photonic device design as a computational optimization problem, inverse design enables the systematic exploration of high-dimensional parameter spaces to uncover non- intuitive structures that meet complex performance targets. This […]

    • ESE PhD Thesis Defense: “Scalable and Risk-Aware Verification of Learning Enabled Autonomous Systems”

    /
    Moore 317 200 S 33rd Street, Philadelphia, PA, United States

    As autonomous systems become more prevalent, ensuring their safety will become more and more important. However, deriving guarantees for these systems is becoming increasingly difficult due to the use of black box, learning enabled components and the growing range of operating domains in which they are deployed. The complexity of the learning-enabled components greatly increases […]

    • ESE PhD Thesis Defense: “Software/Hardware Co-optimization for Computer Systems with 3D-stacking Memories”

    /
    Moore 317 200 S 33rd Street, Philadelphia, PA, United States

    Emerging 3D memory technologies, such as the Hybrid Memory Cube (HMC) and High Bandwidth Memory (HBM), provide high bandwidth and massive memory-level parallelism. With the growing heterogeneity and complexity of computer systems (CPU cores and accelerators, etc.), efficiently integrating emerging memories into existing systems poses new challenges to both algorithm, hardware and system. This dissertation […]

    • ESE Ph.D. Thesis Defense: “Lattice Theory in Multi-Agent Systems”

    /
    Moore 317 200 S 33rd Street, Philadelphia, PA, United States

    Ordered sets model signals such as binary relations, concepts, partitions, rankings, matchings, events, as well as other taxa of information, temporal, hierarchical, relational, or, in general, logical in nature. We argue that (order-) lattice-based (networked) multi-agent systems constitute a broad class of systems in which data fusion, consensus, synchronization, and other collaborative tasks are described […]