Yu-Ting Chen

Yu-Ting Chen Email and Phone Number

Software Engineer @ iCADA GmbH
ludwigshafen, rheinland-pfalz, germany
Yu-Ting Chen's Location
Taiwan, Taiwan, Province of China
About Yu-Ting Chen

Assuring program functional correctness beyond testing, fully automatic program verification.

Yu-Ting Chen's Current Company Details
iCADA GmbH

Icada Gmbh

View
Software Engineer
ludwigshafen, rheinland-pfalz, germany
Website:
icada.com
Employees:
5
Yu-Ting Chen Work Experience Details
  • Icada Gmbh
    資深軟體工程師
    Icada Gmbh Sep 2023 - Present
    View
  • Institute Of Information Science, Academia Sinica
    Research Assistant
    Institute Of Information Science, Academia Sinica May 2023 - Feb 2024
    Taipei, Taipei City, Taiwan
    developing guarded command language and tools for program verification
    View
  • Kicks Crew
    Senior Software Engineer
    Kicks Crew Jun 2022 - May 2023
    Taipei, Taipei City, Taiwan
    View
  • Sentons Taiwan Engineering Center
    Data Scientist
    Sentons Taiwan Engineering Center Oct 2021 - Apr 2022
    Taipei, Taipei City, Taiwan
  • Chalmers University Of Technology
    Phd Student
    Chalmers University Of Technology Jun 2016 - May 2021
    Gothenburg, Sweden
    PhD student under supervision of prof. Carlo A. Furia. Primary research interest in formal methods and improving automated program verification. [Boogie Less Triggers, Annotation-free verification, Vampire, Loop Invariants Generation, first-order theorem prover]
    View
  • Asian Institute Of Technology
    Research Assistant
    Asian Institute Of Technology May 2014 - Sep 2014
    Bangkok Metropolitan Area, Thailand
    [1] Bluetooth Low Energy (Bluetooth 4.0) indoor localisation research; [2] Mobile Application development (Android) under commission of Electricity Generating Authority of Thailand for in-house application
    View
  • A.K. Translator Centre
    Interpreter
    A.K. Translator Centre Feb 2014 - Sep 2014
    Bangkok Metropolitan Area, Thailand
    Professional translation between English <-> Chinese;on-site interpretation (Toyota skill competition)
  • Asian Institute Of Technology (Ait)
    Bachelor
    Asian Institute Of Technology (Ait) Sep 2010 - May 2014
    Bachelor in information communication technology / computer science
    View
  • Chalmers University Of Technology
    Summer Intern
    Chalmers University Of Technology May 2013 - Sep 2013
    Gothenburg, Sweden
    BNFC Java backend extension “ Parallel and Incremental parsing ”
    View
  • Asian Institute Of Technology
    Teaching Assistant
    Asian Institute Of Technology Sep 2011 - Jan 2012
    teaching assistant in Introduction to Computer Programming (Java)
    View
  • Taiwan Icdf
    Interpreter
    Taiwan Icdf 2011 - 2012
    On-site interpretation for foreign guests of Taiwan ICDF

Yu-Ting Chen Skills

C Java Research Html C++ English Microsoft Office Powerpoint Opencv Ruby Ruby On Rails Vim Apache Gnu Octave Microsoft Excel Public Speaking Microsoft Word Teaching Photoshop Strategic Planning Negotiation Editing Android Android Development Eclipse Bluetooth Low Energy Programming Algorithms Computer Science

Yu-Ting Chen Education Details

Frequently Asked Questions about Yu-Ting Chen

What company does Yu-Ting Chen work for?

Yu-Ting Chen works for Icada Gmbh

What is Yu-Ting Chen's role at the current company?

Yu-Ting Chen's current role is Software Engineer.

What schools did Yu-Ting Chen attend?

Yu-Ting Chen attended Chalmers University Of Technology, Asian Institute Of Technology.

What skills is Yu-Ting Chen known for?

Yu-Ting Chen has skills like C, Java, Research, Html, C++, English, Microsoft Office, Powerpoint, Opencv, Ruby, Ruby On Rails, Vim.

Who are Yu-Ting Chen's colleagues?

Yu-Ting Chen's colleagues are Alexander Zschach, Peter Schnebel, Rudy F., Tobias Ferber, Vincent Tsou.

Not the Yu-Ting Chen 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.