[comp.lang.functional] The world's best system for automatic programming ...

[Francois-Rene Rideau]

--=-=-=
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit

Something to follow?

[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
[  TUNES project for a Free Reflective Computing System  | http://tunes.org  ]
Don't worry about what anybody else is going to do. The best way to predict
the future is to invent it. Really smart people with reasonable funding can
do just about anything that doesn't violate too many of Newton's Laws!
	-- Alan Kay, 1971

--=-=-=
Content-Type: message/rfc822
Content-Disposition: inline

Path: norfair.nerim.net!nerim.net!gitoyen!deine.net!colt.net!news.tele.dk!small.news.tele.dk!128.39.3.168!uninett.no!odin.hiof.no!rolando
From: Roland Olsson <rolando@odin.hiof.no>
Newsgroups: comp.lang.functional
Subject: The world's best system for automatic programming ...
Date: Mon, 11 Mar 2002 10:56:01 +0100
Organization: UNINETT news service
Lines: 35
Message-ID: <Pine.LNX.4.33.0203111051380.21635-100000@odin.hiof.no>
NNTP-Posting-Host: odin.hiof.no
X-Trace: snipp.uninett.no 1015840564 8351 158.36.33.81 (11 Mar 2002 09:56:04 GMT)
X-Complaints-To: news-abuse@uninett.no
Xref: norfair.nerim.net comp.lang.functional:5643
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii


... will be the successor to ADATE. If you are interested in working on
it, please consider a Ph. D. scholarship with 100% research time offered
by us.

A scholarship candidate should have basic knowledge of the following
topics.

* Elementary functional programming concepts such as polymorphic typing,
  higher-order functions, monads and laziness.

* Compiler design, for example liveness and dataflow analysis and a
  multitude of common program transformations.

* Algorithms for SAT-solving, bin packing, TSP, integer linear programming
  and other NP-hard problems.

* Probabilistic algorithms e.g. the Monte Carlo and Las Vegas varieties.

More information and a test problem that candidates are expected to solve
is available at

http://www-ia.hiof.no/~rolando/phd_wishlist.html


-- 
Roland Olsson
Department of Computer Science
Ostfold College
Norway

+47 69215369
Roland.Olsson@hiof.no
http://www-ia.hiof.no/~rolando


--=-=-=--