• Hunan Rostomyan
• hunan131@gmail.com
• (818) 850 - 9208
• 13036 Sherman way #405, N Hollywood, CA 91605

• Github
• StackOverflow
• StackExchange.Philosophy
• Academia (2,663 profile views, 1,494 document views, > 66 document downloads)
• Quora
• ResearchGate
• LibraryThing
• Facebook
• Instagram

• B.A., Philosophy, University of California, Berkeley (2008-2013)
• Grades 8-12, Ulysses S. Grant, Los Angeles, CA (2005-08)
• Grades 1-7, Zhamkochyan (#119), Yerevan, Armenia (1997-2004)

• software engineer
• 2018 – Chegg, Inc., San Francisco, CA
• 2014 – 2018 WriteLab, Inc., Berkeley, CA
• 2009 – 2012 Lisn.in, Berkeley, CA
• 2008 – 2011 Gradenotes.net, North Hollywood, CA
• 2008 – 2009 Brenner Computational Biology Lab, Berkeley CA
• web developer
• 2007 – 2008 Samvel Jewelry Design Studio, La Crecenta, CA
• 2007 – 2008 Caucasian Shepherd Club, North Hollywood, CA
• 2006 – 2007 Dr. Sean Ramsey, U.S. Grant H.S., Los Angeles, CA
• computer technician
• 2004 – 2006 LA Unified School District, Valley Glen, CA

• New Crop Prize 2013 (UC Berkeley, Philosophy), 2nd place.
• Hill-Shumate Prize 2013 (UC Berkeley, Bancroft Library), 3rd place.
• Hackathon 2010 (UC Berkeley, Computer Science), 3rd place.

• philosophy
• Pure & Applied Logic
• History & Philosophy of Mathematics
• History of Early Analytic Philosophy (esp. Carnap)
• Formal Semantics of Natural Languages
• Formal Epistemology (esp. using epistemic logic)
• Analytical Metaphysics (esp. time, modality, causation)
• History of Logic (esp. Aristotle, Peirce)
• mathematics
• Set / Type / Model / Proof / Computability Theory
• Algebra & Category Theory
• Constructive & Inductive Logic
• Probability & Information Theory
• informatics
• Formal Semantics of Programming Languages
• Theory of Programming Languages
• Functional Programming
• linguistics
• Formal Semantics & Pragmatics of Natural Languages
• Formal Language Theory
• Natural Language Processing
• Computational Linguistics

• Tech Mentor, Stanford d.school, High School Hackathon (2016)
• Reviewer, Manning Publications, Amazon Web Services in Action (book proposal, 2015)
• Reviewer, Manning Publications, AWS in a Month of Lunches (book proposal, 2016)
• Webmaster, Harvest Moon Undergraduate Philosophy Journal (2013 – 2014)
• Organizer, Philosophy of Mathematics Reading Group (Spring 2013)
• Organizer, Rudolf Carnap Reading Group (Spring 2013)
• Editor, Harvest Moon Undergraduate Philosophy Journal (2012 – 2014)
• Officer, Berkeley Undergraduate Philosophy Forum (2012 – 2013)

• Association for Computing Machinery (ACM) (since 2015)
• Special Interest Group on Programming Languages (SIGPLAN) (since 2015)
• Special Interest Group on Algorithms and Computation Theory (SIGACT) (since 2016)
• ACM Council on Women in Computing (ACM-W) (since 2016)
• American Philosophical Association (APA) (2013 – 2015)

• 'McTaggart's Argument for the Unreality of Time' (Harvest Moon: NCP 2013)

• Mar 15, 2019, Demo of Amazon SageMaker
• Aug 17, 2018, Introduction to Computer Viruses
• Aug 10, 2018, Introduction to Buffer Overflows
• July 28, 2018, Language Modeling
• July 6, 2018, Demo of Quilt('docker for data')
• Sep 16, 2016, Demo of Tensorflow
• Feb 12, 2016, Applying Statistical Machine Translation to The Problem of Revision
• Feb 27, 2015, Software Reliability: Testing & Code Review
• Apr 3, 2013, The Scientific Conception of the World
• Mar 11, 2013, Carnap's Methodology of Explication
• Feb 27, 2013, Why Russell's Response to McTaggart's Argument Fails
• Nov 16, 2012, Fitch's Paradox and Ceteris Paribus Modalities
• Sep 26, 2012, Carnap on Questions of Existence

• logic
• Introduction to Logic
• Intermediate Logic
• Philosophical Logic
• Modal Logic
• meaning / semantics
• Form & Meaning
• Logical Semantics
• Theory of Meaning
• mathematics / science
• Philosophy of Mathematics
• Philosophy of Science
• graduate seminars
• Epistemic Logic & Epistemology
• Judgment, Competence, & 'Practical Knowledge'
• Logic, Epistemology, & Natural Language
• independent studies
• Logical Positivism
• Quine's Word & Object
• Wittgenstein's Tractatus
• coursera
• Introduction to Mathematical Philosophy
• ucla
• λ-Calculus & Type Theory

• natural
• native: English, Russian, Armenian
• programming (selection)
• current: Python, JavaScript, HTML, CSS
• past: C, Java, Golang, Scheme, PHP 5
• frameworks/tools (selection)
• machine learning: PyTorch, Tensorflow
• nlp: SpaCy, NLTK
• web frontend: React, Backbone, jQuery, Bootstrap, Sass
• web backend: Flask, Django
• devops: AWS, GCP