• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Programming Language Theory

Results for "programming language theory"


  • Status: New
    New
    Status: Preview
    Preview
    U

    University of Colorado Boulder

    Model Checking with SAT and SMT

    Skills you'll gain: Graph Theory, Model Evaluation, Arithmetic

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Big Data

    Skills you'll gain: Apache Spark, Model Evaluation, Apache Hadoop, Data Integration, Exploratory Data Analysis, Big Data, Classification Algorithms, Graph Theory, Data Pipelines, Database Design, Data Modeling, Regression Analysis, Data Mining, Data Management, Applied Machine Learning, Data Preprocessing, Data Presentation, Scalability, Data Processing, MongoDB

    4.5
    Rating, 4.5 out of 5 stars
    ·
    14K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    V

    Vanderbilt University

    Generative AI Assistants

    Skills you'll gain: Prompt Engineering, ChatGPT, Prompt Patterns, Generative AI, Ideation, Verification And Validation, LLM Application, Productivity, OpenAI, AI Personalization, Responsible AI, AI Enablement, Creativity, Large Language Modeling, Artificial Intelligence, Risk Management Framework, Expense Management, Productivity Software, Travel Arrangements, Test Case

    4.8
    Rating, 4.8 out of 5 stars
    ·
    8.6K reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Hybrid AI Search Workflows

    Skills you'll gain: Generative AI, Retrieval-Augmented Generation, AI Workflows, Generative Model Architectures, Software Architecture, Enterprise Architecture, CI/CD, Model Evaluation, Software Development, Unit Testing, Python Programming

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Procedural Maze Building - Unity 6 and Blender Compatible

    Skills you'll gain: Unity Engine, 3D Assets, Game Design, Virtual Environment, Video Game Development, Debugging, Computer Graphics, Algorithms, Scripting, Computer Programming

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Trees and Graphs: Basics

    Skills you'll gain: Graph Theory, Data Structures, Algorithms, Tree Maps, Network Analysis, Computational Thinking, Python Programming

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    182 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    É

    École Polytechnique Fédérale de Lausanne

    Introduction à la programmation orientée objet (en Java)

    Skills you'll gain: Object Oriented Programming (OOP), Java Programming, Java, Computer Programming, Software Design

    4.7
    Rating, 4.7 out of 5 stars
    ·
    318 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    E

    EDUCBA

    Master ARKit Development: Build and Deploy iOS AR Apps

    Skills you'll gain: Augmented Reality, Apple iOS, Apple Xcode, Swift Programming, Virtual Environment, 3D Assets, Debugging, Animations, User Interface (UI), Development Environment, Game Design, Computer Graphics, Linear Algebra, Real Time Data

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    2

    28DIGITAL

    Development of Real-Time Systems

    Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Embedded Software, Programming Principles, Computer Programming, C (Programming Language), System Design and Implementation, OS Process Management, System Requirements, Computer Architecture, Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    540 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Fundamentals of Model Checking

    Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Systems Analysis, Software Systems, Theoretical Computer Science, Computational Thinking, System Design and Implementation, Simulations, Programming Principles, Software Architecture, Software Design, Model Evaluation, Graph Theory, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, Algorithms, Logical Reasoning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    9 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    S

    Stanford University

    Cryptography I

    Skills you'll gain: Cryptography, Data Encryption Standard, Encryption, Key Management, Advanced Encryption Standard (AES), Public Key Cryptography Standards (PKCS), Cybersecurity, Authentications, Data Integrity, Secure Coding, Algorithms, Computational Thinking

    4.8
    Rating, 4.8 out of 5 stars
    ·
    4.5K reviews

    Mixed · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    I

    Illinois Tech

    AI Integration in Healthcare Patient Data

    Skills you'll gain: Clinical Informatics, Data Ethics, Health Informatics, Responsible AI, Electronic Medical Record System, Health Care, Health Technology, Clinical Data Management, Healthcare Ethics, Artificial Intelligence, Natural Language Processing, Decision Support Systems, Machine Learning, Data Quality, Generative AI

    Mixed · Course · 1 - 4 Weeks

1…838485…627

In summary, here are 10 of our most popular programming language theory courses

  • Model Checking with SAT and SMT : University of Colorado Boulder
  • Big Data: University of California San Diego
  • Generative AI Assistants: Vanderbilt University
  • Hybrid AI Search Workflows: Coursera
  • Procedural Maze Building - Unity 6 and Blender Compatible: Packt
  • Trees and Graphs: Basics: University of Colorado Boulder
  • Introduction à la programmation orientée objet (en Java): École Polytechnique Fédérale de Lausanne
  • Master ARKit Development: Build and Deploy iOS AR Apps: EDUCBA
  • Development of Real-Time Systems: 28DIGITAL
  • Fundamentals of Model Checking: University of Colorado Boulder

Other topics to explore

Arts and Humanities
338 courses
Business
1095 courses
Computer Science
668 courses
Data Science
425 courses
Information Technology
145 courses
Health
471 courses
Math and Logic
70 courses
Personal Development
137 courses
Physical Science and Engineering
413 courses
Social Sciences
401 courses
Language Learning
150 courses

Coursera Footer

Skills

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

Coursera

  • About
  • What We Offer
  • Leadership
  • Careers
  • Catalog
  • Coursera Plus
  • Professional Certificates
  • MasterTrack® Certificates
  • Degrees
  • For Enterprise
  • For Government
  • For Campus
  • Become a Partner
  • Social Impact
  • Free Courses
  • Share your Coursera learning story

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok