???global.info.a_carregar???
I have a “Licenciatura” (2002) and MsC (2006) in Information Systems and Computer Engineering from Instituto Superior Tecnico, and a PhD in Bioinformatics (Aix-Marseille University, 2009) under supervision of Patrick Lemaire. My doctoral work focused on the analysis of gene expression and transcriptional gene regulation during development, resulting in 2 first author publications (totalling 95 citations according to Web of Science in February 2020). After my PhD, I did postdoctoral work at the European Bioinformatics Institute, under supervision of Ian Dunham. During this period I designed and implemented pipelines for the analysis of hundreds of human and mouse epigenomic datasets from large projects such as ENCODE, where I contributed to 2 major publications (with a combined total of 8278 citations), resulting in the surprising revelation that around 80% of the genome has a potential regulatory function. I then helped integrate these results in ENSEMBL, one of the most widely used resources in the scientific community (4 publications, 1966 citations). In 2012-2014 I was a postdoctoral fellow at Instituto Gulbenkian de Ciência (IGC), and starting in 2014 I became Head of the Bioinformatics Facility, leading a team of 4-6 persons providing bioinformatics support to the research community. In that role, I collaborated in several projects (resulting in 7 publications with 113 citations), including: Isabel Gordo, studying the evolution of bacterial populations during colonization of the mouse gut; Lars Jensen, studying how can epigenetic marks be used as phenotypic memory during cellular progression; Jocelyne Demengeot, investigating the connection between the epigenetic state of the genome and genomic recombination characteristic of immune cells. In 2019, I moved to UCIBIO FCT-NOVA to focus on projects related to cellular diversity in health and disease, towards more translatable biomedical research. Particularly, I’ve been working within the FCT funded project Onco-Hit, performing a pan-cancer assessment of tumor heterogeneity. At UCIBIO I started novel collaborations, namely with Paula Videira, assessing the role of glycosylation in tumorigenesis and immunoreactive potential for targeted therapies. During my scientific career in Bioinformatics I published 21 papers (10452 citations, 11 h-index), one receiving PLOS Genetics Research Prize 2015, and participated in 7 projects, national and international. Since 2012 I lectured in 13 courses at MsC and PhD level, and in 2018 I was responsible for the Research in Bioinformatics course of the MsC in Bioinformatics and Computational Biology (FCUL). I organized and taught 10 courses in the Gulbenkian Training Program in Bioinformatics, and 2 EMBO practical courses. I supervised and mentored 6 MSc students, 1 PhD student, and examined 1 PhD and 5 MSc thesis. I am a member of the Elixir european bioinformatics infrastructure, and I contributed to the genesis of BioData.pt, the portuguese node of Elixir. I am also the MC substitute from Portugal in the COST action CA15205, on gene regulation. Within these networks, I am sharing best practices and expertise, namely by organizing workshops in Bioinformatics.
Identificação

Identificação pessoal

Nome completo
Daniel Vieira Noro e Silva Sobral

Nomes de citação

  • Sobral, Daniel

Identificadores de autor

Ciência ID
5C13-14D8-F5A4
ORCID iD
0000-0003-3955-0117
Google Scholar ID
ihHfSkUAAAAJ

Endereços de correio eletrónico

  • dv.sobral@fct.unl.pt (Profissional)

Moradas

  • Departamento Ciências da Vida, Faculdade de Ciências e Tecnologia – Universidade Nova de Lisboa, Campus de Caparica, 2829-516, Caparica, Almada, Portugal (Profissional)

Websites

  • https://comics.dcv.fct.unl.pt/daniel-sobral/ (Profissional)

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Bioinformática
  • Ciências Naturais - Ciências Biológicas

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Francês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B2)
Formação
Grau Classificação
2009
Concluído
Doctorat en Biologie - Spécialité Génomique et Bioinformatique (Doutoramento)
Aix-Marseille Université Ecole Doctorale des Sciences de la Vie et de la Santé, França
"Biological Data Integration: Towards a Global Understanding of Ascidian Development" (TESE/DISSERTAÇÃO)
Mention Trés Honorable
2006
Concluído
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Multi-Level Control For Interactive Narratives - A Proposal for a Narrative Authoring Framework" (TESE/DISSERTAÇÃO)
Aprovado
2002
Concluído
Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
16
Percurso profissional

