GPU-based parallelism for ASP-solving
Andrea Formisano is an associate professor of computer science in the Department of Mathematics and Computer Science at the University of Perugia, Italy.
He received his Ph.D. in Computer Science from the University `La Sapienza‘ of Rome in 2000. His main research interests include computational logics, automated reasoning, knowledge representation and non-monotonic reasoning, multi-agent systems, GPU-computing.
A Process Calculus for Formally Verifying Blockchain Consensus Protocols
Wolfgang Jeltsch came into contact with functional programming as an undergraduate and has been using it extensively in research, development, and teaching ever since. For many years he pursued research on functional reactive programming (FRP), in particular about its efficient and type-safe implementation, its semantics, and its close connection to temporal logic. Currently he is working on high-assurance implementations of blockchain consensus protocols based on Haskell and Isabelle/HOL.
He earned a PhD in computer science from Brandenburg University of Technology, Cottbus in 2012. He is part of Well-Typed, working as a consultant for blockchain company IOHK.