Timeline

• Aromajoin Corporation, Software Engineering Manager, 2019 ~ Present

• Nagoya University, Graduate School of Information Science, PhD candidate, 2016 ~ 2020

• Nagoya University, Graduate Program for Real-World Data Circulation Leader, 2016 ~ 2020

• oRo co., ltd., Software Developer, 2014 ~ 2016

• Nara Institute of Science and Technology, Graduate School of Information Science, 2012 ~ 2014

• Hanoi University of Science and Technology, School of ICT, 2006 ~ 2011

• High School for Gifted Students at Maths and IT, Hanoi University of Science, 2003 ~ 2006

Research

    Field of interest: Automated Software Verification: Quantitative Information Flow Analysis

      Supervisor: Professor Seki Hiroyuki (homepage)

      Co-supervisor: Assistant Professor Hashimoto Kenji (homepage)

Publications

• Conferences

1. Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki, On the compositionality of dynamic leakage and its application to the quantification problem, SECURWARE,  pp.1-8, Oct. 2019.

• Journals

1. Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki, Quantifying dynamic leakage: Complexity analysis and model counting-based calculation, IEICE Transactions on Information and Systems, Vol. E102-D, No.10, pp.1952-1965, Oct. 2019.

2. Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki, Counting algorithms for recognizable and algebraic series, IEICE Transactions on Information and Systems, Vol. E101-D No.6, June 2018, pp.1479 - 1490.

• Technical reports

1. Nakashima S., Chu B. T, Hashimoto K., Sakai M. and  Seki H., Efficiency improvement in #SMT-based quantitative information flow analysis,  IEICE Technical Report, SS2016-26, Vol.116, No.277, pp.49-54, 2016.

2. Chu B. T., Hashimoto K., and Seki H., Runtime control of a program based on quantitative information flow, IEICE Technical Report, SS2013-60, Vol.113, No.422, pp.71-76, 2013.

• Thesis

1. Doctoral Thesis: Towards Practically Applicable Quantitative Information Flow Analysis

2. Master Thesis

Technical Skills

• Proficient in C, C++, Java, Matlab, SQL; Familiar with: R, Python, Ruby on Rails, Haskell

• Machine Learning: familiar with concepts of supervised learning, unsupervised learning, neural networks

• Winner of Master The Mainframe 2017, Part 2 (IBM)

• Winner of Master The Mainframe 2017, Part 3 (IBM)

Internship

• 2019 Apr ~ 2020 Mar (pre-full-employed), Aromajoin Corporation: in charge of software development and information security management.

• 2018 Nov ~ 2019 Jan (12 weeks), IBM Cyber Security Center of Excellence (Beer Sheva, Israel): utilizing AI techniques in data analytics for anomaly detection.

• 2018 Sep ~ Sep (one month), Denso Corporation Headquarter: involved in a phase in producing LiDAR sensor.

• 2010 May ~ May (one month), Panasonic R&D Center Vietnam: responsible for improving an internal tool to check for memory leaks of software written in C and C++ using model checking technique.

External Links

• Linked In

• Github

Foreign Language

• English

  • TOEFL ibt: 92 (R:29, L:22, S:19, W:22) (2011, April)

  • GRE General: 1110 (Verbal: 310/800, Quantitative:800/800) (2011, April)

  • TOEIC LR: 905 (2016, June), SW: 340 (2017, October)

• Japanese

  • JLPT N1 level (2012, July)

Others

• Programming contest among Vietnamese highschool students (group A - very competitive), encouragement prize awarded (2005)

• Undergrad GPA: 3.39/4 (2011)

• NTT Docomo Scholarship (2012~2014)

• Leading Program in Real-World Data Circulation (2016 ~ 2019 expected)

• President of VYSA-TOKAI: Vietnamese Youth and Student Association in Japan, TOKAI area (2017/3 ~ 2018/3)