Ciência

2019/04/01 - Atual Pós-doutorado (Investigação)
UCIBIO - FCT NOVA, Portugal
2015 - 2019/03/31 Investigador principal (carreira) (Investigação)
Instituto Gulbenkian de Ciência, Portugal
2011/12/31 - 2015 Pós-doutorado (Investigação)
Instituto Gulbenkian de Ciência, Portugal
2009/12/01 - 2011/12/30 Investigador Contratado (Investigação)
European Bioinformatics Institute, Reino Unido

Docência no Ensino Superior

2002/10/01 - 2004/08/31 Monitor (Docente Universitário)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Outros

2005/01/01 - 2009/09/30 Gulbenkian PhD Fellow
Instituto Gulbenkian de Ciência, Portugal
Projetos

Projeto

Designação Financiadores
2019 - 2021/09/30 Targeting Intra-Tumor Heterogeneity as a promising therapeutic strategy for cancer
PTDC/MED-ONC/28660/2017
Bolseiro de Pós-Doutoramento
REQUIMTE Unidade de Ciências Biomoleculares Aplicadas, Portugal
Fundação para a Ciência e a Tecnologia
2017 - 2019/02/28 BioData.pt - Rede Portuguesa de Dados Biologicos
01/SAICT/2016
Investigador
Instituto Gulbenkian de Ciência, Portugal
Associação para a Inovação e Desenvolvimento da FCT

European Regional Development Fund
2017 - 2019/02/28 ONEIDA - An Omics Network to Prevent and Control Infectious Diseases and Antimicrobial Resistance
03/SAICT/2015
Investigador
Instituto Gulbenkian de Ciência, Portugal
Associação para a Inovação e Desenvolvimento da FCT

European Regional Development Fund
2015 - 2019/02/28 ELIXIR-EXCELERATE: Fast-track ELIXIR implementation and drive early user exploitation across the life-sciences.
info:eu-repo/grantAgreement/EC/Horizon 2020 Framework Programme/676559/EU
Investigador
Instituto Gulbenkian de Ciência, Portugal
European Commission
2009 - 2012/01/29 CISSTEM - Cis-regulatory logic of the transcriptional control in neural stem cells
FP7 – 223210
Investigador
European Bioinformatics Institute, Reino Unido
2005 - 2008 TRANSCODE - Novel tool for high-throughput characterization of genomic elements regulating gene expression in chordates.
511990
Investigador
Institut de Biologie du Développement de Marseille, França
2002 - 2003 Victec (Virtual ICT with Empathic Characters)
IST-2001-33310
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Outro

Designação Financiadores
2017 - 2020/09/07 Gene Regulation Ensemble Effort for the Knowledge Commons
CA15205
Investigador
Instituto Gulbenkian de Ciência, Portugal
Produções

Publicações

