All people and topics

All people and topics ainur begalinova Ainur Begalinova Robotics Robotics ainur begalinova--Robotics Robot manipulation Robot manipulation ainur begalinova--Robot manipulation Robot programming Robot programming ainur begalinova--Robot programming Human-robot interaction Human-robot interaction ainur begalinova--Human-robot interaction Machine learning Machine learning ainur begalinova--Machine learning Artificial intelligence Artificial intelligence ainur begalinova--Artificial intelligence Data science Data science ainur begalinova--Data science christos kotselidis Christos Kotselidis Big data Big data christos kotselidis--Big data Managed runtimes Managed runtimes christos kotselidis--Managed runtimes Compiler Compiler christos kotselidis--Compiler Virtual machines Virtual machines christos kotselidis--Virtual machines Hardware acceleration Hardware acceleration christos kotselidis--Hardware acceleration Heterogeneous execution Heterogeneous execution christos kotselidis--Heterogeneous execution Hardware/Software codesign Hardware/Software codesign christos kotselidis--Hardware/Software codesign Low power computing Low power computing christos kotselidis--Low power computing Automatic parallelization Automatic parallelization christos kotselidis--Automatic parallelization Programming models Programming models christos kotselidis--Programming models Java Java christos kotselidis--Java JVM JVM christos kotselidis--JVM Flink Flink christos kotselidis--Flink OpenCL OpenCL christos kotselidis--OpenCL zahra montazeri Zahra Montazeri zahra montazeri--Machine learning Computer graphics Computer graphics zahra montazeri--Computer graphics Visualisation Visualisation zahra montazeri--Visualisation Augmented reality Augmented reality zahra montazeri--Augmented reality Virtual reality Virtual reality zahra montazeri--Virtual reality Rendering Rendering zahra montazeri--Rendering jon shapiro Jon Shapiro jon shapiro--Machine learning Agent-based model Agent-based model jon shapiro--Agent-based model Poker Poker jon shapiro--Poker Reinforcement learning Reinforcement learning jon shapiro--Reinforcement learning Modelling biological systems Modelling biological systems jon shapiro--Modelling biological systems Statistical models Statistical models jon shapiro--Statistical models Swarm intelligence Swarm intelligence jon shapiro--Swarm intelligence kung-kiu lau Kung-kiu Lau Component-based software engineering Component-based software engineering kung-kiu lau--Component-based software engineering Service-oriented architecture Service-oriented architecture kung-kiu lau--Service-oriented architecture Cloud computing Cloud computing kung-kiu lau--Cloud computing Web service Web service kung-kiu lau--Web service Product family engineering Product family engineering kung-kiu lau--Product family engineering Web Web kung-kiu lau--Web tom thomson Tom Thomson Internet of things Internet of things tom thomson--Internet of things Microcontrollers Microcontrollers tom thomson--Microcontrollers Finite element method Finite element method tom thomson--Finite element method Raspberry Pi Raspberry Pi tom thomson--Raspberry Pi Data analysis Data analysis tom thomson--Data analysis Hard disk drive Hard disk drive tom thomson--Hard disk drive Instrumentation Instrumentation tom thomson--Instrumentation Image analysis Image analysis tom thomson--Image analysis Arduino Arduino tom thomson--Arduino stewart blakeway Stewart Blakeway markel vigo Markel Vigo markel vigo--Web Human-computer interaction Human-computer interaction markel vigo--Human-computer interaction Interaction analysis and modelling Interaction analysis and modelling markel vigo--Interaction analysis and modelling Interaction pattern mining Interaction pattern mining markel vigo--Interaction pattern mining User experience User experience markel vigo--User experience Usability Usability markel vigo--Usability Accessibility Accessibility markel vigo--Accessibility Human behaviour Human behaviour markel vigo--Human behaviour Citizen science Citizen science markel vigo--Citizen science Health informatics Health informatics markel vigo--Health informatics Interactive applications Interactive applications markel vigo--Interactive applications paul nutter Paul Nutter paul nutter--Robotics paul nutter--Microcontrollers paul nutter--Raspberry Pi paul nutter--Instrumentation paul nutter--Image analysis paul nutter--Arduino Assembly Language Assembly Language paul nutter--Assembly Language Data Storage Systems Data Storage Systems paul nutter--Data Storage Systems Electronics Electronics paul nutter--Electronics Embedded Systems Embedded Systems paul nutter--Embedded Systems IoT IoT paul nutter--IoT Schools Outreach Schools Outreach paul nutter--Schools Outreach Sensors Sensors paul nutter--Sensors Student-led Projects Student-led Projects paul nutter--Student-led Projects goran nenadic Goran Nenadic goran nenadic--Health informatics Text mining Text mining goran nenadic--Text mining Natural language processing Natural language processing goran nenadic--Natural language processing Sentiment analysis Sentiment analysis goran nenadic--Sentiment analysis Electronic health record Electronic health record goran nenadic--Electronic health record Social media Social media goran nenadic--Social media rizos sakellariou Rizos Sakellariou rizos sakellariou--Compiler rizos sakellariou--Cloud computing rizos sakellariou--Data analysis Parallel and distributed computing Parallel and distributed computing rizos sakellariou--Parallel and distributed computing Social media analytics Social media analytics rizos sakellariou--Social media analytics Sport and recreation Sport and recreation rizos sakellariou--Sport and recreation Computer games Computer games rizos sakellariou--Computer games Scheduling Scheduling rizos sakellariou--Scheduling sarah clinch Sarah Clinch sarah clinch--Augmented reality sarah clinch--Internet of things sarah clinch--Human-computer interaction sarah clinch--Human behaviour Human memory Human memory sarah clinch--Human memory Ubiquitous computing Ubiquitous computing sarah clinch--Ubiquitous computing Mobile computing Mobile computing sarah clinch--Mobile computing Digital signage Digital signage sarah clinch--Digital signage Mixed reality Mixed reality sarah clinch--Mixed reality Google effect Google effect sarah clinch--Google effect Mindfulness and technology Mindfulness and technology sarah clinch--Mindfulness and technology Forgetting Forgetting sarah clinch--Forgetting Interactivity Interactivity sarah clinch--Interactivity Ethics Ethics sarah clinch--Ethics Empirical research Empirical research sarah clinch--Empirical research Women in STEM fields Women in STEM fields sarah clinch--Women in STEM fields Eating disorder Eating disorder sarah clinch--Eating disorder Instagram Instagram sarah clinch--Instagram Python Python sarah clinch--Python Mobile phone based sensing software Mobile phone based sensing software sarah clinch--Mobile phone based sensing software Information privacy Information privacy sarah clinch--Information privacy Digital inheritance Digital inheritance sarah clinch--Digital inheritance Lifelogging Lifelogging sarah clinch--Lifelogging louise dennis Louise Dennis Beliefs-desire-intentions programming Beliefs-desire-intentions programming louise dennis--Beliefs-desire-intentions programming Public engagement Public engagement louise dennis--Public engagement Trustworthy robotics and autonomous systems Trustworthy robotics and autonomous systems louise dennis--Trustworthy robotics and autonomous systems Verification Verification louise dennis--Verification Multi agent systems Multi agent systems louise dennis--Multi agent systems Social network modelling Social network modelling louise dennis--Social network modelling Machine ethics Machine ethics louise dennis--Machine ethics Explainability Explainability louise dennis--Explainability richard banach Richard Banach Formal methods Formal methods richard banach--Formal methods Chinese language Chinese language richard banach--Chinese language clare dixon Clare Dixon clare dixon--Verification Automated reasoning Automated reasoning clare dixon--Automated reasoning Modal logic Modal logic clare dixon--Modal logic Symbolic AI Symbolic AI clare dixon--Symbolic AI Autonomous systems Autonomous systems clare dixon--Autonomous systems Reliability, robustness and trust Reliability, robustness and trust clare dixon--Reliability, robustness and trust Swarm robotics Swarm robotics clare dixon--Swarm robotics renate schmidt Renate Schmidt renate schmidt--Artificial intelligence renate schmidt--Automated reasoning renate schmidt--Modal logic Description logic Description logic renate schmidt--Description logic Semantic web Semantic web renate schmidt--Semantic web AI in health AI in health renate schmidt--AI in health Logic Logic renate schmidt--Logic Knowledge representation and reasoning Knowledge representation and reasoning renate schmidt--Knowledge representation and reasoning Ontology engineering Ontology engineering renate schmidt--Ontology engineering Mathematics Mathematics renate schmidt--Mathematics Algebra Algebra renate schmidt--Algebra Ontology (information science) Ontology (information science) renate schmidt--Ontology (information science) tom carroll Tom Carroll Puzzles Puzzles tom carroll--Puzzles GPU GPU tom carroll--GPU Bioinformatics Bioinformatics tom carroll--Bioinformatics String algorithms String algorithms tom carroll--String algorithms Graphs Graphs tom carroll--Graphs History History tom carroll--History ning zhang Ning Zhang Cryptography Cryptography ning zhang--Cryptography Data integrity Data integrity ning zhang--Data integrity Authentication Authentication ning zhang--Authentication Access control Access control ning zhang--Access control Cryptographic protocol Cryptographic protocol ning zhang--Cryptographic protocol Mobile security Mobile security ning zhang--Mobile security Cloud computing security Cloud computing security ning zhang--Cloud computing security Visualization (graphics) Visualization (graphics) ning zhang--Visualization (graphics) Network security Network security ning zhang--Network security Spoofing attack Spoofing attack ning zhang--Spoofing attack Anti-spam techniques Anti-spam techniques ning zhang--Anti-spam techniques gareth henshall Gareth Henshall gareth henshall--Virtual reality gareth henshall--Raspberry Pi gareth henshall--Arduino gareth henshall--Social media gareth henshall--Sport and recreation Mobile application software Mobile application software gareth henshall--Mobile application software Web application Web application gareth henshall--Web application E-learning E-learning gareth henshall--E-learning Public health Public health gareth henshall--Public health Python (programming language) Python (programming language) gareth henshall--Python (programming language) Crowdsourcing Crowdsourcing gareth henshall--Crowdsourcing duncan hull Duncan Hull duncan hull--Raspberry Pi duncan hull--Arduino duncan hull--Bioinformatics duncan hull--Mobile application software duncan hull--Web application duncan hull--E-learning duncan hull--Python (programming language) Information science Information science duncan hull--Information science Computers in the classroom Computers in the classroom duncan hull--Computers in the classroom Secondary education Secondary education duncan hull--Secondary education Linked data Linked data duncan hull--Linked data Open data Open data duncan hull--Open data Educational technology Educational technology duncan hull--Educational technology Lego Mindstorms Lego Mindstorms duncan hull--Lego Mindstorms david wong David Wong david wong--Machine learning david wong--Health informatics Signal processing Signal processing david wong--Signal processing ian pratt-hartmann Ian Pratt-hartmann ian pratt-hartmann--Formal methods ian pratt-hartmann--Automated reasoning ian pratt-hartmann--Logic ian pratt-hartmann--Mathematics ian pratt-hartmann--Algebra Symbolic computation Symbolic computation ian pratt-hartmann--Symbolic computation Natural language Natural language ian pratt-hartmann--Natural language tingting mu Tingting Mu tingting mu--Machine learning tingting mu--Artificial intelligence tingting mu--Text mining tingting mu--Natural language processing Mathematical modelling Mathematical modelling tingting mu--Mathematical modelling Optimization Optimization tingting mu--Optimization Matrix decomposition Matrix decomposition tingting mu--Matrix decomposition Computer vision Computer vision tingting mu--Computer vision ke chen Ke Chen ke chen--Machine learning ke chen--Artificial intelligence ke chen--Computer vision Reinforcement Learning & Applications Reinforcement Learning & Applications ke chen--Reinforcement Learning & Applications Deep neural networks Deep neural networks ke chen--Deep neural networks Speech information processing Speech information processing ke chen--Speech information processing Video game development Video game development ke chen--Video game development terry morley Terry Morley terry morley--Human-computer interaction terry morley--Python (programming language) terry morley--Computer vision Image processing Image processing terry morley--Image processing OpenCV OpenCV terry morley--OpenCV C (programming language) C (programming language) terry morley--C (programming language) C++ (programming language) C++ (programming language) terry morley--C++ (programming language) Software development Software development terry morley--Software development Visual navigation Visual navigation terry morley--Visual navigation mauricio alvarez Mauricio Alvarez mauricio alvarez--Machine learning Time series Time series mauricio alvarez--Time series Spatio-temporal data Spatio-temporal data mauricio alvarez--Spatio-temporal data Probabilistic models Probabilistic models mauricio alvarez--Probabilistic models suzanne embury Suzanne Embury Agile software engineering Agile software engineering suzanne embury--Agile software engineering Software testing Software testing suzanne embury--Software testing DevOps DevOps suzanne embury--DevOps Software discovery Software discovery suzanne embury--Software discovery Software quality Software quality suzanne embury--Software quality Git workflows Git workflows suzanne embury--Git workflows Student-led projects Student-led projects suzanne embury--Student-led projects youcheng sun Youcheng Sun youcheng sun--Artificial intelligence Explainable AI Explainable AI youcheng sun--Explainable AI Cybersecurity Cybersecurity youcheng sun--Cybersecurity Software security Software security youcheng sun--Software security Software engineering Software engineering youcheng sun--Software engineering Cyber-physical systems Cyber-physical systems youcheng sun--Cyber-physical systems Model checking Model checking youcheng sun--Model checking aphrodite galata Aphrodite Galata aphrodite galata--Machine learning aphrodite galata--Human-computer interaction aphrodite galata--Computer vision Gesture recognition Gesture recognition aphrodite galata--Gesture recognition Motion capture Motion capture aphrodite galata--Motion capture Kinect Kinect aphrodite galata--Kinect uli sattler Uli Sattler uli sattler--Automated reasoning uli sattler--Modal logic uli sattler--Symbolic AI uli sattler--Description logic uli sattler--Logic uli sattler--Knowledge representation and reasoning uli sattler--Ontology engineering uli sattler--Mathematics uli sattler--Ontology (information science) uli sattler--Computers in the classroom Knowledge Representation and reasoning Knowledge Representation and reasoning uli sattler--Knowledge Representation and reasoning Semantic Web Semantic Web uli sattler--Semantic Web Web Ontology Language Web Ontology Language uli sattler--Web Ontology Language Protege (software) Protege (software) uli sattler--Protege (software) christoforos moutafis Christoforos Moutafis GPU simulations GPU simulations christoforos moutafis--GPU simulations Computational Physics Computational Physics christoforos moutafis--Computational Physics Micromagnetics Micromagnetics christoforos moutafis--Micromagnetics Spintronics Spintronics christoforos moutafis--Spintronics Web-design Web-design christoforos moutafis--Web-design daniel dresner Daniel Dresner Cyber security Cyber security daniel dresner--Cyber security Risk management Risk management daniel dresner--Risk management Trustworthy systems Trustworthy systems daniel dresner--Trustworthy systems francisco lobo Francisco Lobo francisco lobo--Formal methods francisco lobo--Automated reasoning francisco lobo--Description logic francisco lobo--Logic francisco lobo--Knowledge representation and reasoning francisco lobo--Mathematics francisco lobo--Algebra francisco lobo--Symbolic computation francisco lobo--Mathematical modelling Formal language Formal language francisco lobo--Formal language Knowledge graphs Knowledge graphs francisco lobo--Knowledge graphs Language of mathematics Language of mathematics francisco lobo--Language of mathematics Mathematical logic Mathematical logic francisco lobo--Mathematical logic Model of computation Model of computation francisco lobo--Model of computation Pure mathematics Pure mathematics francisco lobo--Pure mathematics viktor schlegel Viktor Schlegel viktor schlegel--Natural language processing Misinformation detection Misinformation detection viktor schlegel--Misinformation detection Question answering Question answering viktor schlegel--Question answering Machine reading comprehension Machine reading comprehension viktor schlegel--Machine reading comprehension Deep learning Deep learning viktor schlegel--Deep learning tim morris Tim Morris tim morris--Augmented reality tim morris--Human-computer interaction tim morris--Computer vision tim morris--Image processing tim morris--OpenCV tim morris--C (programming language) Medical imaging Medical imaging tim morris--Medical imaging Biometrics Biometrics tim morris--Biometrics Computer art Computer art tim morris--Computer art Mobile apps Mobile apps tim morris--Mobile apps Processing (programming language) Processing (programming language) tim morris--Processing (programming language) mustafa mustafa Mustafa Mustafa Information security Information security mustafa mustafa--Information security Data privacy Data privacy mustafa mustafa--Data privacy Applied cryptography Applied cryptography mustafa mustafa--Applied cryptography Protocol design Protocol design mustafa mustafa--Protocol design Smart grid Smart grid mustafa mustafa--Smart grid Peer-to-peer energy trading Peer-to-peer energy trading mustafa mustafa--Peer-to-peer energy trading Energy market models Energy market models mustafa mustafa--Energy market models Federated learning Federated learning mustafa mustafa--Federated learning Privacy-preserving machine learning Privacy-preserving machine learning mustafa mustafa--Privacy-preserving machine learning Secure computation techniques Secure computation techniques mustafa mustafa--Secure computation techniques Electricity prediction Electricity prediction mustafa mustafa--Electricity prediction riza batista-navarro Riza Batista-navarro riza batista-navarro--Machine learning riza batista-navarro--Text mining riza batista-navarro--Natural language processing riza batista-navarro--Sentiment analysis riza batista-navarro--Social media analytics riza batista-navarro--Knowledge graphs Information extraction Information extraction riza batista-navarro--Information extraction Named entity recognition Named entity recognition riza batista-navarro--Named entity recognition UIMA UIMA riza batista-navarro--UIMA sean bechhofer Sean Bechhofer sean bechhofer--Linked data sean bechhofer--Open data sean bechhofer--Processing (programming language) Web ontology language Web ontology language sean bechhofer--Web ontology language Music Music sean bechhofer--Music anirbit mukherjee Anirbit Mukherjee anirbit mukherjee--Deep learning Neural networks Neural networks anirbit mukherjee--Neural networks Mathematics of AI Mathematics of AI anirbit mukherjee--Mathematics of AI Differential equations Differential equations anirbit mukherjee--Differential equations gavin brown Gavin Brown gavin brown--Machine learning jim garside Jim Garside jim garside--Hardware acceleration jim garside--Low power computing jim garside--Microcontrollers jim garside--Arduino Computer architecture Computer architecture jim garside--Computer architecture Embedded systems Embedded systems jim garside--Embedded systems FPGAs FPGAs jim garside--FPGAs Hardware/software codesign Hardware/software codesign jim garside--Hardware/software codesign Operating systems Operating systems jim garside--Operating systems Raspberry PI Raspberry PI jim garside--Raspberry PI SpiNNaker SpiNNaker jim garside--SpiNNaker Systems software Systems software jim garside--Systems software Assembly language Assembly language jim garside--Assembly language andrea schalk Andrea Schalk andrea schalk--Modelling biological systems andrea schalk--Logic andrea schalk--Mathematics andrea schalk--Model of computation Cellular automaton Cellular automaton andrea schalk--Cellular automaton Blended learning Blended learning andrea schalk--Blended learning Denotational semantics Denotational semantics andrea schalk--Denotational semantics lucas cordeiro Lucas Cordeiro lucas cordeiro--Robotics Program analysis Program analysis lucas cordeiro--Program analysis Program synthesis Program synthesis lucas cordeiro--Program synthesis Blockchain Blockchain lucas cordeiro--Blockchain Unmanned aerial vehicles Unmanned aerial vehicles lucas cordeiro--Unmanned aerial vehicles Software development security Software development security lucas cordeiro--Software development security Satisfiability modulo theories Satisfiability modulo theories lucas cordeiro--Satisfiability modulo theories joe razavi Joe Razavi joe razavi--Compiler joe razavi--Programming models joe razavi--Verification joe razavi--Formal methods joe razavi--Symbolic AI joe razavi--Logic joe razavi--Mathematics joe razavi--Algebra joe razavi--Symbolic computation joe razavi--Natural language joe razavi--Mathematical modelling joe razavi--Formal language joe razavi--Language of mathematics joe razavi--Mathematical logic joe razavi--Model of computation joe razavi--Pure mathematics joe razavi--Cellular automaton joe razavi--Program analysis joe razavi--Program synthesis rigina skeva Rigina Skeva rigina skeva--Virtual reality rigina skeva--Human behaviour rigina skeva--Mixed reality rigina skeva--Interactivity Technological applications in healthcare Technological applications in healthcare rigina skeva--Technological applications in healthcare Technological applications in pedagogy Technological applications in pedagogy rigina skeva--Technological applications in pedagogy angelo cangelosi Angelo Cangelosi angelo cangelosi--Robot programming angelo cangelosi--Machine learning angelo cangelosi--Artificial intelligence angelo cangelosi--Natural language processing angelo cangelosi--Deep learning Cognitive robotics Cognitive robotics angelo cangelosi--Cognitive robotics Cognitive modelling Cognitive modelling angelo cangelosi--Cognitive modelling Human-Robot Interaction Human-Robot Interaction angelo cangelosi--Human-Robot Interaction Language grounding Language grounding angelo cangelosi--Language grounding Developmental robotics Developmental robotics angelo cangelosi--Developmental robotics Social robots Social robots angelo cangelosi--Social robots Technologies for social and health care (robot companions) Technologies for social and health care (robot companions) angelo cangelosi--Technologies for social and health care (robot companions) Trust and technology Trust and technology angelo cangelosi--Trust and technology Robot tutors Robot tutors angelo cangelosi--Robot tutors Deep neural networks (Tensorflow, Caffe2) Deep neural networks (Tensorflow, Caffe2) angelo cangelosi--Deep neural networks (Tensorflow, Caffe2) Machine learning algorithms Machine learning algorithms angelo cangelosi--Machine learning algorithms iCub, Pepper, Sawyer robots iCub, Pepper, Sawyer robots angelo cangelosi--iCub, Pepper, Sawyer robots nhung nguyen Nhung Nguyen nhung nguyen--Natural language processing Biomedical text mining Biomedical text mining nhung nguyen--Biomedical text mining Few-shot learning Few-shot learning nhung nguyen--Few-shot learning Knowledge base construction Knowledge base construction nhung nguyen--Knowledge base construction bernardo magri Bernardo Magri bernardo magri--Cryptography bernardo magri--Blockchain Cryptocurrencies Cryptocurrencies bernardo magri--Cryptocurrencies Consensus Consensus bernardo magri--Consensus Subversion of cryptographic primitives Subversion of cryptographic primitives bernardo magri--Subversion of cryptographic primitives Public-key cryptography Public-key cryptography bernardo magri--Public-key cryptography konstantin korovin Konstantin Korovin konstantin korovin--Machine learning konstantin korovin--Artificial intelligence konstantin korovin--Verification konstantin korovin--Formal methods konstantin korovin--Automated reasoning konstantin korovin--Symbolic AI konstantin korovin--Logic konstantin korovin--Mathematics konstantin korovin--Symbolic computation Optimisation Optimisation konstantin korovin--Optimisation Theorem proving Theorem proving konstantin korovin--Theorem proving DNA computing DNA computing konstantin korovin--DNA computing SAT/SMT/theorem provers SAT/SMT/theorem provers konstantin korovin--SAT/SMT/theorem provers iProver iProver konstantin korovin--iProver OCaml OCaml konstantin korovin--OCaml pierre olivier Pierre Olivier pierre olivier--Java pierre olivier--Python pierre olivier--Operating systems pierre olivier--Systems software Virtualization Virtualization pierre olivier--Virtualization Systems security Systems security pierre olivier--Systems security Flash/NVM storage Flash/NVM storage pierre olivier--Flash/NVM storage Performance evaluation Performance evaluation pierre olivier--Performance evaluation C C pierre olivier--C C++ C++ pierre olivier--C++ liping zhao Liping Zhao Machine learning for requirements engineering Machine learning for requirements engineering liping zhao--Machine learning for requirements engineering NLP for requirements engineering (NLP4RE) NLP for requirements engineering (NLP4RE) liping zhao--NLP for requirements engineering (NLP4RE) App review analysis with deep learning App review analysis with deep learning liping zhao--App review analysis with deep learning NLP for conceptual modelling NLP for conceptual modelling liping zhao--NLP for conceptual modelling Semantic role labelling Semantic role labelling liping zhao--Semantic role labelling sandra sampaio Sandra Sampaio sandra sampaio--Parallel and distributed computing sandra sampaio--Python (programming language) Mashup (web application hybrid) Mashup (web application hybrid) sandra sampaio--Mashup (web application hybrid) Data integration Data integration sandra sampaio--Data integration Data wrangling Data wrangling sandra sampaio--Data wrangling Data profiling Data profiling sandra sampaio--Data profiling Database Database sandra sampaio--Database Data quality Data quality sandra sampaio--Data quality R (programming language) R (programming language) sandra sampaio--R (programming language) Web services related technologies Web services related technologies sandra sampaio--Web services related technologies Java (programming language) Java (programming language) sandra sampaio--Java (programming language) ahmed saeed Ahmed Saeed ahmed saeed--Microcontrollers ahmed saeed--Embedded Systems FPGAs/Reconfigurable Systems FPGAs/Reconfigurable Systems ahmed saeed--FPGAs/Reconfigurable Systems Internet of Things(IoT) Internet of Things(IoT) ahmed saeed--Internet of Things(IoT) LLVM LLVM ahmed saeed--LLVM Compile Time Code Instrumentation Compile Time Code Instrumentation ahmed saeed--Compile Time Code Instrumentation Computer Architecture Computer Architecture ahmed saeed--Computer Architecture Network Traffic Monitoring and Analyses Network Traffic Monitoring and Analyses ahmed saeed--Network Traffic Monitoring and Analyses oliver rhodes Oliver Rhodes oliver rhodes--SpiNNaker Neuromorphic computing Neuromorphic computing oliver rhodes--Neuromorphic computing Neural Networks Neural Networks oliver rhodes--Neural Networks Computational Neurorobotics Computational Neurorobotics oliver rhodes--Computational Neurorobotics