Seminars

Speaker: Prof. Sanjiva Prasad The talk explores a few elementary concepts from abstract algebra that (should) inform our data-centric development of common programs and data types, but are often elided in most textbook treatments.  Included are sets, monoids, boolean algebras, semirings and Kleene algebras, structure-preserving maps and homomorphisms, and notions of co-induction.  The talk is… Read More »Algebra and co- ..in the theory of programming

Speaker: Sumit Diware Abstract: Recent advancements in artificial intelligence (AI) have driven the emergence of real-world cognitive products and services, which rely on neural networks to perform complex tasks. Edge computing for AI (edge-AI) combines data sources with local hardware that executes neural network computations, to improve the response latency, data privacy/security, and service reliability. Computation-in-memory (CIM)… Read More »Computation-In-Memory based Edge-AI for Healthcare: A Cross-Layer Approach