Artigo em revista
  1. Robert Pjeta; Herbert Lindner; Leopold Kremser; Willi Salvenmoser; Daniel Sobral; Peter Ladurner; Romana Santos. 2020. "Integrative Transcriptome and Proteome Analysis of the Tube Foot and Adhesive Secretions of the Sea Urchin Paracentrotus lividus". International Journal of Molecular Sciences. https://doi.org/10.3390/ijms21030946.
    10.3390/ijms21030946
  2. Sobral, Daniel. 2019. "Phellem versus xylem: genome-wide transcriptomic analysis reveals novel regulators of cork formation in cork oak". Tree Physiology. http://dx.doi.org/10.1093/treephys/tpz118.
    10.1093/treephys/tpz118
  3. Sobral, Daniel. 2019. "Temporary adhesion of the proseriate flatworm Minona ileanae". Philosophical Transactions of the Royal Society B: Biological Sciences. http://dx.doi.org/10.1098/rstb.2019.0194.
    10.1098/rstb.2019.0194
  4. Bonnet, M.; Sarmento, L.M.; Martins, A.C.; Sobral, D.; Silva, J.; Demengeot, J.. 2017. "iRAGu: A novel inducible and reversible mouse model for ubiquitous recombinase activity". Frontiers in Immunology 8 (NOV). http://www.scopus.com/inward/record.url?eid=2-s2.0-85034019352&partnerID=MN8TOARS.
    10.3389/fimmu.2017.01525
  5. Passagem-Santos, D.; Bonnet, M.; Sobral, D.; Trancoso, I.; Silva, J.G.; Barreto, V.M.; Athanasiadis, A.; Demengeot, J.; Pereira-Leal, J.B.. 2016. "RAG Recombinase as a Selective Pressure for Genome Evolution". Genome biology and evolution 8 (11): 3364-3376. http://www.scopus.com/inward/record.url?eid=2-s2.0-85030437788&partnerID=MN8TOARS.
  6. Zerbino, D.R.; Johnson, N.; Juetteman, T.; Sheppard, D.; Wilder, S.P.; Lavidas, I.; Nuhn, M.; et al. 2016. "Ensembl regulation resources". Database 2016. http://www.scopus.com/inward/record.url?eid=2-s2.0-84969940511&partnerID=MN8TOARS.
    10.1093/database/bav119
  7. Gilchrist, M.J.; Sobral, D.; Khoueiry, P.; Daian, F.; Laporte, B.; Patrushev, I.; Matsumoto, J.; et al. 2015. "A pipeline for the systematic identification of non-redundant full-ORF cDNAs for polymorphic and evolutionary divergent genomes: Application to the ascidian Ciona intestinalis". Developmental Biology 404 (2): 149-163. http://www.scopus.com/inward/record.url?eid=2-s2.0-84937736575&partnerID=MN8TOARS.
    10.1016/j.ydbio.2015.05.014
  8. Guilgur, L.G.; Prudêncio, P.; Sobral, D.; Liszekova, D.; Rosa, A.; Martinho, R.G.. 2014. "Requirement for highly efficient pre-mRNA splicing during Drosophila early embryonic development". eLife 2014 (3). http://www.scopus.com/inward/record.url?eid=2-s2.0-85006411606&partnerID=MN8TOARS.
    10.7554/eLife.02181.001
  9. Barroso-Batista, J.; Sousa, A.; Lourenço, M.; Bergman, M.-L.; Sobral, D.; Demengeot, J.; Xavier, K.B.; Gordo, I.. 2014. "The First Steps of Adaptation of Escherichia coli to the Gut Are Dominated by Soft Sweeps". PLoS Genetics 10 (3). http://www.scopus.com/inward/record.url?eid=2-s2.0-84897389131&partnerID=MN8TOARS.
    10.1371/journal.pgen.1004182
  10. Flicek, Paul; Ahmed, Ikhlak; Amode, M. Ridwan; Barrell, Daniel; Beal, Kathryn; Brent, Simon; Carvalho-Silva, Denise; et al. 2012. "Ensembl 2013". Nucleic Acids Research 41 (D1): D48-D55. http://dx.doi.org/10.1093/nar/gks1236.
    10.1093/nar/gks1236
  11. Dunham, I.; Kundaje, A.; Aldred, S.F.; Collins, P.J.; Davis, C.A.; Doyle, F.; Epstein, C.B.; et al. 2012. "An integrated encyclopedia of DNA elements in the human genome". Nature 489 (7414): 57-74. http://www.scopus.com/inward/record.url?eid=2-s2.0-84865790047&partnerID=MN8TOARS.
    10.1038/nature11247
  12. Flicek, P.; Amode, M. R.; Barrell, D.; Beal, K.; Brent, S.; Carvalho-Silva, D.; Clapham, P.; et al. 2011. "Ensembl 2012". Nucleic Acids Research 40 (D1): D84-D90. http://dx.doi.org/10.1093/nar/gkr991.
    10.1093/nar/gkr991
  13. Myers, R.M.; Stamatoyannopoulos, J.; Snyder, M.; Dunham, I.; Hardison, R.C.; Bernstein, B.E.; Gingeras, T.R.; et al. 2011. "A user's guide to the Encyclopedia of DNA elements (ENCODE)". PLoS Biology 9 (4). http://www.scopus.com/inward/record.url?eid=2-s2.0-79955550445&partnerID=MN8TOARS.
    10.1371/journal.pbio.1001046
  14. Robin, F.B.; Dauga, D.; Tassy, O.; Sobral, D.; Daian, F.; Lemaire, P.. 2011. "Creating 3D digital replicas of ascidian embryos from stacks of confocal images". Cold Spring Harbor Protocols 6 (10): 1251-1261. http://www.scopus.com/inward/record.url?eid=2-s2.0-80053593777&partnerID=MN8TOARS.
    10.1101/pdb.prot065862
  15. Flicek, P.; Amode, M.R.; Barrell, D.; Beal, K.; Brent, S.; Chen, Y.; Clapham, P.; et al. 2011. "Ensembl 2011". Nucleic Acids Research 39 (SUPPL. 1). http://www.scopus.com/inward/record.url?eid=2-s2.0-78651289449&partnerID=MN8TOARS.
    10.1093/nar/gkq1064
  16. Robin, F.B.; Dauga, D.; Tassy, O.; Sobral, D.; Daian, F.; Lemaire, P.. 2011. "Imaging of fixed Ciona embryos for creating 3D digital replicas". Cold Spring Harbor Protocols 6 (10): 1247-1250. http://www.scopus.com/inward/record.url?eid=2-s2.0-80053616143&partnerID=MN8TOARS.
    10.1101/pdb.prot065854
  17. Robin, F.B.; Dauga, D.; Tassy, O.; Sobral, D.; Daian, F.; Lemaire, P.. 2011. "Time-lapse imaging of live Phallusia embryos for creating 3D digital replicas". Cold Spring Harbor Protocols 6 (10): 1244-1246. http://www.scopus.com/inward/record.url?eid=2-s2.0-80053588205&partnerID=MN8TOARS.
    10.1101/pdb.prot065847
  18. Tassy, O.; Dauga, D.; Daian, F.; Sobral, D.; Robin, F.; Khoueiry, P.; Salgado, D.; et al. 2010. "The ANISEED database: Digital representation, formalization, and elucidation of a chordate developmental program". Genome Research 20 (10): 1459-1468. http://www.scopus.com/inward/record.url?eid=2-s2.0-78649268796&partnerID=MN8TOARS.
    10.1101/gr.108175.110
  19. Sobral, D.; Tassy, O.; Lemaire, P.. 2009. "Highly Divergent Gene Expression Programs Can Lead to Similar Chordate Larval Body Plans". Current Biology 19 (23): 2014-2019. http://www.scopus.com/inward/record.url?eid=2-s2.0-71949122066&partnerID=MN8TOARS.
    10.1016/j.cub.2009.10.036
