• Moodle
  • Microsoft Imagine
  • Admission
    • Undergraduate Admission
    • Exchange Study @ IC
    • Accommodations
  • Programs
    • Undergraduate
      • Software Engineering
  • About us

Dr. Natthapong Jungteerapanich

Associate Dean

  • About Me
  • Courses

Email : This email address is being protected from spambots. You need JavaScript enabled to view it.

Education :
  • B.Eng. (First Hons) Computer Engineering (King Mongkut's Institute of Technology Ladkrabang)
  • M.Sc. Advanced Computing (Imperial College London, UK)
  • Ph.D. Informatics (University of Edinburgh, UK)
Interests :
  • Logic for Computer Science
  • Software Verification
  • Computational Logic

Algorithm Design and Analysis
Course ID: 13016239
Credits: 3 (3-0-6)
Description:

This course provides a study of theories and techniques of algorithm design and analysis. For algorithm design, students will study a wide range of algorithmic solutions to problems from various application areas, including searching, sorting, optimization, and important problems in graph theory. In addition, important design paradigms will be covered including greedy methods, divide-and-conquer methods, dynamic programming, backtracking, and branch-and-bound methods. For algorithm analysis, students will practice analyzing the execution time and the resource consumption of algorithms, and related mathematical techniques.


Prerequisite: Data Structures and Algorithms
Lecturer: Dr. Natthapong Jungteerapanich
Moodle Link: None
Data Structures and Algorithms Laboratory
Course ID: 13016213
Credits: 1 (0-3-2)
Description:

Practical study related to 13016212 Data Structures and Algorithms


Prerequisite: Object-Oriented Concepts and Programming
Lecturer: Asst.Prof.Dr. Kulwadee Somboonviwat Dr. Natthapong Jungteerapanich
Moodle Link: None
Introduction to Logic
Course ID: 13006301
Credits: 3 (3-0-6)
Description:

This course provides a study of the nature of logic and logical reasoning, covering the following topics: arguments, syntax and semantics of propositional logic, validity and equivalence in propositional logic, truth tables, basic proof theory for propositional logic, syntax and semantics of first-order logic, validity and equivalence in first-order logic, basic proof theory for first-order logic, limitations of first-order logic, and applications of logic for problem solving.


Prerequisite: None
Lecturer: Asst.Prof.Dr. Pratoom Angurarohita Dr. Natthapong Jungteerapanich
Moodle Link: None
Software Verification and Validation
Course ID: 13016224
Credits: 3 (3-0-6)
Description:

This course studies three important methods for software verification and validation: testing, peer reviews, and formal verification, with emphasis on testing. Topics on testing include the necessity and limitations of testing, an overview of test processes, testing throughout the software development life cycle, unit testing, test design techniques, test automation, tool support for testing, and test management. The course will study how software peer reviews, which can help detect and prevent software defects, are carried out in practice and study the inspection processes throughout the software development life cycle, including the inspection of requirement documents, design documents, code, and test plans. The course will also provide a basic understanding of formal verification, including how to prove the correctness of a simple program using Hoare logic.


Prerequisite: Software Engineering Principle
Lecturer: Dr. Natthapong Jungteerapanich
Moodle Link: None
Theory of Computation
Course ID: 13016240
Credits: 3 (3-0-6)
Description:

This course provides an introduction to the theory of computation, covering the following topics: strings and languages, finite automata, equivalence of deterministic finite automata and nondeterministic finite automata, regular languages, regular expressions, regular grammars, relations between regular languages and regular grammars, properties of regular languages, pumping lemma for regular languages, context-free grammar, pushdown automata, relations between pushdown automata and context-free languages, properties of context-free languages, pumping lemma for context-free languages, Turing machines, equivalence of nondeterministic Turing machines and deterministic Turing machines, undecidable problems, computational complexity, important complexity classes (such as P, NP, and EXPTIME), reduction, and complete complexity classes.


Prerequisite: Discrete Mathematics
Lecturer: Dr. Natthapong Jungteerapanich
Moodle Link: None

© 2021 International College, King Mongkut's Institute of Technology Ladkrabang
Goto Top
  • Admission
    • Undergraduate Admission
    • Exchange Study @ IC
    • Accommodations
  • Programs
    • Undergraduate
      • Software Engineering
  • About us