Canh Minh Do

Canh Minh Do Email and Phone Number

Senior Lecturer @ Japan Advanced Institute of Science and Technology
Ishikawa Prefecture, Japan
Canh Minh Do's Location
Ishikawa, Japan, Japan
About Canh Minh Do

I am a Ph.D. in information science who is interested in the areas of formal methods, such as formal specification, model checking, theorem proving, and tools supporting formal methods. My research focuses on formal specification and verification of concurrent/distributed systems for both conventional and emerging technologies.

Canh Minh Do's Current Company Details
Japan Advanced Institute of Science and Technology

Japan Advanced Institute Of Science And Technology

View
Senior Lecturer
Ishikawa Prefecture, Japan
Website:
jaist.ac.jp
Employees:
173
Canh Minh Do Work Experience Details
  • Japan Advanced Institute Of Science And Technology
    Senior Lecturer
    Japan Advanced Institute Of Science And Technology
    Ishikawa Prefecture, Japan
    View
  • Japan Advanced Institute Of Science And Technology
    Assistant Professor
    Japan Advanced Institute Of Science And Technology Apr 2023 - Present
    Nomi, Ishikawa, Japan
    View
  • Japan Advanced Institute Of Science And Technology
    Postdoctoral Researcher
    Japan Advanced Institute Of Science And Technology Oct 2022 - Mar 2023
    Nomi, Ishikawa, Japan
    Research on formal specification and verification of quantum programs, quantum circuits, and quantum cryptography protocols
    View
  • Techacademy Co., Ltd
    Senior Software Engineer
    Techacademy Co., Ltd Mar 2015 - Sep 2018
  • Dotoh Vietnam
    Software Engineer
    Dotoh Vietnam Sep 2013 - Jul 2014
    Hanoi, Hanoi, Vietnam
  • Langmaster., Jsc
    Internship & Software Engineer
    Langmaster., Jsc Nov 2012 - Jun 2013
    Hanoi, Vietnam

Canh Minh Do Education Details

Frequently Asked Questions about Canh Minh Do

What company does Canh Minh Do work for?

Canh Minh Do works for Japan Advanced Institute Of Science And Technology

What is Canh Minh Do's role at the current company?

Canh Minh Do's current role is Senior Lecturer.

What schools did Canh Minh Do attend?

Canh Minh Do attended Japan Advanced Institute Of Science And Technology, Japan Advanced Institute Of Science And Technology, Vnu University Of Engineering And Technology, National Economics University (Neu) Vietnam, Aptech Vietnam.

Who are Canh Minh Do's colleagues?

Canh Minh Do's colleagues are Pachara Akkanwanich, Peter Rivière, Kirti Sharma, Hamidah Ida_narcissus87, Khine Thwe, Vi Vu, Katayama Takuya.

Not the Canh Minh Do you were looking for?

View similar profiles

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.