Capítulo de livro
  1. Sobral, Daniel. 2019. "High-Throughput Protein Production Combined with High- Throughput SELEX Identifies an Extensive Atlas of Ciona robusta Transcription Factor DNA-Binding Specificities". http://dx.doi.org/10.1007/978-1-4939-9624-7_23.
    10.1007/978-1-4939-9624-7_23
  2. Siwek, Wojciech; Gómez-Rodríguez, Mariluz; Sobral, Daniel; Corrêa, Ivan R.; Jansen, Lars E. T.. 2018. "time-ChIP: A Method to Determine Long-Term Locus-Specific Nucleosome Inheritance". In Methods in Molecular Biology, 131-158. Springer New York. http://dx.doi.org/10.1007/978-1-4939-8663-7_7.
    10.1007/978-1-4939-8663-7_7

Outros

Outra produção
  1. Andre Dias; Anastasiia Lozovska; Filip J Wymeersch; Ana Novoa; Anahi Binagui-Casas; Daniel Sobral; Gabriel G Martins; Valerie Wilson; Moises Mallo. 2020. A TgfßRI/Snai1-dependent developmental module at the core of vertebrate axial elongation. https://doi.org/10.1101/2020.03.09.983809.
    10.1101/2020.03.09.983809
Atividades

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2019/09 - 2020/09 Supervision of MsC Thesis: Deciphering mechanisms underlying tumour heterogeneity using Multi-Omics approaches
Coorientador
Biotecnologia (Engenharia Bioquímica) (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)
Instituição / Organização
2020/07/06 - 2020/07/10 EMBO Practical Course on "Deciphering tumour heterogeneity and evolution by integration of multi-omics data". This course aims to provide practical insights for cancer researchers regarding the potentials and challenges of using high throughput sequencing to estimate intra-tumoral diversity in its multiple facets. This will include the detection of mutational patterns, selection pressures and driver mutations, as well as techniques for the determination of subclonal diversity and clonal evolution. (2020/07/06 - 2020/07/10)
Oficina (workshop) (Coorganizador)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/06/03 - 2019/06/07 GTPB Workshop: Analysis of Differential Expression using RNAseq (2019/06/03 - 2019/06/07)
Oficina (workshop) (Coorganizador)
Instituto Gulbenkian de Ciência, Portugal
2019/02/07 - 2019/02/08 GTPB Workshop: Introduction to Bioinformatics (2019/02/04 - 2019/02/08)
Oficina (workshop) (Coorganizador)
Instituto Gulbenkian de Ciência, Portugal
2018/10/08 - 2018/10/12 GTPB Workshop: Analysis of Differential Expression using RNAseq (2018/10/08 - 2018/10/12)
Oficina (workshop) (Coorganizador)
Instituto Gulbenkian de Ciência, Portugal
2018/05/07 - 2018/05/11 Elixir Excelerate Workshop on Marine Metagenomics (2018/05/07 - 2018/05/11)
Oficina (workshop) (Coorganizador)
Instituto Gulbenkian de Ciência, Portugal
2018/05/03 - 2018/05/03 ONEIDA Workshop: Bioinformatics Applications (2018/05/02 - 2018/05/04)
Oficina (workshop) (Coorganizador)
Instituto Gulbenkian de Ciência, Portugal
2018/04/09 - 2018/04/13 GTPB Workshop: Analysis of Differential Expression using RNAseq (2018/04/09 - 2018/04/13)
Oficina (workshop) (Coorganizador)
Instituto Gulbenkian de Ciência, Portugal
2018/02/22 - 2018/02/23 GTPB Workshop: Introduction to Bioinformatics (2018/02/19 - 2018/02/23)
Oficina (workshop) (Coorganizador)
Instituto Gulbenkian de Ciência, Portugal
2017/12/04 - 2017/12/07 GTPB Workshop: Analysis of Differential Expression using RNAseq (2017/12/04 - 2017/12/07)
Oficina (workshop) (Coorganizador)
Instituto Gulbenkian de Ciência, Portugal
2017/11/09 - 2017/11/10 GTPB Workshop: Introduction to Bioinformatics (2017/11/06 - 2017/11/10)
Oficina (workshop) (Coorganizador)
Instituto Gulbenkian de Ciência, Portugal
2017/10/23 - 2017/10/27 Elixir Excelerate Workshop on Genome Assembly and Annotation (2017/10/23 - 2017/10/27)
Oficina (workshop) (Coorganizador)
Instituto Gulbenkian de Ciência, Portugal
2017/09/21 - 2017/09/22 COST Course Molecular Biology meets Bioadhesion Research (2017/09/18 - 2017/09/22)
Oficina (workshop) (Coorganizador)
Universität Innsbruck, Áustria
2017/05/11 - 2017/05/12 GTPB Workshop: Introduction to Bioinformatics (2017/05/08 - 2017/05/11)
Oficina (workshop) (Coorganizador)
Instituto Gulbenkian de Ciência, Portugal
2017/04/17 - 2017/04/20 GTPB Workshop: Analysis of Differential Expression using RNA-Seq (2017/04/17 - 2017/04/20)
Oficina (workshop) (Coorganizador)
Instituto Gulbenkian de Ciência, Portugal
2015/07/27 - 2015/07/31 EMBO Practical Course on Measuring intra-species diversity using high-throughput sequencing. This EMBO Practical Course aimed to show evolutionary biologists and population geneticists potentials and perils of using high throughput sequencing to estimate intra-specific genetic diversity, from individuals to populations. 20 selected participants had the opportunity to interact with experienced researchers that successfully applied the technology in a wide variety of high impact studies, and learn from their successes as well as from their failures. (2015/07/27 - 2015/07/31)
Oficina (workshop) (Coorganizador)
Instituto Gulbenkian de Ciência, Portugal

