Not verified. Are you owner ?
sponsored links

Adam Chlipala

Current Research. Some Old Research. Research Students. Teaching. Books. Advisory-Board Memberships. How to Pronounce my Last Name. Recommended Reading. PhD. Master's. Undergraduate. I'm in a transitional period, in terms of simple descriptions of my research interests. My traditional areas are programming languages and formal methods , but my interests have broadened to include other aspects of computer-system design and implementation. I like the idea of doing clean-slate redesign of comput...

Main page screenshot of adam.chlipala.net
Rating
 
1.02 out of 5 by PressAboutUs
Icons
Reviewed on Jan 8st, 2018
  • Press about adam.chlipala.net

  • adam.chlipala.net writes about

  • Social about adam.chlipala.net

Do you know new review about this site?
Suggest a new review!
  •  

    eecs.berkeley.edu Electrical Engineering & Computer Sciences | EECS at UC Berkeley

    Electrical Engineering and Computer Sciences. COLLEGE OF ENGINEERING. UC Berkeley. Wednesday, November 21. Thursday, November 22. Tuesday, November 27. Wednesday, November 28. Thursday, November 29. Friday, November 30. Monday, December 3. Tuesday, December 4. &nbsp &nbsp Login &nbsp &nbsp. EE. C... Read article

    Reviewed on
    Jun 14st, 2015
    Find useful? Yes
  •  

    smlnj.org Standard ML of New Jersey

    The Standard ML of New Jersey compiler and programming system Read article

    Reviewed on
    Feb 6st, 2018
    Find useful? Yes
  •  

    avaya.com Business Communications Solutions from Avaya - Avaya USA

    Avaya, a global leader in business communications, provides solutions directly and through its channel partners to leading enterprises around the world. Read article

    Reviewed on
    Jun 6st, 2015
    Find useful? Yes
  •  

    phikappaphi.org Phi Kappa Phi :: Founded in 1897 at the University of Maine, Phi Kappa Phi is the nation's oldest, largest, and most selective honor society for al...

    Founded in 1897 at the University of Maine, Phi Kappa Phi is the nation's oldest, largest, and most selective honor society for all academic disciplines. Read article

    Reviewed on
    Jun 14st, 2015
    Find useful? Yes
  •  

    ties.ucsd.edu Global TIES

    $40,000 for clean energy tecnology development!. The von Liebig Center, Rady School of Management and San Diego State are all teaming up to help fund your novel clean energy idea. An additional $15,000 is available for business advisory services. Application deadlines are Februrary 4th, so act fa... Read article

    Reviewed on
    Nov 15st, 2014
    Find useful? Yes

Twitter about adam.chlipala.net

Facebook about adam.chlipala.net

Get weekly email alerts

Follow adam.chlipala.net

Get every new review delivered to your Inbox.