Research
A brief history
I’m doing research for quite a time1—and it has origins in the bachelor years. In general, my line of research has been (biology ∨ medicine) ∧ (computation ∨ engineering), although it has changed along the years heading to the cellular level (biology) and its internal activities (computation) instead of organs (medicine) and healing supportive machines development (engineering).
These changes of interest and work are related to a series of environmental changes that has happened to me, but I’m still curious about all the subjects I’ve researched. If you want to contact me to discuss on any of these subjects, feel free and welcome.
To present my research, I’ve decided by the reverse chronological order. Although I think it may seems obvious for most of people, I still feel the necessity to explain the reasons:
- I’m (temporally) closer to the first subjects that appear, what means that I’m probably still working on them or have all the details clear in my mind.
- My newer works are more mature ones or those I would appreciate people’s commentaries on.
- I imagine people are more interest in my recent works than older ones.
Finally, I have separated my list of my research papers in another page.
Now, my research works.
Doctorate
Profile
- Subjects
- Metabolic computing, computability, compilers, digital circuits, simulation
- Start date
- January, 2013
- End date
- ?
- Related people
- Vincenzo Manca, Dalius Navakauskas
- Related institutes
- Università degli Studi di Verona, Vilniaus Gedimino Technikos Universitetas
Description
My PhD research focus on the computational properties of Metabolic P grammars and systems and the ability to translate them to useful algorithms and hardware.
For the present moment, there are the following results:
- definition of a subclass of MP systems, the MP+V systems;
- proof of the computational universality (Turing completeness) of MP+V (and, hence, MP) systems;
- translation algorithm from register machines to MP+V systems;
- translation algorithm fom MP+V systems to register machines;
- functional but under-development compiler and simulator of register machines to MP+V systems, and vice-versa.
To highlight the importance of this research, it is enough to understand that MP systems are used to model metabolic behaviour of biological cells. Hence, if one takes a model of biological cell in MP system representation, it can be automatically translated to a discrete simulation software or even a hardware (cell-on-a-chip). Or, further, one may take an algorithm (for instance, that kills cancer cell) and synthetize an artificial cell.2
Available material
- “Theory and Applications of Computationally Universal Metabolic P Systems” (3rd year presentation)
- “Automatic Translation of MP+V Systems to Register Machines” (presentation at CMC16)
- “Metabolic Systems as Computers, Theoretically and Practically” (poster presented at Dresden Summer School 2015 in 2015-08-02)
- “Overview of the PhD Research 2014/2015”
- “MP Grammars, Reactive Systems and Electric Circuits” (2nd year presentation)
- “Second Year Dissertation Summary” (report on the activities developed in the 2nd year)
- “Erasmus Placement Report” (of the activities developed at VGTU from April to September, 2014)
- “MP Grammars, Reactive Systems and Electric Circuits” (poster presented at SSBSS 2014 in 2014-06-17)
- “Metabolism to Circuits in Dynamical Systems’ Perspective” (IEEE Lithuania Section Seminar Series lecture at VGTU in 2014-05-28)
- “MP Grammars, Reactive Systems and Electric Circuits” (thesis proposal presentation)
- “MP Grammars, Reactive Systems and Electric Circuits” (thesis proposal)
Master
Profile
- Subjects
- Graph theory, bioinformatics, phylogenetics, population genetics, adaptive computing, systems simulation
- Start date
- January, 2009
- End date
- April, 2012
- Related people
- Ricardo Luis de Azevedo da Rocha, Cristina Miyaki, Reginaldo Inojosa da Silva Filho
- Related institutes
- Escola Politécnica, Instituto de Biociências, Universidade de São Paulo
Bachelor
Profile
- Subjects
- Medical equipments, monitoring systems, telecommunications
- Start date
- May, 2006
- End date
- August, 2007
- Related people
- Marco Antônio Gutierrez, Alexandre Murakami
- Related institutes
- Serviço de Informática do Instituto do Coração, Universidade de São Paulo