Seminar

Seminar: ‘Trading Programs – How the Finance industry has become so complex that today’s products are similar to programs’ by Joel Bjornson

Abstract:

In this presentation, we’ll explore the ways in which Bloomberg uses functional programming to solve financial problems. In particular, we’ll focus on the challenges involved in the development of the Bloomberg Derivatives Library – an application for structuring and pricing financial contracts.

Bio:

Joel Bjornson is a developer at the Bloomberg Derivatives Library team, specializing in the usage of OCaml for modelling financial contracts. Joel has been interested in functional programming since discovering Haskell at an introductory programming course in university.

 

Event details

  • When: 20th October 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Seminar: ‘Formalizing Garbage: Mathematical Models of Memory Management’ by Jeremy Singer

Abstract:

Garbage collection is no longer an esoteric research interest. Mainstream programming languages like Java and C# rely on high-performance memory managed run time systems. In this talk, I will motivate the need for rigorous models of memory management to enable more powerful analysis and optimization techniques. I will draw on a diverse range of topics including thermodynamics, economics, machine learning and control theory.

Bio:

Jeremy Singer is a lecturer at the School of Computing Science, University of Glasgow, Scotland. He has research interests in programming languages,compilation, run time code optimization and memory management. Singer received his PhD from Cambridge in 2006. Website:http://www.dcs.gla.ac.uk/~jsinger

 

Event details

  • When: 6th October 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar, Talk

Seminar: ‘Disrupting trillion dollar industries using low power wireless sensor networks’ by Raphael Scheps and Gideon Farrell

Abstract:
Some of the world’s most important industries are intrinsically grounded in the physical world, yet their interaction with it is still almost completely manual. Converge is a young startup, forged in the fires of Entrepreneurs First, that is building wireless, distributed sensor networks to revolutionise how these industries operate. We (Raph and Gideon, founders) will talk about our tech (and what makes it a fun challenge to build), the difficulties of working in enormous and complex industries and our first 10 months as a company.

Bio:
Gideon and Raphael co-founded Converge to deal with the huge amounts of data that will be produced by connected devices. Two Physicists from Cambridge, they are obsessed with instrumenting the world with connected sensors to drive a smarter physical environment. Gideon read Astrophysics at the University of Cambridge, and obtained his M.Sci with a thesis on Solar Jets. He has been writing software for over 10 years, working for companies such as Primary Energy Research and Softeam Cadextan. He worked on the first generation of IoT connected sensors at the Georgia Tech Research Institute (The WISP project) in 2009. Raphael read Theoretical Physics, obtaining an M.Math with a thesis on String Theory and Quantum Gravity. He has worked on high speed interconnect within the hardware engineering team at Mellanox as well as the experimental astrophysics team at the Weizmann Institute of Science. He was Vice President at Cambridge University Entrepreneurs, the oldest student entrepreneurship society in Europe. They both met at Cambridge five years ago and started Converge in 2014.

This seminar is part of our ongoing school series. To see all our upcoming seminar follow this link: here.

Event details

  • When: 22nd September 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Seminar: ‘Measuring Personalization of Online Services’ by Alan Mislove

The School of Computer Science is delighted to welcome Alan Mislove from Northeastern University Boston to give his talk on ‘Measuring Personalization of Online Services

Abstract: Today, many web services personalize their content, including Netflix (movie recommendations), Amazon (product suggestions), and Yelp (business reviews). In many cases, personalization provides advantages for users: for example, when a user searches for an ambiguous query such as “router,” Amazon may be able to suggest the woodworking tool instead of the networking device. However, personalization is rarely transparent (or even labeled), and has the potential be used to the user’s disadvantage. For example, on e-commerce sites, personalization could be used to manipulate the set of products shown (price steering) or by customizing the prices of products (price discrimination). Unfortunately, today, we lack the tools and techniques necessary to be able to detect when personalization is occurring, as well as what inputs are used to perform personalization.

In this talk, I discuss my group’s recent work that aims to address this problem. First, we develop a methodology for accurately measuring when web services are personalizing their content. While conceptually simple, there are numerous details that our methodology must handle in order to accurately attribute differences in results to personalization (as opposed to other sources of noise). Second, we apply this methodology to two domains: Web search services (e.g., Google, Bing) and e-commerce sites (e.g., BestBuy.com, Expedia). We find evidence of personalization for real users on both Google search and nine of the popular e-commerce sites. Third, using fake accounts, we investigate the effect of user attributes and behaviors on personalization; we find that the choice of browser, logging in, and a user’s previously content can significantly affect the results presented.

