國立臺灣大學｜電子工程學研究所
Graduate Institute of Electronics Engineering
National Taiwan University
National Taiwan University
We often enter our careers with a script of what we will and won’t do, only to discover that life has its own plans; every never declared is a gamble as uncertainty becomes the norm. Today’s engineering challenges compound this unpredictability with system-level complexity, as tightly-coupled constraints evolve at an accelerating pace, constantly challenging existing assumptions. Thus, an open, proactive mindset becomes a critical asset. This talk draws on personal experience to invite the audience to move from static objectives to adventures grounded in integrity, resilience, curiosity, and grit. Our goal is not to avoid missteps perfectly, but to remain adaptable enough to stay relevant in the field — long enough to grow, to contribute, and to actually enjoy the ride.
In this talk, we will review our recent work about high-speed APD and VCSEL arrays to overcome the fundamental limitations of transceiver modules for free-space optical communication. State-of-the-art brightness, EO/OE bandwidth, and large active window size can be achieved simultaneously.
The first part of the talk will describe the common challenges that occur during comparative
evaluations of the performance of formal-methods tools (solvers, verifiers, etc.). We will also
describe the tool kit BenchExec, which makes it easy for benchmarking engineers to use Linux kernel
features like cgroups, name spaces, and overlay file systems.
The second part of the talk describes the competition on software verification,
a yearly comparative evaluation of tools for software verification.
