Initial commit

Author: hthiagarajan

.github/workflows/deploy.yml

@@ -0,0 +1,33 @@
+name: Deploy to GitHub Pages
+
+on:
+  push:
+    branches:
+      - main  # Set this to your default branch
+
+jobs:
+  build-and-deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Set up Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.x'
+
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          pip install -r requirements.txt
+
+      - name: Build site
+        run: |
+          python build.py
+
+      - name: Deploy
+        uses: JamesIves/github-pages-deploy-action@v4
+        with:
+          folder: _site  # The folder the action should deploy
+          branch: gh-pages  # The branch the action should deploy to 

.gitignore

@@ -0,0 +1,18 @@
+# Python
+__pycache__/
+*.py[cod]
+*$py.class
+*.so
+.Python
+venv/
+ENV/
+
+# IDE
+.idea/
+.vscode/
+*.swp
+*.swo
+
+# OS
+.DS_Store
+Thumbs.db 

README.md

@@ -0,0 +1,35 @@
+# Dr. Hariharan Thiagarajan's Personal Website
+
+This is a personal website built with Flask and reStructuredText for easy content management.
+
+## Setup
+
+1. Create a virtual environment:
+```bash
+python -m venv venv
+source venv/bin/activate  # On Unix/macOS
+```
+
+2. Install dependencies:
+```bash
+pip install -r requirements.txt
+```
+
+3. Run the development server:
+```bash
+python app.py
+```
+
+## Content Management
+
+The website content is managed through reStructuredText (RST) files in the `content` directory. To update content:
+
+1. Edit the corresponding RST file in the `content` directory
+2. The changes will be automatically reflected on the website
+
+## Structure
+
+- `app.py`: Main Flask application
+- `content/`: RST content files
+- `templates/`: HTML templates
+- `static/`: Static files (CSS, images, etc.) 

app.py

@@ -0,0 +1,46 @@
+from flask import Flask, render_template
+import docutils.core
+import os
+from datetime import datetime
+
+app = Flask(__name__)
+
+def rst_to_html(rst_content):
+    """Convert RST content to HTML."""
+    overrides = {
+        'input_encoding': 'unicode',
+        'output_encoding': 'unicode',
+        'report_level': 5,  # Suppress all messages
+        'halt_level': 5,    # Don't halt on any level
+    }
+    return docutils.core.publish_string(
+        source=rst_content,
+        writer_name='html',
+        settings_overrides=overrides
+    )
+
+def get_content(filename):
+    """Read and convert RST content from file."""
+    with open(os.path.join('content', filename), 'r', encoding='utf-8') as f:
+        return rst_to_html(f.read())
+
+@app.route('/')
+def home():
+    return render_template('index.html',
+                         content=get_content('index.rst'),
+                         current_year=datetime.now().year)
+
+@app.route('/publications')
+def publications():
+    return render_template('publications.html',
+                         content=get_content('publications.rst'),
+                         current_year=datetime.now().year)
+
+@app.route('/experience')
+def experience():
+    return render_template('experience.html',
+                         content=get_content('experience.rst'),
+                         current_year=datetime.now().year)
+
+if __name__ == '__main__':
+    app.run(debug=True) 

build.py

@@ -0,0 +1,57 @@
+import os
+import shutil
+from flask import Flask, render_template
+import docutils.core
+from datetime import datetime
+
+app = Flask(__name__)
+
+def rst_to_html(rst_content):
+    """Convert RST content to HTML."""
+    overrides = {
+        'input_encoding': 'unicode',
+        'output_encoding': 'unicode',
+        'report_level': 5,  # Suppress all messages
+        'halt_level': 5,    # Don't halt on any level
+    }
+    return docutils.core.publish_string(
+        source=rst_content,
+        writer_name='html',
+        settings_overrides=overrides
+    )
+
+def get_content(filename):
+    """Read and convert RST content from file."""
+    with open(os.path.join('content', filename), 'r', encoding='utf-8') as f:
+        return rst_to_html(f.read())
+
+def build_page(template, content_file, output_file):
+    """Build a single page."""
+    with app.app_context():
+        content = get_content(content_file)
+        html = render_template(template,
+                             content=content,
+                             current_year=datetime.now().year)
+        
+        # Ensure the directory exists
+        os.makedirs(os.path.dirname(output_file), exist_ok=True)
+        
+        with open(output_file, 'w', encoding='utf-8') as f:
+            f.write(html)
+
+def main():
+    # Create output directory
+    if os.path.exists('_site'):
+        shutil.rmtree('_site')
+    os.makedirs('_site')
+
+    # Build pages
+    build_page('index.html', 'index.rst', '_site/index.html')
+    build_page('publications.html', 'publications.rst', '_site/publications/index.html')
+    build_page('experience.html', 'experience.rst', '_site/experience/index.html')
+
+    # Copy static files
+    shutil.copytree('static', '_site/static', dirs_exist_ok=True)
+
+if __name__ == '__main__':
+    main() 

