I am a PhD student with strong interest in research.
My research interests are Semantics, Programming Languages, Model Checking, Static Analysis, Abstract Interpretation, Concurrency, Process Algebra, Declarative Programming.
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Q&A for students, researchers and practitioners of computer science
Q&A for Ubuntu users and developers
Q&A for linguists, etymologists, and serious English language enthusiasts
Q&A for professional and enthusiast programmers
Q&A for academics and those enrolled in higher education
Q&A for theoretical computer scientists and researchers in related fields
Q&A for professional, enthusiast and amateur photographers
Q&A for musicians, students, and enthusiasts