جست‌وجوی استاد و پژوهشگر

• Integrated Circuit Design
• Biomedical Microsystems
• Low-Power Sensor Interfaces
• +۳ مورد دیگر

Dr. Jiamin Li is an Associate Professor at the School of Microelectronics, Southern University of Science and Technology (SUSTech), Shenzhen, China. She holds a Ph.D. and B.Eng. in Electrical and Computer Engineering from the National University of Singapore (NUS). Her research focuses on biomedical integrated circuits, energy harvesting, and wireless body-area networks. Education: Ph.D. and B.Eng. in Electrical and Computer Engineering from NUS Employment: Associate Professor (2024–Present), Assistant Professor (2022–2024) at SUSTech; Research Fellow at NUS Dr. Li's research addresses wireless body area powering , low-power biosignal interfaces , and intelligent biosignal processors . Her work leverages microsystem design for applications in biomedical engineering , particularly in energy-autonomous medical devices and human body-coupled communication . Her recent publications highlight advancements in concurrent power/data transmission , subharmonic pulse injection , and triboelectric energy harvesting for biomedical systems. Key venues include IEEE JSSC , Nature Electronics , and conferences like ISSCC and BioCAS. Awards: IEEE SSCS Predoctoral Achievement Award, ISSCC Best Demo Award, ASSCC SDC Best Design Award Committees: IEEE SSCS Women-in-Circuit (WiC) Committee, ISSCC Student Research Preview Committee Opportunities: Positions available for Ph.D., Master's, Postdoctoral Fellows, and Visiting Scholars

Pasquale Bottalicoمشاهده پروفایل

دانشیار

• Vocal Load
• Professional Voice Techniques
• Singer Techniques
• +۳ مورد دیگر

Pasquale Bottalico serves as Associate Professor in the Department of Speech and Hearing Science at the University of Illinois, with dual appointments as Associate Professor at the Center for Latin American and Caribbean Studies and Affiliate Faculty in the School of Music. His unique interdisciplinary profile bridges engineering, music performance, and speech science, reflecting his dual academic training and professional artistry. His educational foundation includes: Bachelor's in Telecommunications Engineering from Univeristà Mediterranea di Reggio Calabria, Italy Concurrent Opera Singing degree from F. Cilea Music Academy, Reggio Calabria Master's in Telecommunications Engineering from Politecnico di Torino, Italy Ph.D. in Metrology specializing in acoustics measurement uncertainty and classroom acoustics Dr. Bottalico's research centers on vocal load quantification and professional voice techniques , with significant contributions to understanding vocal fatigue in teachers and singers. His work spans Speech Intelligibility in educational environments, Room Acoustics for performance and learning spaces, and Musical Acoustics of historical vocal styles. A distinctive thread throughout his research examines how acoustic conditions modulate voice production and perception, increasingly incorporating virtual reality and bone conduction technologies for innovative assessment and intervention approaches. His Colombian vocal health study demonstrates cross-cultural applications of his work. Analysis of his 2023-2025 publications reveals three dominant research trajectories: (1) The impact of noise and dysphonia on children's speech processing in educational settings, using multimodal assessment including EEG; (2) Virtual reality applications for voice production research and therapeutic intervention; (3) Cross-cultural validation of vocal fatigue metrics and development of biofeedback systems. His work consistently bridges engineering precision with clinical applicability, particularly for professional voice users in challenging acoustic environments. No scientific awards were documented in the available information. While specific advising relationships aren't detailed, his research collaborations span international institutions including Colombian and Italian universities, suggesting graduate mentorship in interdisciplinary projects. No grant information was provided, though his systematic reviews and cross-cultural studies imply externally funded research activities. Though no dedicated laboratory is specified, his virtual reality voice studies and acoustic parameter assessments suggest affiliations with audio engineering facilities and voice clinics, likely through the Speech and Hearing Science department's research infrastructure.

Zhuoyue Zhaoمشاهده پروفایل

استادیار