Bio: Alan Mislove is an Associate Professor at the College of Computer and Information Science at Northeastern University. He received his Ph.D. from Rice University in 2009. Prof. Mislove’s research concerns distributed systems and networks, with a focus on using social networks to enhance the security, privacy, and efficiency of newly emerging systems. He is a recipient of an NSF CAREER Award (2011), and his work has been covered by the Wall Street Journal, the New York Times, and the CBS Evening News.

This seminar is part of our ongoing series from researchers in HCI. See here for our current schedule.

Event details

  • When: 13th October 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Seminar: ‘Designing trusted and engaging forms of peer to peer healthcare’ by Pam Briggs

The School of Computer Science are delighted to welcome Pam Briggs from Northumbria University, Newcastle who will deliver her talk on Trust and Engagement.

Abstract: Patients now generate a significant amount of online material about health.  This raises questions about how we should design websites featuring patient knowledge and experience in order to ensure those sites provide a good match to patient needs.  In this presentation I describe a structured participatory methodology for the development and evaluation of a set of patient experience websites that took place over three phases, consistent with experience based co-design:

(1) a capture phase in which we wBriggs_Pamorked with patients to understand their reactions to existing websites; (2) an understand phase in which we translated this information into a patient-engagement framework and accompanying set of design guidelines and (3) an improve phase, where we used these guidelines to create three new health websites that were then assessed as patient experience interventions in a range of empirical studies.

Bio: Pam holds a Chair in Applied Psychology, delivering innovative research and consultancy around issues of identity, trust and security in new social media. Her research seeks answers to three main questions: Why and when do we feel secure in disclosing sensitive identity information about ourselves? What makes us trust an electronic message? How and when do we seek to protect our privacy?

In the last five years, Pam has published over forty articles on human perceptions of trust, privacy and security in computer-mediated communication and has recently developed, with colleagues, an innovative model of health advice-seeking online (ESRC funded). She has given a number of invited addresses on online trust and e-health, including an invited address on e-health to the World Health Summit 2009, the opening address at the Second International Conference on Privacy, Security and Trust (Canada) and the keynote to the 2010 IFIP Trust Management conference in Morioka, Japan. She has been a member of ESRC’s fellowship and CASE studentship committees and has recently made a contribution to the Govt. Office for Science’s Technology Foresight programme on the Future of Identity. She is currently a member of EPSRC’s new Identity Futures Network and also EPSRC’s Cybersecurity Network. She is one of the founder members of the UK’s new ‘Science of Cybersecurity’ Institute, funded by GCHQ in association with RCUK’s Global Uncertainty Programme.

This seminar is part of our ongoing series from researchers in HCI. See here for our current schedule.

Event details

  • When: 29th September 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Toward Workflow Management for Experimental Science?

The School of Computer Science welcomes the opportunity to hear from Dr Babak Esfandiari from Carleton University, CBabak Esfandiarianada who will be delivering his talk on ‘Toward Workflow Management for Experimental Science?’.

Abstract: Data, code, and other digital scientific artifacts are often found (at least by this presenter) to be out-of-synch, unreliable, poorly organized and only partially available. This makes science often hard to reproduce. In this talk, I demo an online tool to manage the workflow of a scientific project, and I speculate over how or whether it can help address these issues.

Bio: Babak Esfandiari is an Associate Professor at Carleton University, a comprehensive university located in the capital of Canada, Ottawa, Ontario. He obtained his PhD from Montpellier II, which specializes in Science and Technologies. His research is in agent-based systems; network computing; object-oriented design and languages.

Event details

  • When: 14th August 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Format: Seminar

Seminar ‘TODAY’: Brand Objects and Gradual Contracts by Timothy Jones

The School of Computer Science welcomes Timothy Jones, a PhD student from Victoria University of Wellington,New ZealandTimothy Jones.

Abstract: Adding object branding to an existing structural system integrates nominal and structural typing without excessively complicating the type system. We have implemented brand objects to explicitly type objects, using existing features of the structurally typed language Grace, along with a static type checker which treats the brands as nominal types. We intend to extend this approach to arbitrary, gradually enforced contracts and investigate the language features necessary for their implementation.

Bio:

Grace

I am currently involved in the Grace programming language project, through the Hopper implementation of the language, as well as formalising the language’s semantics. You can find an online editor for Grace at grace/editor, and the Gribber music system (a Grace plugin for Gibber) at grace/gibber.

Haskell

I’m also an avid Haskeller. My most successful contribution is the http-media library, part of a larger attempt to simplify REST resources in the Snap web framework. I’ve tutored the Programming Languages (Haskell and Prolog) course at VUW for several years, as well as taught the Advanced Programming Languages course.

