Model before claiming implementation
Research communication emphasizes models, abstractions, simulation assumptions, and validation boundaries before any claim about physical or biological feasibility.
Research
The research agenda connects established computer science topics with long-term questions about computation beyond conventional silicon substrates.
Method
The research pages are structured to support precise academic communication without overclaiming maturity or implementation status.
Research communication emphasizes models, abstractions, simulation assumptions, and validation boundaries before any claim about physical or biological feasibility.
Classical systems concepts—execution, memory, interconnects, scheduling, components, and design spaces—are treated as reusable analytical lenses.
Simulators, design-support tools, and AI-assisted workflows are considered part of the research method, not merely auxiliary implementation artifacts.
Research profile
The following notes expand the public research profile using curated information from the Lattes record and the public LinkedIn profile, without reproducing a complete CV.
The research line starts from classical systems topics—computer organization, operating systems, embedded systems, real-time scheduling, and hardware/software integration—and extends them toward biological computation and biochemical hardware abstractions.
The website should make explicit that computational models, simulation frameworks, and architectural abstractions are not the same as deployed biological implementations. This distinction is central to responsible communication in biological computing.
The public profile also supports collaboration in software-intensive research: web systems, mobile applications, data analysis, software testing, project management, and custom scientific tooling.
Areas
Each area includes a short description, representative questions, and collaboration vectors.
Study of computational structures, reusable hardware components, application-specific processors, and the conceptual bridge between hardware design methods and software engineering principles.
Operating systems, runtime infrastructure, embedded systems software, real-time scheduling, reusable system components, and systems-level abstractions for dedicated computing platforms.
Modeling and simulation as a general scientific and engineering method, spanning discrete-event simulation, stochastic models, cellular automata, continuous models, experimental design, and simulation tooling.
Responsible use of modern AI to accelerate literature analysis, modeling, scientific software development, simulation workflows, data interpretation, and academic productivity.
Conceptual and computational study of biological substrates as information-processing systems, including biochemical hardware, biological computer organization, and synthetic biological hardware abstractions.
High-level computational study of synthetic and systems biology problems, emphasizing modeling, responsible scientific communication, and abstractions for biological systems design without operational wet-lab protocols.
Simulation of cellular-scale behavior as a prerequisite for evaluating how biological systems could act as target substrates for digital or computational functions.
A research agenda that asks how classical computer architecture ideas—execution units, processors, memories, interconnects, instructions and design flows—could be reinterpreted across biological substrates.