顏嗣鈞特聘教授的個人資料 - Profile of Hsu-chun Yen

顏嗣鈞 Hsu-chun Yen

國立台灣大學電機工程學系 特聘教授
台灣大學計算機及資訊網路中心 主任
Distinguished Professor, Department of Electrical Engineering, National Taiwan University
Director, Computer and Information Networking Center of NTU

主要研究領域:

自動機理論與正規語言; 圖形繪製與資訊視覺化; 正規驗證

Major Research Areas:

Automata Theory and Formal Languages, Graph Drawing and Information Visualization, Formal Verification

研究領域摘要:

Research Summary:

---  [Graph Drawing and Information Visualization]

As graphs are known to be one of the most important abstract models in various scientific and engineering areas, graph drawing (or information visualization in a broader sense) has naturally emerged as a fast growing research topic in computer science. Our research focuses on algorithmic aspects of graph drawing, including (1) designing algorithms for drawing a wide class of graphs meeting certain aesthetic criteria, (2) analyzing complexities of various graph drawing problems, (3) applying graph drawing techniques to real-world applications including VLSI floor-planning,  boundary labeling,  visualization of hierarchical structures, text annotations, ... and more.

-- [Petri Net Theory]

Petri nets, introduced by C. A Petri in 1962, provide an elegant and useful mathematical formalism for modelling concurrent systems and their behaviors. In many applications, however, modelling by itself is of limited practical use if one cannot analyze the modelled system. As a means of gaining a better understanding of the Petri net model, the decidability and computational complexity of typical automata theoretic problems concerning Petri nets have been extensively investigated in the literature in the past four decades. Our research on Petri nets focuses on decidability/complexity analysis of various problems associated with Petri nets (equivalently,  vector addition systems, vector replacement systems, and vector addition systems with states).

 

Photo of Hsu-chun Yen