Event details

  • When: 23rd July 2015 14:00 - 15:00
  • Where: Cole 1.04
  • Format: Seminar

School Seminar: Efficient Privacy Preserving Data Mining via Secure Computation by Dr Changyu Dong

The School of Computer Science welcomes the opportunity to hear from Dr Changyu Dong, from the Department of Computer and Information Sciences University of Strathclyde, who will be delivering his talk on ‘Efficient Privacy Preserving Data Mining via Secure Computation’. Chanyu Dong

Abstract: Loosely speaking, secure computation allows parties to compute a function jointly while keeping their inputs private. Participants of secure computation learns only the output of the function, but nothing about the others’ private inputs. An oblivious application of secure computation is privacy preserving data mining. Imagine a scenario in which Amazon and Facebook want to find correlations between their users’ activities. With current technology, this cannot happen because none of the companies is willing to disclose its own data to the other. Secure computation can remove this barrier because data remains private during  and after the computation. In the past, secure computation is considered to be only theoretical because of its inefficiency. Recently much effort has been made to make secure computation practical. In this talk, I will present some recent advancements in this area. I will first introduce Private Set Intersection (PSI), an important secure computation primitive, and how it can be realised efficiently. I will show how PSI can be applied to linking record in databases (private record linkage) and finding association rules. I will then show how fully homomorphic encryption, an emerging cryptographic technology, can be used in building efficient secure computation protocols, and in turn be used for privacy preserving data mining.

Bio: Changyu Dong is a lecturer at the University of Strathclyde. He obtained his PhD from the Department of Computing at Imperial College London in 2009. His research is in cyber security, specifically in applied cryptography. Since 2006, He has published 27 research papers in major journals and international conferences, including the most prestigious venues in security such as ACM CCS, ESORICS and Journal of Computer Security. He has served on and chaired program committees for many conferences and workshops, and is a regular invited reviewer for top international journals including Journal of Computer Security, IEEE Transactions on Dependable and Secure Computing and IEEE Transactions on Information Forensics and Security. Shortly after moving to Strathclyde in 2011, he started his research on efficient secure computation. This research direction has led to some breakthroughs in secure computing for Private Set Intersection and Private Information Retrieval protocols, which he applied in domains such as data mining.

Event details

  • When: 1st July 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

June 2nd, Seminar by John Stasko: “New Approaches for Information Visualization: Rethinking Existing Notions”

The School of Computer Science welcomes the opportunity to hear from Professor John Stasko of Georgia Tech,who will be delivering his talk on “New Approaches for Information Visualization: Rethinking Existing Notions” remotely. John Stasko

Abstract:
As the field of information visualization matures, researchers are able to reflect on, and perhaps even question,     some long-accepted notions from the area. In this talk, I focus on three such notions:
* Representing network data through force-directed node-link diagrams
* Focusing on visual representation first and foremost
* Evaluating visualizations through user studies and experiments
Although these ideas clearly have value as evidenced by their acceptance and longevity, I have begun to question      the wisdom of each. In this talk I’ll explain my concerns about these notions and I’ll suggest a new, alternative approach to each as well.       To support these arguments, I will describe a number of research projects from my lab that illustrate and exemplify the new approach.

Bio:
John received the B.S. degree in Mathematics at Bucknell University in Lewisburg, Pennsylvania (1983) and Sc.M. and Ph.D. degrees in Computer Science at Brown University in Providence, Rhode Island (1985 and 1989). He joined the faculty at Georgia Tech in 1989, and he is presently a Professor in the School of Interactive Computing in the College of Computing. His primary research area is human-computer interaction, with a focus on information visualization and visual analytics. John is a senior member of the ACM and IEEE. He was named an ACM Distinguished Scientist in 2011 and an IEEE Fellow in 2014. He also received the 2012 IEEE VGTC Visualization Technical Achievement Award. In 2013 John served as General Chair of the IEEE VIS conferences in Atlanta, and he was named an Honorary Professor in the School of Computer Science at the University of St. Andrews in Scotland.

This seminar is part of our ongoing series from researchers in HCI. See here for our current schedule.

 

Event details

  • When: 2nd June 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Format: Seminar

Scottish Programing Languages Seminar

The School of Computer Science of the University of St Andrews is organizing the next Scottish Programing Languages Seminar which will be held on Monday 15th June 2015 in Lecture Room 2 of the Gateway. In the meantime you can keep up-to-date by following the SPLS website.

For further enquiries please contact Frantisek Farka.

Event details

  • When: 15th June 2015 11:30 - 18:00
  • Where: Gateway Bldg
  • Format: Seminar