Ashish Agarwal

Skip to content

Blog
Software
Publications
Sitemap
About

← Milner on the science of the artificial

Dissertation: Logical Modeling Frameworks for the Optimization of Discrete-Continuous Systems →

Finished my PhD!

Posted on May 20, 2006 by ashish

Thanks to my great advisors Robert Harper and Ignacio Grossmann. Read all about it here.

Share this:

Share

Google
Reddit
Twitter

This entry was posted in News and tagged Hybrid Systems, Optimization, Types. Bookmark the permalink.

← Milner on the science of the artificial

Dissertation: Logical Modeling Frameworks for the Optimization of Discrete-Continuous Systems →

Leave a Reply Cancel reply

Search for:
Categories
- News
- Posters
- Presentations
- Publications
- Quotes
- Uncategorized
Tags
Bash Bioinformatics C Computer Networks Education Haskell High Performance Computing Hybrid Systems Java OCaml Optimization Popular Science Probability SML Statistics Types Visualization

Meta

Powered by MathJax

Follow @agarwal1975