content/experience.rst

@@ -0,0 +1,46 @@
+Professional Experience
+=====================
+
+Current Position
+--------------
+
+**Senior Software Engineer**
+*Zoox Inc.*
+*2022 - Present*
+
+- Leading middleware development for autonomous vehicles
+- Improving robotic platform architecture and performance
+- Implementing safety-critical software systems
+- Collaborating with cross-functional teams on system design and implementation
+
+Previous Experience
+-----------------
+
+**Research Assistant**
+*Kansas State University*
+*2011 - 2022*
+
+- Conducted research in formal methods and static analysis
+- Developed tools for model-based safety and security assessment
+- Published multiple papers in top conferences and journals
+- Mentored graduate and undergraduate students
+
+Key Achievements
+--------------
+
+- Developed AADL-based analysis frameworks for safety-critical systems
+- Created tools for information flow analysis in SPARK ADA programs
+- Contributed to open-source projects in formal methods
+- Successfully defended Ph.D. dissertation on model-based safety assessment
+
+Technical Skills
+--------------
+
+- Programming Languages: Python, C++, Ada, SPARK
+- Tools & Frameworks: AADL, ROS, Git
+- Areas of Expertise:
+  - Formal Methods
+  - Static Analysis
+  - Safety-Critical Systems
+  - Middleware Development
+  - Robotic Systems 

content/index.rst

@@ -0,0 +1,45 @@
+=======================
+Dr. Hariharan Thiagarajan
+=======================
+
+-----------------------------------
+Senior Software Engineer at Zoox Inc.
+-----------------------------------
+
+About Me
+--------
+
+I am a Senior Software Engineer at Zoox Inc., where I focus on improving middleware and robotic platform development. With a strong background in formal methods and static analysis, I bring academic rigor to practical software engineering challenges.
+
+Research Interests
+-----------------
+
+- Formal Methods
+- Static Analysis
+- Model-Based Safety and Security Assessment
+- High Assurance Systems
+- Information Flow Analysis
+
+Education
+---------
+
+- Ph.D. in Computer Science, Kansas State University
+- Research focused on model-based safety and security assessment of high assurance systems
+
+Current Work
+-----------
+
+At Zoox Inc., I am working on:
+
+- Middleware development for autonomous vehicles
+- Robotic platform improvements
+- System architecture and safety-critical software development
+
+Contact
+-------
+
+Feel free to reach out to me through:
+
+- Email: `hariharanthiagu@gmail.com <mailto:hariharanthiagu@gmail.com>`_
+- `Google Scholar <https://scholar.google.com/citations?user=k4H0booAAAAJ&hl=en>`_
+- `LinkedIn <https://www.linkedin.com/in/hariharan-thiagarajan>`_ 

content/publications.rst

@@ -0,0 +1,52 @@
+Publications
+============
+
+Selected Publications
+-------------------
+
+1. **Model-based risk analysis for an open-source PCA pump using AADL error modeling**
+   
+   H Thiagarajan, B Larson, J Hatcliff, Y Zhang
+   
+   International Symposium on Model-Based Safety and Assessment, 34-50, 2020
+   
+   `Cited by 10 <https://scholar.google.com/scholar?oi=bibs&hl=en&cites=14032805000554592233>`_
+
+2. **Bakar Alir: supporting developers in construction of information flow contracts in SPARK**
+   
+   H Thiagarajan, J Hatcliff, J Belt
+   
+   2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation
+   
+   `Cited by 8 <https://scholar.google.com/scholar?oi=bibs&hl=en&cites=6788209203340501788>`_
+
+3. **Awas: AADL information flow and error propagation analysis framework**
+   
+   H Thiagarajan, J Hatcliff, Robby
+   
+   Innovations in Systems and Software Engineering 18 (4), 485–504, 2021
+   
+   `Cited by 7 <https://scholar.google.com/scholar?oi=bibs&hl=en&cites=15250520109349008340>`_
+
+4. **Supporting model based safety and security assessment of high assurance systems**
+   
+   H Thiagarajan
+   
+   Kansas State University, 2022
+   
+   `Cited by 3 <https://scholar.google.com/scholar?oi=bibs&hl=en&cites=8430544688970953684>`_
+
+5. **Dependence analysis for inferring information flow properties in Spark ADA programs**
+   
+   H Thiagarajan
+   
+   Kansas State University, 2011
+
+Metrics
+-------
+
+- Total Citations: 28
+- h-index: 3
+- i10-index: 1
+
+For a complete list of publications and citations, please visit my `Google Scholar profile <https://scholar.google.com/citations?user=k4H0booAAAAJ&hl=en>`_. 

requirements.txt

@@ -0,0 +1,4 @@
+Flask==3.0.2
+docutils==0.20.1
+python-dateutil==2.8.2
+Pygments==2.17.2