I'm an Assistant
Professor in the
Electronics,
Telecommunications, and Informatics Department of the University of
Aveiro, and a researcher in
Institute
of Electronics and Telematics Engineering of Aveiro (IEETA) (my
research curriculum can be found in
my
official page in IEETA). I have an Engineering degree in
Electronics and Telecommunications (1990), followed by a (
pre-bologna)
master's degree in informatics (1994) and a
PhD
degree also in Informatics (2007).
My current research interests include the development of
object-oriented
language mechanisms,
Design
by Contract (
DbC
),
concurrent
object-oriented programming,
multiple
dispatch, and
multimodal
interaction.
I have been developing innovative solutions for automation of environment and biological ecotoxicology procedures,
in particular a device, named
D counter, for automatic organism counting and characterization
(applied to Daphnia magna sp. D. longispina, D. similis, zebrafish eggs)
[final patent pending
USA
Canada
Europe]
For more than 20 years I've developed many programming tools (some of
them public) both as a support for my (and my University) teaching
efforts and for research purposes.
Active research projects:
Active public projects:
Past research projects:
Frozen research projects:
- Contract-Java: A DbC language extension to Java [MSc thesis finished,
ongoing implementation]
- Concurrent Contract-Java: MP-Eiffel's
concurrency language ideas adapted to Contract-Java [MSc
thesis finished, ongoing implementation]
- Real-Time Contract-Java: A new approach for real-time programming
[ongoing conception, ongoing MSc thesis, implementation
pending]
- Abstract interActor: An Infrastructure for Multimodal Interaction
[ongoing conception, MSc thesis proposal]
- Automatic Object Visualization [ongoing conception, MSc
thesis proposal]
MP-Eiffel
:
A concurrent extension to Eiffel
(supporting both
shared object and message passing thread communications paradigms) [my
PhD thesis (in Portuguese!)]
Frozen public projects:
Public Lectures, Workshops and Presentations:
Teaching courses (current and past):
Other activities:
(mos at ua.pt) University of Aveiro, DETI/IEETA