Yes, Taekwondo is one of the sports in the Summer Olympic Games.
Taekwondo has been a medal sport at the Olympic Games since the 2000 Sydney Games. It is one of only two East Asian martial arts to be part of the Olympic Games – the other being Judo.
The style of Taekwondo used in the Olympics is Kukki-won Taekwondo (which is also known as WTF Taekwondo or WT Taekwondo). This style heavily favours kicking techniques in sparring.
At the 2020 Olympics in Tokyo, Karate will become the third East Asian martial art to be part of the games.