Júri de grau académico

Tema
Tipo de participação
Nome do candidato (Tipo de grau)
Instituição / Organização
2019/11/26 Jury of MsC Thesis: Optimizing Data Selection for Contact Prediction in Proteins
Arguente principal
Guilherme José Gago Fial (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018/04/06 Jury of PhD Thesis: Analyses of the genomic variation to study cork oak evolution and adaptation: from past to future climatic changes
Arguente
Francisco Rente de Pina Martins (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2018/03/22 Jury of MsC Thesis: Bioinformatics analyses and approaches to RNA-Seq Data
Arguente principal
Eric Serafim Ramos De Sousa (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2016/10/24 Jury of MsC Thesis: Post-transcriptional circadian gene expression regulation in Trypanosoma brucei
Arguente principal
Daniel Pinto de Oliveira Gonçalves Neves (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2016/07/21 Jury of MSc Thesis: Transcriptomic analysis of maritime pine response to infection with Bursaphelenchus Xylophilus, the causing agent of pine wilt disease
Arguente principal
Daniel Filipe Branco Gaspar (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2013/12/02 Jury of MsC Thesis: Evaluating differential gene expression using RNA-sequencing data: a case study in host-pathogen interaction upon Listeria monocytogenes infection
Arguente principal
Joana Rita Gonçalves da Cruz (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Comissão de avaliação

Descrição da atividade
Tipo de assessoria
Instituição / Organização Entidade financiadora
2017 - Atual Member of Evaluation Committee for PhD Thesis of Catarina Isabel Ventura Pereira: Systems-Wide Identification of Cystic Fibrosis Disease Map
Avaliador
Universidade de Lisboa Faculdade de Ciências, Portugal

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2018/03/28 - 2018/04/04 Investigação em Bioinformática Mestrado em Bioinformática e Biologia Computacional (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal

Instituto Gulbenkian de Ciência, Portugal
2018/03/01 - 2018/03/02 Introduction to Bioinformatics, IGC PhD Program Introduction to Bioinformatics (Curso de doutoramento (conclusão de unidades curriculares)) Instituto Gulbenkian de Ciência, Portugal

Tutoria

Tópico Nome do aluno
2018/02 - 2018/09 Mentorship of MsC student in Bioinformatics. Cirenia Baldrich
2017 - 2018 Member of PhD Thesis Committee. Ana Paula Aguiar
2016/09 - 2017/02 Mentorship of MsC student in Bioinformatics. Pedro Perdiguero
2015/09/01 - 2016/09/30 Mentorship of MsC student in Bioinformatics. Samuel Dias Rosa Viana
2015/01 - 2015/06 Mentorship of MsC student in Bioinformatics. David M. F. Francisco
2014/05/01 - 2014/12/28 Mentorship of MsC student in Bioinformatics. Patrícia Alexandra Silva Santos
Distinções

Prémio

2015 PLOS Genetics Research Prize 2015
Public Library of Science, Estados Unidos