Position:
Address:
Rua Alves Redol 9, 1000-029 Lisboa
Country:
Area of Expertise:
- Database maintenance
- Tool development
- Logical modelling
- Formal verification/analysis of models
Link to Research Webpage(s):
- //pedromonteiro.org
Link to Tool Webpage(s):
- //ginsim.org
- //epilog-tool.org
Link to Resource Webpage(s):
- //pathoyeastract.org
- //yeastract.com
Role in the COST action
Role in the Project:
Your Role in Working Group(s):
Contribution to the Project
Tool development and adoption of standards.
Location: