Dieky Adzkiya

Bio Sketch

I am an Assistant Professor in the Department of Mathematics at Institut Teknologi Sepuluh Nopember (ITS), Indonesia and a member of the Center of Excellence for Mechatronics and Industrial Automation Research Center (PUI-PT MIA-RC).

Born in Lamongan, in 1983, I received a BSc and an MSc degree, both in the Department of Mathematics from Institut Teknologi Sepuluh Nopember in 2005 and 2008, respectively. In the final project of my bachelor study, I was working on the algorithm analysis of some singular value decomposition algorithms, under the supervision of Erna Apriliani and Bandung Arry Sanjoyo. My master thesis focused on the modeling and analysis of traffic lights using Petri nets, under the guidance of Subiono.

I earned a PhD degree in October 2014, in the Delft Center for Systems and Control (DCSC), at Delft University of Technology (TU Delft), The Netherlands, working on Formal Verification of Max-Plus-Linear Systems with Alessandro Abate and Bart De Schutter. Thereafter, I was a PostDoctoral Researcher in the same institution, working with Manuel Mazo Jr on Networked Control Systems.

My research interests include formal verification and max-plus-linear systems.

Links

• dblp
• Google scholar profile
• Linkedin
• Mathematics genealogy project
• Mendeley
• Orcid
• Resits
• Scopus preview
• SINTA – Science and Technology Index
• Web of Science