John Hughes Nu också i Svensk!

förnekanden

JAG er en professor påden Arbete med computer VetenskapAvdelning på Chalmers 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

• Email:rjmh@cs.chalmers.se
• Telefonerna:+ 46 31 7721001
• Rum:2423

Fax, Postadressen,etc..

Ström Programmen Kommittéen

Behaga utsätta för!

Undervisande

Forska

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

• en kommentera lista över min dussin mestinfluential legitimationen, kompilerat i 2005.
• en kommentera lista över publikationerna, med något golfbanan till full text.
• en full lista över publikationerna så av Marschen 2009, med citatet räknar.

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

• QuickCheck
• Den Haskell++ Översättare.
• Den söt- tryckningen bibliotek.

Annan

• Jag, John Launchbury och Simon Peyton-Jones skrev en kort papper på Hur till ger en god forska samtal, vilken anlänt i SIGPLAN Märker.
• Här de/vi/du/ni är glidningen av en tala på utvecklingen av Erlang så pass Joe Armstrong gav här i den senaste tid. Mycket mer än en språk beskrivning, den er full av tanken på hur till införa från grunden ny teknologien i industri.
• Här de/vi/du/ni är något golfbanan till läraren legitimationen på funktionell programmerande.
• Här er hur Jag lik till äta lunch!
• Och här, oförklarlig nog, är en av min kolleger mening av jag.

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