Iam an associate professor in computing science (maître de conférences en informatique) at LINA, UMR CNRS 6241 (Laboratoire d'Informatique de Nantes-Atlantique, France).

My main areas of expertise include the design of constraint solvers for continuous problems, floating-point arithmetic, and interval arithmetic.

Since 2001, I have been the main developer behind GAOL, a C++ interval arithmetic library that offers the multivalued inverse functions required by interval constraint solvers.

From 2008 to 2015, I was a member of the Interval Standard Working Group responsible for the development of the IEEE Std 1788™-2015 Standard for Interval Arithmetic.

From March 2012 to February 2015, I was co-principal investigator with Pr. Nataraj (IIT Bombay) for the CEFIPRA Project #4502-1: Constraint-based Design of Controllers and Prefilters.

Research

Selected Publications

Here is a selection of my most recent and/or significant publications. Other publications available upon request. [Obfuscation note: replace all occurrences of '3' by 'e' in the email address]

Software

GAOL (Not Just Another Interval Library)

GAOL is a C++ Interval Arithmetic library I have been developing since 2001. Contrary to most of its concurrents, it offers all the reverse operators needed when implementing interval constraint solvers. GAOL has been tested on the following platforms:

  • Linux, 32 bits with GCC 6.1.0
  • Linux, 64 bits, with GCC 6.1.0
  • Mac OS X 64 bits (compiler unknown)

I am interested in hearing from you [Obfuscation note: replace all occurrences of '3' by 'e' in the email address] if you were able to compile and test GAOL on other platforms, or if you observe a problem on a platform that is reported as supported in the above list.

For what it is worth, you may be interested in knowing that GAOL is not IEEE 1788 Standard compliant, and that I have no plan in the near future to make it so.

The latest version of GAOL used to be available from SourceForge. It is no longer the case, as of October 2016. You may now download the latest version of GAOL from this very webpage:

Teaching

«For the correct analogy for the mind
is not a vessel that needs filling,
but wood that needs igniting. »
Plutarch. On Listening.

I teach a course on Computer Architecture at the Bachelor level (3rd year, in French) , a course at the introductory level on Operating Systems and BASH scripting to 1st year Master students in Bioinformatics (in French), a course on Tools and environments for Software development (Master level, 1st year, in French), and a course on Multicore Programming (Master level, 1st year, in English).

Miscellaneous

LaTeX Stuff

Since 1996, I have developed many LaTeX packages, mostly used only locally at the labs I was employed at the time. For my PhD defense in 2000, I developed Prosper, a package to write more beautiful LaTeX slides in a simpler way than what was available at the time. Somehow, it filled a need and caught on. However, Prosper heavily relies on Adobe Postscript, and cannot be used when producing Adobe PDF files directly from the LaTeX source, as would be done by a tool such as pdflatex. With more modern contenders around, I decided in 2009 to stop supporting it. If you are now making the move to LaTeX slide design, please consider packages like Powerdot (self-advertised as ``based on Prosper'') or Beamer (my favorite, and the one I myself use now) instead.

To fill a narrower need, I have written sujet, a LaTeX class to write subjects for exams, tutorials, … It is possible to edit both the subject and its correction in the same document.

The XeLaTeX class unantes can be used to write a letter according to the graphic charter of the University of Nantes. It is an unofficial class, which is not endorsed in any way by the University of Nantes. You will most likely need to install the Alte Din 1451 Mittelschrift font on your system to use the class.

Contact

Email address

Fr3d3ric.Goualard+HOMEPAGE@univ-nant3s.fr
[Obfuscation note: replace all occurrences of '3' by 'e' in the email address]

Surface mail

Frédéric Goualard
LINA UMR CNRS 6241
Faculté des Sciences et des Techniques de Nantes
2, rue de la Houssinière
BP 92208
F-44322 NANTES

PGP Public Key

-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG v1.4.14 (GNU/Linux)

mQENBFMHwv0BCADGNTex01czOpjwAMJJm0FMph5RyLrLaf51TP1Kqvrb3UXlQSkN
aQxAJWcadN0+gBYpPos/5Z/QhzQZaODeFmqpoU7AcFpMQ7DOfJPxJ819ZYHlY4Ml
/8kMZcw76tCPOcYT5ofXKChC/FRXahraFzlQFgSvza4p2ZXDghbOqE31H+Y8DVzx
y5CMTgNerTYkO/uYgZp9RloOHm794xf8JJs49mtRjeiALBU7Po1JheJ/IDjtJmGz
nMaFpvUrl00uEp6025j/im9XKDQ4fDQPe29AfOxTBGMwcbsGBop0FhEkKQkryuQ2
381E/vn+pZYlDaYoZqkVtgPfw+SzIpH3EZGfABEBAAG0NEZyZWRlcmljIEdvdWFs
YXJkIDxGcmVkZXJpYy5Hb3VhbGFyZEB1bml2LW5hbnRlcy5mcj6JATgEEwECACIF
AlMHwv0CGwMGCwkIBwMCBhUIAgkKCwQWAgMBAh4BAheAAAoJEIyjRWvAvCeCrQcH
/itDEGXKkamxjKmxTG9rW4H72Bzbo2UdTQIxZ/C71sonDIbIWQUIt2jnFEhDRiSd
sdbDAs6TjXjgSUr9JH8uXX2s/9vOEInkZ5eTGCiV7/nfHYczPEXRZo3m1XR5bqQ2
sDzs00UBsNcVx8lfhP1pUSqEnD8acxY7xjgKAipYQNMdFyKw/dEeLjUWQ7trEW5C
VaMVInuXJ1h86t2rZ1y14mI1KofxElIU54F2rw3Ov2kzJrtTt8rs8FKSkVj0RrDT
uvh0g5CiqFjGfMXEGsi4uxybc/A0eLGAquMpNUvZYUDqg+ui0ztHSS1EpHl88QDV
WDHh2bpXzX5bUp4sztDDoYW5AQ0EUwfC/QEIAOAB5tQ/+OcLgA1er02ccDBBJ6ZT
1MgOTsPS2/7uAObyBWk+IkjY7HY5etmH0/fEl6Fho1g2LNkgzlsGWLy9VC2IA6nt
KpCnWbHC7oCzuVZfutWyvPd34xw845TeYAgiWQC4BHiZR0mqjyKZhyHlZu3QPrC/
gLRb/RUQPHPF+jPCLPwEKG++eyZUJu4cduZyc2IH27GK0S+34wYagGRTBqHXicse
FkklvWSOYNOSD9elYee/EzzeJDOcm3bSPeDDan6/NrJDUTx9UYRfRV8Ll1WlVt2r
3eW63St2lN7YnJs4OjI2aeVmNAi7wMFSo4LZ9MtE7UStcOeW10IayDAUASkAEQEA
AYkBHwQYAQIACQUCUwfC/QIbDAAKCRCMo0VrwLwnguKiB/wNsZXqv9SQEAnti/9T
ln9a/tHZxRXYtUbJzBV2Y80sQuh21mX7t0W+cVhfewdOZB0oZgYMsu7qcLCQpbw/
jVTsBrPfmRiTtgpU+XB4ZnqfC3V2BUZE2i45OWb3z1J/HT6SFf+rcE4HR286VICO
mB4P8uT2MxMchp2+wy1hiPQ3giMtzEuEFWPSlucd/Nm6rsvgeDTZcWLtJ0F4PiYo
jrjq5Qtge8cUYspJGuI/c02y2AtQIeEXo3X0nJkAn9l+f+s2tHKmxJ4oO3uEfbXd
FmcdntLFP5Kiybn0sL73v2y4CiRj9NL2BoytBpORR8VKajSwHqzsreRNeuJCzSzw
yJy6uQENBFMHw/8BCACyRMdTMlUuziYnlVbKCAczWk144JY2vyzMkagDHrGc+inO
GXTT1uLyTnyxSbZ/9oYIgG6gtPAynV0TNlwaQiKhSVnsWZfcyRwFChZWMmbkgASS
j8ydhpG42b2ITyANOG6o3D6wRuS4vCI8kOHsQz48D78rbec7/Hh/G8+7bCKxB1qL
vssBhPDCEwYCFJUEuYpGEM+ZxWkRREf5JXhrdStak/9TyjzKkW7klf6WpcJAdSnB
oKuAw1cFmFqJQjB++nRxJSRXDzRUqgDO4WZdnZQgFOrximXGGJGb7GlDrOeXbN8J
MBZgGbJXzErRHKa0jb0OnYEeVT3tRqyRw8P1a4shABEBAAGJAR8EGAEIAAkFAlMH
w/8CGwwACgkQjKNFa8C8J4K4lQf9EDxZEFFmQ44W5Gjp9n4BjmEIB59i009VDTOc
k8AA8J0QxP+LGOmHBce16C7C0R6nOaNe31Ssj/KpmfVWsyBk3BHwCdYMmD8pNAng
4cvM5zbxwJ4fV/18LqgY5UsnUhoZDPqrZQHpH8MgVZ6a5133yZpjwd/sTYrRE78g
XviRIxMa78c4J45KV8q0u7gbPO2v5UwIcWEcNyc5HlaFHmy/1S6z+8R9XEP5fRrj
E17ndx2e2xL6H92+oaagxYAsFf0Da08kWC8eYPDTM30Lg0SbH1L/dk1Gy+BJKPHF
5IptrLNyRxAdX5LR2aM6fPz0/XiXU8Pe2oZaomE1h9azOwjqcA==
=2eEH
-----END PGP PUBLIC KEY BLOCK-----

DISCLAIMER: Though related to my research at LINA and the University of Nantes, France, this web site is neither hosted by that laboratory nor by the University of Nantes. All opinions expressed on this web site are my own and are not endorsed in any way by LINA or the University of Nantes.