Computer Science and Engineering Department

The Computer Science and Engineering (CSE) department housed within the Baskin School of Engineering spans multiple areas of research including theory, systems, AI/ML, architectures, and software. In cooperation with other departments on campus, CSE also offers a strong research group in bioinformatics, computational biology, biomolecular engineering, and human genome mapping. The CSE department enjoys a close relationship with the Electrical and Computer Engineering, Applied Mathematics, and Statistics departments. Faculty members carry out joint research projects, supervise students, and teach courses for these departments.

Events from this organizer

Today

  • Abstract digital illustration featuring gears and interconnected technology elements.

    Zhao, Z. (CSE) – TOWARD VERIFIABLE REASONING IN LLMS

    Silicon Valley Campus 3175 Bowers Avenue, Santa Clara, CA, United States
    Hybrid Event

    Chain-of-thought (CoT) prompting can improve final-answer performance, but it does not guarantee that intermediate reasoning steps are faithful, valid, or checkable. This proposal studies how formal methods can make natural-language reasoning more reliable by translating CoT rationales into Lean artifacts, checking the resulting theorem statements and proofs, and using compiler feedback to diagnose and repair […]