Anuj Kumar More

Employment

• Nvidia Senior Verification Engineer
  2021 - Present
• Oski Technology Verification Engineer
  2019 - 2021

Education

• Indian Institute of Technology Kanpur PhD
  2012 - 2019
• Indian Institute of Science Education Research Pune B.S. M.S. Integrated
  2007 - 2012

Projects & Funding

Projects & funding information is unavailable.

Publications (5)

• A Study of Algebraic Structures and Logics Based on Categories of Rough Sets
  Lecture Notes in Computer Science 2023 DOI: 10.1007/978-3-662-66544-2_9
  +Save
• Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation
  Logic Journal of the IGPL 2022 DOI: 10.1093/jigpal/jzac041
  +Save
• Transformation Semigroups for Rough Sets
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2018 DOI: 10.1007/978-3-319-99368-3_46
  +Save
• New algebras and logic from a category of rough sets
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2017 DOI: 10.1007/978-3-319-60837-2_8
  +Save
• Categories and algebras from rough sets: New facets
  Fundamenta Informaticae 2016 DOI: 10.3233/FI-2016-1429
  +Save