My Skills

Here is an overview of my technical skills, organized by category.

Programming Languages

  • Python
  • C/C++
  • Java
  • SQL/PL-SQL

AI & Machine Learning

  • TensorFlow
  • Keras
  • PyTorch
  • Scikit-learn
  • NLP
  • Neural Networks

Databases

  • PostgreSQL
  • MongoDB
  • Neo4j
  • MySQL
  • CouchDB

Software Verification and Safety

  • Model Checking
  • Program Proof
  • Management and Testing

Tools & Technologies

  • Git
  • Hadoop
  • Apache Jena
  • Spark
  • Visual Studio Code
  • LabVIEW