Some Researchers in Functional Logic Programming
This page contains pointers to some researchers interested in functional logic programming. Please mail to
mh@informatik.uni-kiel.de
(with URL and email address) if you want to be included here.
(This list is automatically generated by a
Curry
program.)
Hassan Aït-Kaci
(
hak
ilog.fr
)
Elvira Albert
(
ealbert
sip.ucm.es
)
Jesus Manuel Almendros Jimenez
(
jalmen
ual.es
)
María Alpuente Frasnedo
(
alpuente
dsic.upv.es
)
Sergio Antoy
(
antoy
cs.pdx.edu
)
Barbara Bennemann
(
bbe
informatik.uni-kiel.de
)
Didier Bert (
Didier.Bert
imag.fr
)
Alexander Bockmayr
(
bockmayr
loria.fr
)
Harold Boley
(
harold.boley
nrc.gc.ca
)
Staffan Bonnier (
stabon
carlstedt.se
)
Johan Boye
(
jb
trab.se
)
Paul Broome (
broome
msiadmin.cit.cornell.edu
)
Christoph Brzoska (
ChBrzoska
compuserve.de
)
Bernd Bütow
(
buetow
gfi.ihk.de
)
Rafael Caballero
(
rafa
sip.ucm.es
)
Manuel Chakravarty
(
chak
cse.unsw.edu.au
)
John Darlington (
jd
doc.ic.ac.uk
)
Nachum Dershowitz
(
nachumd
tau.ac.il
)
Roy Dyckhoff (
rd
dcs.st-and.ac.uk
)
Rachid Echahed
(
echahed
imag.fr
)
Kerstin Eder
(
eder
cs.bris.ac.uk
)
Suzanne M. Embury
(
sme
csd.abdn.ac.uk
)
Santiago Escobar (
sescobar
dsic.upv.es
)
Moreno Falaschi
(
falaschi
dimi.uniud.it
)
Laurent Fribourg (
Laurent.Fribourg
ens.fr
)
Julio Garcia-Martin (
juliog
fi.upm.es
)
Robert Giegerich (
robert
techfak.uni-bielefeld.de
)
Michael Gollner (
gollner
ira.uka.de
)
Juan Carlos González Moreno
(
jcmoreno
uvigo.es
)
Georgios Grivas
(
grivas
inf.ethz.ch
)
Yike Guo (
yg
doc.ic.ac.uk
)
Andreas Hallmann (
hallmann
ls5.informatik.uni-dortmund.de
)
Kevin Hammond
(
kh
dcs.st-and.ac.uk
)
Michael Hanus
(
mh
informatik.uni-kiel.de
)
Angel Herranz-Nieva
(
Angel.Herranz
fi.upm.es
)
Steffen Hölldobler
(
sh
inf.tu-dresden.de
)
Klaus Höppner (
klh
informatik.uni-kiel.de
)
Petra Hofstedt
(
Petra.Hofstedt
informatik.tu-cottbus.de
)
Teresa Hortalá González
(
teresa
sip.ucm.es
)
Frank Huch
(
fhu
informatik.uni-kiel.de
)
Heinrich Hußmann
(
Heinrich.Hussmann
inf.tu-dresden.de
)
Tetsuo Ida
(
ida
is.tsukuba.ac.jp
)
Klaus Indermark (
indermark
informatik.rwth-aachen.de
)
Bharat Jayaraman
(
bharat
cs.buffalo.edu
)
Claude Kirchner
(
Claude.Kirchner
loria.fr
)
Hél\`ene Kirchner
(
Helene.Kirchner
loria.fr
)
Martin Köhler (
mk
doc.ic.ac.uk
)
Johannes Koj (
koj
i2.informatik.rwth-aachen.de, hakj@gmx.de
)
Andi Krall
(
andi
complang.tuwien.ac.at
)
Herbert Kuchen
(
kuchen
uni-muenster.de
)
Remi Legrand
(
Remi.Legrand
liafa.jussieu.fr
)
Giorgio Levi
(
levi
di.unipi.it
)
John W. Lloyd
(
john.lloyd
anu.edu.au
)
Hendrik C.R. Lock (
hendrik.lock
sap-ag.de
)
Rita Loogen
(
loogen
informatik.uni-marburg.de
)
Francisco J. López-Fraguas
(
fraguas
sip.ucm.es
)
Salvador Lucas Alba
(
slucas
dsic.upv.es
)
Wolfgang Lux
(
wlux
uni-muenster.de
)
Jan Maluszynski
(
janma
ida.liu.se
)
Luis Mandel
(
mandel
informatik.uni-muenchen.de
)
Andrei V. Mantsivoda (
kvantor
glas.apc.org
)
Julio Marino
(
jmarino
fi.upm.es
)
Bart Massey
(
bart
cs.pdx.edu
)
Aart Middeldorp
(
aart.middeldorp
uibk.ac.at
)
Juan José Moreno Navarro
(
jjmoreno
fi.upm.es
)
Andy Mück (
amueck
fh-hof.de
)
Alan Mycroft
(
Alan.Mycroft
cl.cam.ac.uk
)
Lee Naish
(
lee
cs.mu.oz.au
)
Tobias Nipkow
(
nipkow
informatik.tu-muenchen.de
)
Enno Ohlebusch
(
enno
techfak.uni-bielefeld.de
)
Javier Oliver
(
fjoliver
dsic.upv.es
)
Peter Padawitz
(
padawitz
cs.uni-dortmund.de
)
Catuscia Palamidessi
(
catuscia
lix.polytechnique.fr
)
Sven Panne
(
sven.panne
informatik.uni-muenchen.de
)
Alejandro Perez Candela (
alpecan
inf.upv.es
)
Simon Peyton Jones
(
simonpj
microsoft.com
)
Ernesto Pimentel
(
ernesto
lcc.uma.es
)
M.J. Plasmeijer
(
rinus
cs.kun.nl
)
Andreas Podelski
(
podelski
mpi-sb.mpg.de
)
Christian Prehofer
(
prehofer
docomolab-euro.com
)
Alexander Pretschner (
alexp
ittc.ukans.edu
)
Jordi Puigsegur
(
jpf
iiia.csic.es
)
Zhenyu Qian
(
qian
informatik.uni-bremen.de
)
Maria J. Ramirez
(
mramirez
dsic.upv.es
)
Uday Reddy (
reddy
cs.uiuc.edu
)
Pierre Réty (
rety
lifo.univ-orleans.fr
)
Mario Rodríguez-Artalejo
(
mario
sip.ucm.es
)
Wendelin Serwe
(
Wendelin.Serwe
inria.fr
)
Frank Silbermann (
fs
cs.tulane.edu
)
Josep Silva Galiana
(
jsilva
dsic.upv.es
)
Gert Smolka
(
smolka
ps.uni-sb.de
)
Frank Steiner
(
fst
bio.informatik.uni-muenchen.de
)
Steve Stevenson
(
steve
cs.clemson.edu
)
Andrew Tolmach
(
apt
cs.pdx.edu
)
Eva Ullan
(
evah
sip.ucm.es
)
German Vidal Oriola
(
gvidal
dsic.upv.es
)
Alicia Villanueva
(
villanue
dsic.upv.es
)
Philip Wadler
(
wadler
inf.ed.ac.uk
)
Andreas Werner
(
werner
ira.uka.de
)
Dietmar Wolz (
dietmar
cs.tu-berlin.de
)
Frank Zartmann (
frank.zartmann
db.com
)
Back to
Homepage of Functional Logic Programming
Michael Hanus
This web page is powered by