Dept. of Computer Science


The Department of Computer Science is recognized throughout the world as a leader in education and research. The department and its graduates have long been at the forefront of modern computing beginning with the ILLIAC in 1952, and continuing with the creation of Mosaic, the first graphic web browser, through the most recent Internet era.

Browse Sub-communities

Browse Collections of Items

Recent AdditionsRSS feed

  • Tusil, Jan; Chen, Xiaohong; Rosu, Grigore (2021)
    Matching logic is a uniform logic to specify and reason about programming languages and program properties. Many important logics and/or formal systems have been shown to be definable in matching logic as logical theories. ...


    application/pdfPDF (847kB)
  • Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore (2021-02-02)
    Matching logic is a unifying logic aimed at defining programming language semantics, and reasoning about various program and language properties. It is a general logic designed with minimalism in mind. With only eight ...


    application/pdfPDF (721kB)
  • Brando Miranda (2020-09-11)
    Vision & motivation: Theorem proving has important applications in hardware and software verification. In hardware verification, it has been used for integrated circuit design [7, 8]. For software verification, a major ...


    application/pdfPDF (111kB)
  • Brando Miranda (2020-12-23)
    It has been recently observed that a good embedding is all we needed to solve many few-shot learning benchmarks. In addition, other work has strongly suggested that MAML mostly works via this same method: by learning ...


    application/pdfPDF (718kB)
  • Brando Miranda (2014-05-16)
    Increasingly, databases are storing more and more data, making it costly to go through all the data one may have in a database. However, users are still interested in being able to query a database holding their data to ...


    application/pdfPDF (216kB)

Community Statistics