Page 39 - 2017 Brochure
P. 39
t help programmers to develop programs and correctness proofs at the same Research Description
time. We have published some interesting case studies of derivation, including
approximation algorithms and algorithms for segment and partition problems. Shin-Cheng Mu
The general impression that purely functional languages do not allow side effects Associate Research Fellow
is misleading. Instead, these languages simply require that effects must be
introduced in a mathematically manageable manner. One of the ways to introduce Yu-Fang Chen
effects is through monads. Perhaps surprisingly, much reasoning can be performed
with monadic programs. We are studying their derivation, and also trying to find Associate Research Fellow
conditions under which desired properties of one monadic effect can be preserved
in presence of other monadic effects. Tyng-Ruey Chuang
4. Communal Sharing of Sensitive Data Associate Research Fellow
Privacy refers not merely Bow-Yaw Wang
to restrictions on acquiring
personal data, but also Research Fellow
to a set of principles and
rules that govern the use of 37
information and disclosure.
It remains a challenge to
appropriately manage the
flows of information such that
data sharing is encouraged,
while the shared information
is kept private. A usual
approach is for a centralized
data controller to de-identify the dataset that was collected from individuals, before
it is released for reuse. A central dilemma in this practice is that the three actors
(individuals, data controllers, and third-party data users) often do not have their
interests properly aligned. Together with legal scholars, we are working toward a
communal approach to personal data management where, without an external
authority, members of a community pool sensitive information about themselves for
mutual benefit. Principles from programming languages and formal methods will
guide us in the development of good data sharing schemes with verifiable properties.
Methods, tools, and systems to facilitate communal management of sensitive data
will be developed and put into use.
5. Education
In addition to our research
activities, we also dedicate
significant resources to
education. To introduce our
research to students, we
have organized the yearly
Formosan Summer School
on Logic, Language, and
Computation (FLOLAC) since
2007. Through FLOLAC,
many students in Taiwan
have been encouraged to
study and conduct research
on programming languages and formal methods.
time. We have published some interesting case studies of derivation, including
approximation algorithms and algorithms for segment and partition problems. Shin-Cheng Mu
The general impression that purely functional languages do not allow side effects Associate Research Fellow
is misleading. Instead, these languages simply require that effects must be
introduced in a mathematically manageable manner. One of the ways to introduce Yu-Fang Chen
effects is through monads. Perhaps surprisingly, much reasoning can be performed
with monadic programs. We are studying their derivation, and also trying to find Associate Research Fellow
conditions under which desired properties of one monadic effect can be preserved
in presence of other monadic effects. Tyng-Ruey Chuang
4. Communal Sharing of Sensitive Data Associate Research Fellow
Privacy refers not merely Bow-Yaw Wang
to restrictions on acquiring
personal data, but also Research Fellow
to a set of principles and
rules that govern the use of 37
information and disclosure.
It remains a challenge to
appropriately manage the
flows of information such that
data sharing is encouraged,
while the shared information
is kept private. A usual
approach is for a centralized
data controller to de-identify the dataset that was collected from individuals, before
it is released for reuse. A central dilemma in this practice is that the three actors
(individuals, data controllers, and third-party data users) often do not have their
interests properly aligned. Together with legal scholars, we are working toward a
communal approach to personal data management where, without an external
authority, members of a community pool sensitive information about themselves for
mutual benefit. Principles from programming languages and formal methods will
guide us in the development of good data sharing schemes with verifiable properties.
Methods, tools, and systems to facilitate communal management of sensitive data
will be developed and put into use.
5. Education
In addition to our research
activities, we also dedicate
significant resources to
education. To introduce our
research to students, we
have organized the yearly
Formosan Summer School
on Logic, Language, and
Computation (FLOLAC) since
2007. Through FLOLAC,
many students in Taiwan
have been encouraged to
study and conduct research
on programming languages and formal methods.