• Database systems
• Security
• Query processing
• +۶ مورد دیگر

Zhuoyue Zhao is an Assistant Professor in the Department of Computer Science and Engineering at the University at Buffalo, School of Engineering and Applied Sciences. His office is located at 338I Davis Hall, Buffalo, NY 14260, and he can be reached at zzhao35@buffalo.edu or by phone at (716) 645-4735. Dr. Zhao received his PhD in Computer Science from the University of Utah in 2021, where he was advised by Prof. Feifei Li and Prof. Jeff Phillips. Prior to that, he earned his BS in Computer Science from Shanghai Jiao Tong University in 2016, where he was part of the prestigious ACM Class. During his undergraduate studies, he conducted research under Prof. Kenny Zhu and spent Fall 2015 as a research assistant at Hong Kong Polytechnic University supervised by Prof. Eric Lo. Dr. Zhao's research focuses on database management systems, with specific emphasis on traditional and approximate query processing, query optimization, database systems on modern hardware, transaction processing, indexing, and storage. His work bridges theoretical foundations with practical implementations, often resulting in systems that address real-world database challenges. He has made significant contributions to probabilistic query processing, transaction scheduling, and learned indexing techniques. His recent publications demonstrate a clear trajectory toward optimizing database performance in hybrid transactional/analytical processing environments. His research increasingly integrates systems techniques with machine learning approaches, particularly in the area of learned indexes. There's also a strong focus on making database operations more efficient through innovative scheduling mechanisms and query processing techniques that can handle concurrent updates. Google PhD Fellowship (2019-2021) Best Paper Award at SIGMOD 2016 for "Wander Join: Online Aggregation via Random Walks" Best Paper Award at SIGMOD 2025 for "Low-Latency Transaction Scheduling via Userspace Interrupts" Dr. Zhao currently advises several PhD students including Yunnan Yu, Congying Wang, Gaoxiang Liu (co-advised with Prof. Ziming Zhao), and Zhuoran Li. He has successfully guided MS student Nithin Sastry Tellapuri to graduation (Fall 2023), who is now employed at AirPay. His research is supported by significant funding including an NSF CAREER award (#2339596) totaling $599,977 for research on "Speedy and Reliable Approximate Queries in Hybrid Transactional/Analytical Systems" (2024-2029) and an unrestricted Google gift of $30,000 (2021). Dr. Zhao leads the ADBLab research group at UB, where students work on cutting-edge database systems research. His lab focuses on building practical database systems that address real-world challenges in query processing, transaction management, and indexing. The lab maintains strong connections with industry partners and regularly contributes to open-source database projects.

Yao Qinمشاهده پروفایل

استادیار

• Machine Learning
• Adversarial Robustness
• Out-of-Distribution Generalization
• +۵ مورد دیگر

Yao Qin is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of California, Santa Barbara (UCSB), with dual affiliation in the Department of Computer Science. She concurrently serves as Co-Director of the REAL AI Initiative at UCSB and holds a Senior Research Scientist position at Google DeepMind, where she contributes to the Gemini Multimodal project. Her academic credentials include a PhD in Computer Science and Engineering from the University of California, San Diego (advised by Prof. Garrison W. Cottrell) and a BS in Electrical Engineering from Dalian University of Technology. During her doctoral studies, she completed internships with pioneering researchers Geoffrey Hinton and Ian Goodfellow. Dr. Qin's research program centers on machine learning robustness, with emphasis on adversarial robustness, out-of-distribution generalization, and fairness. She develops reliable AI systems specifically for healthcare applications, with diabetes management as a primary focus. Her lab explores critical themes including AI safety in multimodal models and diabetes-specific AI solutions, particularly exercise metabolism modeling and glycemic effect prediction. Recent publications reveal a strong trajectory in robust machine learning with cross-domain applications. Her work consistently bridges theoretical robustness concepts with practical healthcare implementations, particularly in diabetes care. Key publication venues include CVPR, ICML, NeurIPS, and ICLR, with notable contributions to out-of-distribution detection, adversarial transfer learning, and multimodal AI safety. Her distinguished recognition includes: EECS Rising Star at MIT (2021) UCSB Regents' Junior Faculty Fellowship Award Helmsley Charitable Trust award for Type 1 diabetes research UCSB Faculty Research Grant American Diabetes Association Abstract Award (ADA-2025) Dr. Qin actively mentors four PhD students—Mehak Dhaliwal, Andong Hua, Kenan Tang, and Youngseok Yoon—on projects spanning LLMs for diabetes, multimodal robustness, and generative time-series modeling. Her research is funded by the Helmsley Charitable Trust and UCSB, with recent grants supporting exercise-specific AID algorithms for diabetes management. As Co-Director of the REAL AI Initiative, she leads a research ecosystem focused on developing reliable artificial intelligence. Current lab activities include organizing workshops at NeurIPS-2024 (AdvML-Frontiers and AIM-FM) and developing next-generation diabetes management tools through collaborations with medical institutions.

• Storage Systems
• Persistent Memory
• Key-Value Stores
• +۴ مورد دیگر

Oana Balmau is an Assistant Professor in the School of Computer Science at McGill University, where she leads the Data-Intensive Storage and Computer Systems Laboratory (DISCS Lab). She also holds a status-only appointment at the University of Toronto and serves as a working group chair for MLPerf Storage. Her research focuses on creating storage infrastructure that enables fast and energy-conscious insights from data, with particular emphasis on storage and persistent memory technologies for machine learning, data science, and edge computing workloads. Dr. Balmau's research interests span computer systems, with specific focus on: Design and implementation of efficient key-value stores Storage systems for machine learning workloads Edge computing infrastructure Persistent memory technologies Performance optimization of data-intensive systems Her recent work has led to significant contributions in storage benchmarking through the MLPerf Storage benchmark and in edge computing frameworks. The MLPerf Storage benchmark has become an industry standard for evaluating storage performance in machine learning environments, while her work on hierarchical edge computing addresses security and performance challenges in distributed edge environments. Her publications show consistent high-impact contributions to top systems venues, with recent work focusing on processing-in-memory virtualization, stream processing reconfiguration, and efficient data preprocessing pipelines. Dr. Balmau has received numerous awards for her research, including: SEC 2024 Best Paper Award for "Falcon: Live Reconfiguration for Stateful Stream Processing on the Edge" MLCommons Hero Award 2023 for leadership as MLPerf Storage working group chair ACM SIGOPS Dennis M. Ritchie Doctoral Dissertation Award 2021 Honorable Mention CORE John Makepeace Bennett Award 2021 for the best Computer Science doctoral dissertation in Australia and New Zealand USENIX ATC 2019 Best Paper Award for "SILK: Preventing Latency Spikes in Log-Structured Merge Key-Value Stores" As an educator, Dr. Balmau teaches courses on advanced computer systems, operating systems, and principles of computer systems design at McGill University. She has served on program committees for top systems conferences including SOSP, SIGMOD, FAST, and EuroSys, and has co-organized workshops on resource-efficient machine learning and edge computing. She leads the DISCS Lab, which focuses on two main research directions: Systems for ML (including the MLPerf Storage benchmark) and Edge computing (including frameworks for fast and secure edge computing in hierarchical edge environments).

Marta Zofia Kwiatkowskaمشاهده پروفایل

استاد

• Automated verification
• Probabilistic model checking
• Temporal logics
• +۳ مورد دیگر

Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.

Joseph Sifakisمشاهده پروفایل

پژوهشگر

• Model Checking
• Concurrent Systems Specification and Verification
• Component-Based Design
• +۳ مورد دیگر

Joseph Sifakis is a CNRS Research Director and founder of Verimag Laboratory in Grenoble, France. He holds the INRIA-Schneider endowed industrial chair since 2008 and has been instrumental in advancing concurrent systems specification and verification. Education: Electrical Engineering (Technical University of Athens), Computer Science (University of Grenoble) Research interests focus on component-based design , real-time systems , and correct-by-construction techniques . He pioneered the development of the BIP framework and contributed to model checking, a cornerstone of industrial system verification. Recent publications emphasize component-based modeling, formal verification, and distributed system design, reflecting his work's impact on embedded systems and critical applications like aerospace and telecommunications. Scientific awards include: Turing Award (2007) CNRS Silver Medal (2001) Test-of-Time Award (2012) Multiple honorary doctorates (2008-2011) Member of prestigious academies Industry collaborations span Airbus, ST Microelectronics, and the European Space Agency, with applications in aeronautics, telecommunications, and industrial software standards. He leads the ARTIST2 Network of Excellence and directs the CARNOT Institute 'Intelligent Software and Systems'.

David Basinمشاهده پروفایل

استاد

• Information Security
• Formal Methods
• Cryptography
• +۳ مورد دیگر

David Basin is a Full Professor at the Department of Computer Science, ETH Zurich, and heads the Information Security Group. He has held academic positions since 2003, including roles at the University of Freiburg (1997–2002) and the Max-Planck-Institut für Informatik (1992–1997). His research focuses on Information Security, including methods and tools for secure systems, formal verification, and cryptographic protocols. He is Editor-in-Chief of the ACM Transactions on Privacy and Security and Springer's Information Security and Cryptography book series. Basin founded the Zurich Information Security Center (ZISC) in 2003 and led it until 2011. Education: B.Sc. in Mathematics (Reed College, 1984), Ph.D. (Cornell University, 1989), and Habilitation (University of Saarbrücken, 1996). Research interests span formal methods for security protocol verification, privacy-preserving systems, and cryptographic implementations. He has contributed to foundational work on security protocols, including the Tamarin verification framework. His work addresses real-world systems like payment protocols (EMV), DNS security, and database isolation guarantees. Awards: ACM Fellow (2018) for contributions to Information Security and Formal Methods, IEEE Fellow. He has organized numerous conferences, including IEEE S&P, Euro S&P, and ACM CCS. Labs/Teams: Leads the Information Security Group at ETH Zurich and co-founded Anapaya Systems, a startup focused on network security solutions. His team develops tools like VeriMon (formally verified monitoring) and Tamarin for protocol analysis.

• Machine Learning
• Computer Vision
• Medical Image Analysis
• +۷ مورد دیگر

Professor Arcot Sowmya is a distinguished academic at the University of New South Wales, serving as Professor in the School of Computer Science and Engineering. With a strong background in both computer science and mathematics, she has established herself as a leading researcher in machine learning and computer vision applications, particularly in medical imaging and diagnostics. Dr. Sowmya earned her PhD in Computer Science from the Indian Institute of Technology, Bombay, along with an MTech in Computer Science, MSc in Mathematics, and BSc in Mathematics from the same institution. Her academic journey has positioned her at the intersection of theoretical computer science and practical medical applications. Her research interests span multiple domains with a primary focus on Machine Learning for Computer Vision . She has made significant contributions to learning object models, feature extraction, segmentation, and recognition techniques. Her work extends into medical image analysis, computer-aided diagnostics, high-resolution remote sensing, and biomedical informatics. More recently, she has applied similar techniques to social sciences domains, developing improved forecasting models for genocide and politicide. Her earlier work also includes contributions to real-time, concurrent, and embedded systems. Analyzing her recent publications reveals a strong trend toward medical applications of computer vision and deep learning. Her work spans from OCT-based glaucoma diagnosis to tumor segmentation, lung disease detection, and breast cancer prognosis. She has successfully bridged computer science with clinical medicine, developing practical tools for disease diagnosis and prediction that incorporate explainable AI approaches. Professor Sowmya's collaborative approach is evident in her extensive publication record across multiple journals and conferences. She has worked with researchers from diverse fields including ophthalmology, oncology, neurology, and public health, demonstrating the interdisciplinary nature of her research. Her laboratory work focuses on developing robust deep learning architectures for medical image analysis, with particular attention to segmentation networks, transformer models, and multimodal data fusion techniques. Her team has developed specialized networks for lung segmentation, tumor detection, and disease classification that address specific challenges in medical imaging.

Lin Zhongمشاهده پروفایل

استاد

• Computer Science
• Quantum Computing
• Operating Systems
• +۳ مورد دیگر

Lin Zhong is the Joseph C. Tsai Professor of Computer Science at Yale University, leading the Efficient Computing Lab. He holds a Ph.D. from Princeton University and M.S./B.S. degrees from Tsinghua University. Previously, he served at Rice University from 2005 to 2019. His research focuses on optimizing computing efficiency, quantum error correction, operating systems, and mobile systems. Education: Ph.D., Princeton University M.S., Tsinghua University B.S., Tsinghua University Research Interests: His work spans quantum computing (e.g., decoding algorithms for surface codes), operating systems (safety, correctness, and lightweight kernels), and mobile/networking systems (massive MIMO, energy-efficient designs). Recent trends include integrating large language models (LLMs) into robotics and securing cloud-based AI workflows. Awards: NSF CAREER Award ACM SIGMOBILE RockStar (2014) and Test of Time (2022) Fellowships from IEEE and ACM Best Paper Awards at ACM MobileHCI, IEEE PerCom, ACM MobiSys, and more Lab & Teams: His Efficient Computing Lab explores systems for quantum error correction (e.g., FPGA-based decoders), secure embedded systems, and LLM-driven robotics. Projects include TimelyLLM (real-time LLM serving) and Blindfold (confidential memory management).

David Thomasمشاهده پروفایل

استاد

• Event-driven Computing
• FPGAs
• Digital Architectures
• +۳ مورد دیگر

Professor David Thomas holds the position of Professor in Computer Engineering at the University of Southampton's Electronics and Computer Science Department. His research focuses on the intersection of software and hardware, particularly leveraging FPGAs for novel digital architectures and event-driven computing. He has a notable academic trajectory, having previously served as a Lecturer and Senior Lecturer at Imperial College London before joining Southampton in 2021. Dr. Thomas is actively involved in supervising PhD students and contributes to interdisciplinary research projects funded by the EPSRC, such as the SONNETS initiative exploring scalable event-triggered systems. Education: BSc in Computer Science (Imperial College London), PhD in Digital Architectures (Imperial College London). Postdoctoral roles included Research Associate and Research Fellow at Imperial's Department of Computing. Research Interests: Event-driven computing, FPGA-based systems, high-level synthesis, and high-performance computing. His work emphasizes practical implementations of theoretical models, such as custom processors and application-specific accelerators. Current projects include optimizing random number generation for FPGAs and exploring meta-programming techniques for hardware design. Advising and Grants: Supervises multiple PhD students in areas like neuromorphic computing and algorithm optimization. Active in securing funding for distributed system architectures and FPGA-based solutions. Labs/Teams: Member of the Cyber Physical Systems research group. Collaborates with interdisciplinary teams on projects like POETS (Partially Ordered Event-Triggered Systems) for large-scale parallel computing.

Joanna Deaton Bertramمشاهده پروفایل

استادیار

• Medical Robotics
• Continuum Robotics
• Surgical Robotics
• +۴ مورد دیگر

Dr. Joanna Deaton Bertram is an Assistant Professor in the Thomas Lord Department of Mechanical Engineering and Materials Science at Duke University’s Pratt School of Engineering. She concurrently holds an Assistant Professor appointment in Surgery, underscoring her interdisciplinary commitment to advancing medical robotics. Dr. Bertram leads a research laboratory devoted to the design, modeling, and control of robotic systems for surgical and interventional applications, working closely with Duke’s clinical and engineering communities. Education Ph.D. in Robotics, Georgia Institute of Technology, 2024 M.S. in Mechanical Engineering, Georgia Institute of Technology, 2024 B.S. in Biomedical Engineering, Georgia Institute of Technology, 2018 Research Interests Dr. Bertram’s research program is centered on medical robotics , with particular emphasis on continuum robotics and image-guided interventions . Her work integrates novel mechanical design with advanced control algorithms and smart materials to create robotic systems capable of navigating complex anatomical pathways. A hallmark of her approach is the incorporation of real-time fiber-optic shape and force sensing (using Fiber Bragg Grating technology) to provide surgeons with unprecedented feedback during procedures. Application domains include steerable needles for brachytherapy , robotic guidewires for endovascular surgery , and pediatric neuroendoscopy . Publication Themes Across more than fifteen peer-reviewed articles, Dr. Bertram has systematically advanced the state of the art in surgical robotics , fiber-optic sensing , and robotic system modeling . Her 2024 tutorial on Nitinol and Tungsten tendon attachment techniques provides practical guidance for building highly articulated continuum robots, while her 2023 series on the COAST guidewire robot demonstrates model-based design and simultaneous shape/force sensing for large-deflection medical devices. Earlier work explored 3D-printed patient-specific robotic tools and carbon-nanotube flexible sensors, illustrating a trajectory from fundamental sensor research to full robotic system integration. Scientific Recognition & Collaboration Although no major external awards are explicitly listed, Dr. Bertram’s publications in top-tier venues such as IEEE Robotics and Automation Letters , IEEE Transactions on Medical Robotics and Bionics , and IEEE/ASME Transactions on Mechatronics attest to strong peer recognition. She actively invites motivated graduate students, post-docs, and research staff to join her lab, fostering an open and interdisciplinary environment. Advising & Grants Dr. Bertram’s lab is presently recruiting trainees at all levels. While specific funded grants are not enumerated, her dual departmental appointments and extensive publication record suggest active federal or foundation support. Prospective students and collaborators are encouraged to contact her directly at joanna.d.bertram@duke.edu . Laboratory & Teams Dr. Bertram directs a laboratory within Duke University’s Pratt School of Engineering that collaborates closely with clinicians in the School of Medicine. The group focuses on rapid prototyping of medical devices, in-vitro and ex-vivo validation, and translation of robotic technologies to the operating room.

Michael Stevensمشاهده پروفایل

مدرس ارشد

• Biomedical Engineering
• Advanced Manufacturing
• Digital Manufacturing
• +۶ مورد دیگر

Dr. Michael Stevens is a Senior Lecturer at University of New South Wales (UNSW) Canberra , where he focuses on advanced manufacturing and biomedical device control systems . His work bridges digital manufacturing for SMEs with smart artificial heart technologies , emphasizing industry collaboration and translational research. Specializes in physiological control systems for rotary blood pumps Develops unobtrusive fall detection systems for dementia patients Leads international projects on total artificial heart development Education : B.Eng (Medical - First Class Honours), Queensland University of Technology (2010) PhD in Physiological Control for Biventricular Assist Devices, University of Queensland (2014) Research Trends show consistent focus on: Machine learning for biomedical diagnostics (2018–2025) mmWave radar and thermal sensors in patient monitoring (2021–2024) Computational fluid dynamics in artificial heart modeling (2016–2024) Physiological control algorithms for rotary blood pumps (2011–2025) Scientific Awards : UNSW Scientia Education Award (2021) for contextual teaching Heart Foundation Runner-up for "Smart Artificial Hearts" pitch (2021) ARC PGC Supervisor Award (2017) for mentoring Grants & Supervision : Holds over $6 million in competitive funding including MRFF and ARC grants. Currently supervises 4 PhD students while maintaining industry partnerships with VitalCare and BiVACOR. Labs & Facilities : Works across UNSW Engineering labs and Graduate School of Biomedical Engineering platforms, including mock circulation loops and high-performance computing clusters for CFD simulations.

José Luiz Fiadeiroمشاهده پروفایل

استاد

• Formal Methods
• Software Engineering
• Global Computing
• +۲ مورد دیگر

José Luiz Fiadeiro is a Professor at Royal Holloway, University of London , affiliated with the Centre for Distributed and Global Computing. He previously held positions at the University of Leicester (including Head of Department), University of Lisbon, and Technical University of Lisbon. He has conducted visiting research at Imperial College London, King’s College London, PUC-Rio, University of Pisa, SRI International, UPC Barcelona, and NASA Ames. Research Interests: Formal aspects of software system modeling and analysis in global ubiquitous computing, with emphasis on distributed systems, formal verification methods, and service-oriented architectures. His work integrates theoretical computer science with practical software engineering challenges. Editorial & Leadership: Associate Editor: SN Computer Science Board Member: Information Processing Letters, EPTCS Steering Committee: CALCO (co-founder), ETAPS, FASE, WADT, WS-FM Scientific Board: INESC-TEC (Portugal) Awards & Honors: Elected Member, Academia Europaea Fellow, British Computer Society Grants & Projects: Leverhulme Trust Visiting Professorship (2018) Semantic Completions: Unifying Wave/Particle Information Views (AFOSR, 2016) Modeling and Analysis of Dynamic Interaction Networks (Royal Society, 2013–2015) Verification of Service-Oriented Systems (EPSRC, 2012) Professional Service: Extensive panel membership for research assessment in Portugal, Romania, Belgium (AEQES), France (AERES), and Lithuania (SKVC).

Vivy Suhendraمشاهده پروفایل

دانشیار

• Software Assurance
• Security and Privacy
• Cybersecurity
• +۱ مورد دیگر

Vivy Suhendra serves as Associate Professor of Practice and Programme Director for Master Programmes at the National University of Singapore's School of Computing, while also holding the position of Assistant Dean for Graduate Studies. Previously, she led the Singapore Cybersecurity Consortium (SGCSC) as Executive Director from 2016 to 2022, driving collaborative cybersecurity research between academia, industry, and government agencies. Her career at NUS spans over two decades, beginning as a Research Assistant before advancing to her current leadership roles. Her academic credentials include: Ph.D. in Computer Science, National University of Singapore (2009). Thesis: "Memory Optimizations for Time-predictable Embedded Software". Advisors: Abhik Roychoudhury and Tulika Mitra. B.Comp. (Honors) in Computer Science, National University of Singapore (2004). Dr. Suhendra's research integrates Software Assurance, Cybersecurity, Security and Privacy, and Embedded Systems domains. Her work bridges theoretical foundations with practical applications, particularly in national cybersecurity ecosystem development, smart grid security protocols, denial-of-service mitigation techniques, and real-time embedded system optimization. This interdisciplinary approach enables innovative solutions for critical infrastructure protection and time-predictable software execution in multi-core environments. Her 14 selected publications (2004-2020) demonstrate an evolving research trajectory from foundational embedded systems timing analysis to applied cybersecurity solutions. Early work focused on memory optimization for predictable execution in multi-core embedded systems, which naturally transitioned into cybersecurity applications for smart grids, cloud environments, and national infrastructure. This progression highlights her ability to translate low-level system expertise into high-impact security frameworks for complex real-world systems. Scientific recognition includes: Microsoft Research Asia Fellowship (2006) Valedictorian at NUS School of Computing Ph.D. Commencement (2010) While specific graduate student advising details aren't provided, her leadership as SGCSC Executive Director involved extensive mentorship across academic-industry partnerships. She has also contributed significantly to the research community through roles including Conference Chair for ESEC/FSE 2022 and Workshops Committee Member for ICSE 2024. Dr. Suhendra established the Singapore Cybersecurity Consortium as a national platform for collaborative R&D during her directorship (2016-2022). Though no personal laboratory is specified, her research leadership manifests through cross-institutional teams focused on cybersecurity innovation, particularly in critical infrastructure protection and embedded systems security where she maintains active publication records.