Marnes Augusto Hoff

I finished my Master Course in Theoretical Computer Science in September 2005. The work was about Category Theory and treated spans and ways of modelling some structures, such as binary (multi)relations, internal graphs, and even Petri nets, just with the same span construction instanced to different categories. Also, the work treated composition of spans by pullback and the meaning of this composition to the modeled structures: multirelations, internal graphs, and Petri nets. This composition can easily be used to give semantics to systems (automata, LTS, Petri nets) even with dynamic topology. You can see my Master Thesis (PDF, Portuguese only) and the presentation (PDF, Portuguese only). My advisor was Prof. Dr. Paulo Fernando Blauth Menezes and during the first two years I had a Master scholarship from CNPq.

The examining committee of my master thesis consisted of:

• Prof. Dr. Ant?nio Carlos da Rocha Costa, UFRGS, UCPel
• Prof. Dr. Alfio Ricardo de Brito Martini, PUCRS
• Prof. Dr. Laira Vieira Toscani, UFRGS

They graded my master thesis with a unanimous A (max grade).

During the Master Course, I did "Didactic Activity" twice. Consists of preparing classes and exams, teaching undergraduate students under the supervision of the Teacher, and correcting exams and implementation works. It is mandatory (once) to who has Master scholarship from CNPq. I did it in two different courses by one semester each:

• 2002/1 - Didactic Activity: Basic Category Theory to Computer Science
• 2004/1 - Didactic Activity: Discrete Mathematics to Computer Science and Computer Engineering

Sporadically, I act as substitute teacher (basic category theory, discrete mathematics, formal languages and automata, and theory of computation) at UFRGS and private math teacher to undergraduate and high school students.

From July 2006 to February 2007 I had a DTI scholarship from CNPq at Conexum to construct an addon that uses Conexum's Portuguese grammar checker Literal to BrOffice, the brazilian extension of OpenOffice.

Currently I am looking for a scholar/internship, temporary position or similar to research/work with (theoretical) computer science or mathematics. I also intend to start a Ph.D soon in some of my interests areas.

Some other contacts to ask for references:

• Prof. Dr. Paulo Rech Wagner, PUCRS
• Prof. Dr. Tiaraj? Asmuz Diverio, UFRGS
• Prof. Dr. Michael da Costa M?ra, PUCRS
• Prof. Dr. Vilmar Trevisan, UFRGS
• Prof. Dr. Jo?o Batista S. de Oliveira, PUCRS
• Prof. Neda da Silva Gon?alves, PUCRS
• Prof. Dr. Avelino Francisco Zorzo, PUCRS
• Prof. Dr. Lu?s da Cunha Lamb, UFRGS

My Curriculum Vitae - CV (PDF).

Areas of Interests

• Category Theory
• (Co)Algebraic Structures
• Discrete Mathematics
• Formal Logic
• Formal Languages
• Automata Theory
• Combinatorics
• Programming (Haskell, C, C++)

Publications

• [05-RHM-eurocast.pdf] K. G. Roggia, M. A. Hoff, and P. B. Menezes. Computation of partial automata through span composition. In Roberto Moreno-Di?az, Franz Pichler, and Alexis Quesada-Arencibia, editors, EUROCAST'2005: 10th International Conference on Computer Aided Systems Theory and Technology, volume 3643 of Lecture Notes in Computer Science, pages 15--20. Springer-Verlag, 2005.
• [05-RMH-ejmc.pdf] K. G. Roggia, P. B. Menezes, and M. A. Hoff. Bicompleteness in the category of partial graphs with total homomorphisms. Electronic Journal on Mathematics of Computation, 2(1), 2005.
• [04-HRM-casys.pdf] M. A. Hoff, K. G. Roggia, and P. B. Menezes. Composition of transformations: A framework for systems with dynamic topology. International Journal Of Computing Anticipatory Systems, 14:259--270, 2004. Preliminary version presented at CASYS'2003.

Other Publications

• [07-literal-wsl2007.pdf] Tscherdantzew Neto, Peter ; Silveira, Fabiano S. ; Hoff, M. A. ; Zacarias, M. R. ; Severo, Susan S. ; Costa, T. M. S. ; Pereira, C. E. N. ; M?ller, D. N.. Um Revisor Gramatical para o BrOffice. In: VIII Workshop sobre Software Livre - WSL 2007, 2007, Porto Alegre. VIII Workshop sobre Software Livre. Porto Alegre, 2007. p. 135-140.

Contact

• Academic E-mail: marnes .dot. hoff .at. gmail .dot. com

• Personal E-mail: marnes .at. gmail .dot. com

Other

My genealogical tree (family; not academic): genealogy.pdf (English) or genealogia.pdf (Portuguese).

How to make wireless works with Ubuntu 7.04 (Feisty Fawn) in notebook HP Compaq nx6110 with Broadcom device bcm43xx.

Our tutorial to build an wireless link, about 1km.

A simple Haskell source code to draw the background image of this page. Load the file with interpreter, like "ghci bg.lhs", and type "draw".

Other Interests

• Biking, Trekking, Camping
• Movies
• Languages
• Mathematics
• Astronomy and Meteorology
• Photo (one of my photos was published in EPOD)
• Cooking
• Bonsai and Trees
• Ecology
• Genetic Algorithms
• Genealogical Research