Advisory Board and Editors Programming Languages
Marieke Huisman
Marieke Huisman is a professor in Software Reliability, leading the Formal Methods and Tools group at the Univ. of Twente, Netherlands. She obtained her PhD in 2001 from the Univ. of Nijmegen, in the area of semantics and verification of sequential Java programs. She worked 8 years at INRIA Sophia Antipolis, France on verification of concurrent programs. In 2008 she joined the UT. She leads the development of the VerCors program verifier for concurrent software. For this work, she has received the support of several personal grants, such as an ERC Starting Grant, and a Vici grant from the Dutch Science Organisation. She has been chairing Versen, the Dutch association of software researchers, and works hard to improve the overall visibility of software research.
Gail E Kaiser
Prof. Kaiser's research interests lie at the boundary of software engineering and software systems, focusing on software reliability, privacy and security, and social software engineering. She served on the editorial board of IEEE Internet Computing for many years, was a founding associate editor of ACM TOSEM, and chaired an ACM FSE Symposium. She has directed her department's doctoral program since 1997. Prof. Kaiser received her PhD from CMU and her ScB from MIT.
Gregory M Kapfhammer
Focusing on software engineering, software testing, and data science, Gregory M. Kapfhammer is an Associate Professor of Computer Science at Allegheny College.
Antonia Lopes
Antónia Lopes is Associate Professor at the University of Lisbon, Portugal, since March 2006. She received a Ph.D. in Informatics at the University of Lisbon in 1999 and holds a BSc and MSc in Applied Mathematics from Technical University of Lisbon. Her research interests are mainly in the area of formal methods for software engineering. These include mathematically based techniques for the specification, modelling and analysis of various types of software intensive systems.
Christopher J Mungall
I am a Computer Research Scientist in the Environmental Genomics and Systems Biology division at Lawrence Berkeley Laboratory. My work focuses on computational methods for representing and interpreting complex biological data, in particular through the development and application of knowledge representation structures such as ontologies.
Alex Nicolau
Professor of Computer Science at the University of California, Irvine; IEEE Fellow.
Andrea Omicini
I am Full Professor at the Alma Mater Studiorum, the University of Bologna. As a researcher, I am currently working on multi-agent systems, intelligent systems engineering, computational logic, explainable AI, agreement technologies. As a professor, I am currently teaching distributed systems, multi-agent systems, and intelligent systems engineering.
Michele Pasqua
Michele Pasqua is an Assistant Professor at the Department of Computer Science of the University of Verona, Italy. His main research interests include abstract interpretation, program verification, static analysis, software testing, theoretical foundations of programming languages and software engineering, language-based security, and distributed systems.
He works actively in the software engineering and programming languages communities, being (co)author of more than 30 publications in international scientific journals and conference proceedings with peer review and regularly serving on international conferences and workshops program committees.
Shengchao Qin
Dr Shengchao Qin has been a Professor (Chair) of Computer Science since 2011.
He received his PhD in 2002 from Peking University. From July 2002 to December 2004, he was a Research Fellow under the Computer Science Programme in the Singapore-MIT Alliance, affiliated with National University of Singapore. He became a University lecturer in Durham University in January 2005. In June 2010, he joined Teesside University as a Reader and became a full Professor in June 2011. From August 2016 to September 2019, he also acted as the Associate Dean (Research & Innovation) for School of Computing, School of Computing, Media & the Arts, and then School of Computing & Digital Technologies.
Shengchao is a full member of the UK EPSRC Peer Review College and a member of the UKRI FLF (Future Leaders Fellowships) Peer Review College. He is also a senior member of IEEE and ACM.
Rommel T J Ramos
The Rommel Ramos Professor of Bioinformatics of Federal University of Para (Brazil) affiliated member of Brazilian Science Academy and CNPq Researcher (level 1-D). Since 2008 works with genome assembly and RNA-Seq analysis, he is the leader of the bioinformatic development group of the Biologic Engineering Laboratory in Park of Science and Technology (Pará/Brazil).
Harini Srinivasan
Working for 20+ years in industry on a variety of innovative topics - programming languages, run-time environment, tools including performance analysis, parallel distributed systems, service-oriented and business process architectures, deployment of large systems, e-commerce and social media analysis.
Sándor Szénási
Sándor Szénási has earned his MSc degree in 2004 from Faculty of Informatics of Eötvös Loránd University, Budapest. He has received his PhD in 2013 from Doctoral School of Applied Informatics (GSAI) of Óbuda University, Budapest.
Currently, he is an associate professor in the Institute of Applied Informatics of John von Neumann Faculty of Informatics, Óbuda University, Budapest. He is the leader of the local CUDA Teaching Center.
His research areas are (data) parallel algorithms, GPU programming and medical image processing. He engages both in theoretical fundamentals and in algorithmic issues with respect to realization of practical requirements and given constraints.
He is the member of the John von Neumann Computer Society and IEEE, and also a reviewer of several conferences and journals.