Sung-Shik Jongmans

dr.

Senior Lecturer, Department of Computer Science
Lecturer, Research Line Resilience (part of LIRS program)

Research activity per year

If you made any changes in Pure these will be visible here soon.

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.

6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or

13 Conference article in proceeding
7 Article
2 Technical report
1 Book editing
More
- 1 Chapter

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

File

1 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

NWO Veni
Jongmans, Sung-Shik (Recipient), 2018
Prize: Fellowship awarded competitively › Academic
Rubicon Grant in Beta Cluster
Jongmans, Sung-Shik (Recipient), 10 Jan 2017
Prize: Fellowship awarded competitively › Academic

7 Participating in OR organising an event
3 Invited talk

Microservices: Science and Engineering
Sung-Shik Jongmans (Member of programme committee)
25 Jun 2018
Activity: 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 2018
Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
Programming Languages in The Netherlands
Sung-Shik Jongmans (Participant / Attendee)
22 Nov 2018
Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
Distributed Programming using Role-Parametric Session Types in Go
Sung-Shik Jongmans (Speaker)
18 Dec 2018
Activity: Talk or presentation types › Invited talk › Academic
Formal Aspects of Component Software
Sung-Shik Jongmans (Member of programme committee)
10 Oct 2018 → 12 Oct 2018
Activity: Participating in or organising an event types › Participating in OR organising an event › Academic