Hi, I am Phil, an EE student who loves programming, also being passionate about web development. I'm good at using frameworks such as Laravel, Bootstrap, and Vue.js.
At present, the contents of the case are web development, mainly using Laravel framework to refactor the website.
Assist my teacher to plan course contents, design midterm & final projects, and guide students to apply theoretical and practical techniques. The course also includes theories and implementation of integrated circuit design verification. Programming language was using System Verilog, and tools using NCVerilog and JasperGold for simulation.
This job includes introducing formal verification technology into the company, planning training labs, and applying the technology to the company's actual hardware design to explore differences in results. It is mainly designed and verified using System Verilog.
Assist my teachers to plan course contents, guide students to solve problems after class. Also includes designing midterm and final projects, homeworks, and tutoring TA time. This course's progamming language maingly used C++ and projects apply the Qt development framework.
The employer of this project is a company of metal finishing magazine in Switzerland. Due to the long-term disrepair of the website, it is often found that images, links or documents on the website disappeared by unknown reasons. The employer hopes to resolve the errors.
The legacy codes was built by PHP. The syntax in program is very old and the architecture of program is quite cluttered. Therefore, I decided to use Laravel framework to refactor the program and reorganize the database. The main contents of the project includes the responsive front-end views, API and back-end data access. Now my progress is in the final stages.
This IG-like website is my first work after learning Laravel. The intention is to practice the techniques I learned by this project, and understand the whole architecture and flow of the website. This website has the same functions as the actual IG, such as accounts management, posts CRUD functions, users tracking and leaving messages, etc. In this project, I have more experienced the power of Laravel, such as the completeness of the built-in architecture, the support of the Composer packages, and the convenience of Eloquent ORM. I also learned MySQL, Bootstrap4, and Vue.js through this project.
In model checking, timed automata are a model type used to verify the behavior of the real-time systems. However, in the present method, the semantics of transitions in timed automata models are too general to model the urgent behavior, which means the system might not take the transition in the legal time bound. Because of that reason, system clock might still elapse at that state, but there are no longer transitions could be taken resulting the system behavior processing in the wrong way.
In view of this problem, the concept of urgency semantics has been proposed in previous studies to solve this problem. Through the urgency semantics, the transitions of timed automata have the denotation to forcefully taking within the given time range. Then system behavior can be accurately described and processed in the right way.
However, in most model checkers, urgency semantics are only applied to the real-time systems in model checking. Given the increasing complexity of system functions nowadays, systems have probabilistic behaviors besides characteristics of time, such as network communication protocols. Therefore, I apply urgency semantics to the real-time systems that can analyze the probabilistic behavior, build the probabilistic model checking of real-time urgency system, and compare the behavior of the systems after applying the urgency semantics through quantitative analysis of the experimental results.
In this thesis, I used PRISM open source model validator, and used Java and JavaCC to write compiler and algorithms.
Hi, I am Phil Wu, 25 years old. I studied in the VLSI / CAD team at department of electrical engineering of the National Cheng Kung University. Bachelor's Degree was graduated from the Department of Electrical Engineering of National University of Kaohsiung.
My research area is about chip design and verification / electronic design automation / formal verification. Thesis is constructed by algorithm development for a verification tool, in which the programming language primarily used C++ and Java. After two years, I dropped out of the NCKU master's degree because I can not reach a consensus with my director on thesis's issue.
After finishing military service, I began to learn web development. I currently uses frameworks like Laravel, Bootstrap, Vue.js to develop web and spend every spare minute to learn other programming languages like Python. Hope to enrich my abilities.
Although I have not much experience in web development at present, I believe that with a positive attitude and foundation of programming developed during school, I can quickly master this field.
