John Hughes Nu också i Svensk!

förnekanden

  

JAG er en professor påden Arbete med computer VetenskapAvdelningChalmers Universitet av Teknologien, och en medlem avden FunktionellProgrammerande Grupp. JAG er också CEO på Quviq AB, vilken erbjudande en kommersiellversion av QuickCheck, var JAG ge ut halva av min tid.

Hur till sträcka jag

Fax, Postadressen,etc..

Ström Programmen Kommittéen

AST 2010, IEEE/ACM Internationell Verkstaden på Automatisk av Mjukvaran Prov, tillpass- lokaliserat med ICSE 2010.
TAIC DEL 2010, Provande: Akademikern och Industriell Konferens, Öva sig och Forska Teknikerna

Behaga utsätta för!

Undervisande

Se den här sida.

Forska

Vilja till veta vad Jag har gjort? Här de/vi/du/ni är>

Ström Projektera

  • Protestera--Egendom- Baserat Provande, en EU FP7 projekt (protestera).
  • Språk Termen så Prov Datan för Egendom- Baserat Provande, fond vid Vetenskapsrådet ( svensk Forska Kommunfullmäktig).
  • Sättande Funktionell Programmerande till Verk: Mjukvaran Design och Bekräftande användande Domän Bestämd Språken, en skeletten bevilja fond vid Vetenskapsrådet ( svensk Forska Kommunfullmäktig).

Mjukvaran

Annan


John Hughes

Sist modifierat: Thu Maj 31 082616:: MÖTTE DST 2001