Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
people:fmosso [2016/06/23 13:19] – fmossopeople:fmosso [2016/06/23 13:22] – [Research Interests] fmosso
Line 7: Line 7:
  
 ===== Research Interests ===== ===== Research Interests =====
 +    * Verified programming
 +    * Type-and-effect systems