Yahoo Canada Web Search

Search results

1. researchportal.hw.ac.uk › en › personsJurriaan Hage — Heriot-Watt Research Portal

   researchportal.hw.ac.uk › en › persons

   • Cached

   Professor, School of Mathematical & Computer Sciences, Computer Science. Email J.Hage @ hw.ac. uk. EH14 4AS. United Kingdom. Accepting PhD Students. PhD projects. - static analysis, in particular of functional languages. - type error diagnosis for functional languages. 1994 … 2021.

2. www.macs.hw.ac.uk › ~jh2054 › indexJurriaan Hage - Heriot-Watt University

   www.macs.hw.ac.uk › ~jh2054 › index

   • Cached

   • Brief Bio
   • Long-Running Academic Services
   • Externally Funded Projects

   My research interests lie in the area of static analysis, with a focus on type error diagnosis and static analysis of functional languages.I also publish on program plagiarism detection, software architecture, software analysis, and testing. Before that, I studied computer science in Leiden and did my PhD on switching classesunder the supervision o...

   See full list on macs.hw.ac.uk

   Steering Committee Chair of the IFL Symposia(since September 2020)

   Steering Committee member of the Symposium on Trends in Functional Programming (TFP)

   Steering Committee member of the Haskell Symposium

   Maintainer and coordinator of the programmer-friendly Helium for Haskell compiler

   See full list on macs.hw.ac.uk

   DOMain-Specific Type Error Diagnosis (DOMSTED), one PhD student in the NWO Free Competition (round Autumn 2012)

   Higher-Ranked Polyvariance Explored, one PhD student in the NWO Free Competition (round Autumn 2011)

   Future Internet Testing(EU project within FP7: ICT Software & Service Architectures and Infrastructures). Co-applicant with Wishnu Prasetya and international academic and industrial partners

   Service Extraction from Decomposed Software Monoliths in the Financial Domain (ServiciFi) (NWO Jacquard 5th round, 2010). Two PhD students, co-applicant with Slinger Jansen

   See full list on macs.hw.ac.uk

3. webspace.science.uu.nl › ~hage0101Jurriaan Hage - Universiteit Utrecht

   webspace.science.uu.nl › ~hage0101

   • Cached

   Jurriaan Hage. On the 3rd of January 2022, I started a new job at Heriot-Watt University, after having worked Utrecht University since November 2000.

4. kippcolumbus.org › schools › kipp-columbus-elementaryKIPP Columbus Elementary - KIPP Columbus

   kippcolumbus.org › schools › kipp-columbus-elementary

   • Cached

   KIPP Columbus Elementary School At KIPP Columbus Elementary, we believe that every child deserves a champion. We hold high academic expectations and show our students that we care about them as individuals through our words, tone and actions.

5. conf.researchr.org › profile › jurriaanhageJurriaan Hage

   conf.researchr.org › profile › jurriaanhage

   • Cached

   PEPM. Session Chair of Transformation (part II) (part of PEPM 2017) Committee Member in Programme Committee within the PEPM 2017-track; Author of Refining types using type guards in TypeScript within the PEPM 2017-track

6. www.ccsoh.us › GeorgianHeightsESGeorgian Heights Elementary School / Homepage

   www.ccsoh.us › GeorgianHeightsES

   • Cached

   Beginning this school year (2024-25), the District's transportation department will no longer mail bus route information to families' homes. Transportation eligible families will now receive their child's bus routing information through the Parent Portal. Click here for more information.

7. www.ccsoh.us › domain › 335Information / Homepage - Columbus City Schools

   www.ccsoh.us › domain › 335

   • Cached

   Broadleigh Elementary School 3039 Maryland Avenue Columbus, OH 43209 (614) 365-6144