Research output per year
Research output per year
Personal profile
External positions
Researcher, Imperial College London
1 Mar 2017 → 28 Feb 2019
Fingerprint
Dive into the research topics where Sung-Shik Jongmans is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 7 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Discourje: Runtime Verification of Communication Protocols in Clojure
Hamers, R. & Jongmans, S-S., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Cham: Springer Open, p. 266-284 19 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12078). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12078).Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
Open Access -
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
Jongmans, S-S. & Yoshida, N., 2020, Open Universiteit Nederland. 189 p. (Technical Report - Computer Science & Information Science (TR-OU-INF); No. 01, Vol. 2020).Research output: Book/Report › Technical report › Academic
File6 Downloads (Pure) -
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
Jongmans, S-S. & Yoshida, N., 2020, Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Müller, P. (ed.). Cham: Springer Open, p. 251-279 29 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12075). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12075).Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
Open Access -
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings
Arbab, F. (ed.) & Jongmans, S-S. (ed.), 2020, Cham: Springer Nature Switzerland AG. (Lecture Notes in Computer Science, Vol. 12018). (Programming and Software Engineering LNPSE, Vol. 12018).Research output: Book/Report › Book editing › Academic
-
Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project
Jongmans, S-S. & Hamers, R. R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature Switzerland AG, p. 489-508 10 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
Prizes
-
-
Rubicon Grant in Beta Cluster
Jongmans, Sung-Shik (Recipient), 10 Jan 2017
Prize: Fellowship awarded competitively › Academic
-
The (Dis)likes of Farhad
Sung-Shik Jongmans (Speaker)
25 Dec 2018Activity: Talk or presentation types › Invited talk › Academic
-
Formal Aspects of Component Software
Sung-Shik Jongmans (Member of programme committee)
10 Oct 2018 → 12 Oct 2018Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
-
ABCD Meeting
Sung-Shik Jongmans (Participant / Attendee)
17 Dec 2018 → 18 Dec 2018Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
-
SEN Symposium
Sung-Shik Jongmans (Participant / Attendee)
2 Feb 2018Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
-
FaceTAV
Sung-Shik Jongmans (Participant / Attendee)
28 Nov 2018 → 29 Nov 2018Activity: Participating in or organising an event types › Participating in OR organising an event › Academic