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

Mark P Jonesمشاهده پروفایل

استاد

• Programming Language Design
• Programming Language Implementation
• Low-Level Systems Programming
• +۶ مورد دیگر

Mark P Jones is a Professor and Chair of the Maseeh College of Engineering & Computer Science at Portland State University . He holds a B.A. (Hons, first-class) in Mathematics and an M.Sc. and D.Phil. in Computation from the University of Oxford. His research spans programming language design, implementation, and application, with a focus on advanced language technologies for low-level systems programming and expressive type systems for secure, reliable software. He is best known for designing the Hugs interpreter and Gofer systems, which have been foundational in functional programming education. His work includes the NSF-funded CEMLaBS project (Award CNS-1422979) exploring language-based security via microkernels like seL4 and pork. Selected Courses: CS 410/510 Languages and Low-Level Programming CS 320 Principles of Programming Languages CS 457/557 Functional Programming Scientific Awards: Winner, British Computer Society Competition for Distinguished Dissertations in Computer Science (1993) He maintains the LLP Labs GitHub repository and has contributed to tools like mil-tools for systems programming education.

Faycal Bouhafsمشاهده پروفایل

مدرس ارشد

• Programmable and software defined wireless networks
• Beyond 5G and 6G communication networks
• Security in Internet of Things
• +۴ مورد دیگر

Dr. Faycal Bouhafs is a Senior Lecturer at the School of Systems & Computing , UNSW Canberra . His research focuses on performance and reliability in wireless communication networks, with expertise in programmable networks, 5G/6G architectures, and IoT security. He leads initiatives in radio resource optimization and physical-layer security using software-defined approaches. Research Interests: Dr. Bouhafs investigates: Programmable wireless networks for dynamic resource allocation Beyond 5G/6G infrastructures supporting massive IoT deployments Security frameworks for cyber-physical systems and IoT ecosystems AI-driven optimization of radio access and network management Publication Focus: Recent works (2020-2025) demonstrate strong emphasis on: Software-defined wireless networking (SDWN) for spectrum sharing Physical-layer security via jamming and deep learning 6G resource optimization and IoT scalability Practical implementations using off-the-shelf equipment

Haohan Wangمشاهده پروفایل

استادیار

• Trustworthy Machine Learning
• Computational Biology
• Healthcare Applications
• +۵ مورد دیگر

Haohan Wang is an Assistant Professor at the University of Illinois Urbana-Champaign's School of Information Sciences, with affiliations to the Carl R. Woese Institute for Genomic Biology and the National Center for Supercomputing Applications. His research focuses on developing trustworthy machine learning methods for computational biology and healthcare applications , emphasizing robustness , causality , and interpretability in vision-based models. Recent research trends in his work include: Large Language Model interactions with biomedical challenges (GenoAgent, GenoTex) Adversarial security in language and vision models (Guard, Jailbreakzoo) Genomic data analysis through robust machine learning frameworks (Precision Lasso, Kernel Mixed Models) Interactive toolkits like Robustar for data annotation and model training Scientific awards include recognition as Baidu's Top 50 AI+X Rising Young Scholars (2022), Best Paper Honorable Mention at WSDM 2023, and Broad Institute's Next Generation status (2019). Current projects explore AI-made scientists for biomedical discovery and Robustar development for GUI-based robust vision learning.

• Data Quality
• Software Quality and Measurement
• Business Intelligence
• +۶ مورد دیگر

Manuel A. Serrano is a Professor at the School of Computer Science, University of Castilla-La Mancha, Spain. With over 25 years of professional experience including industry roles as programmer/web designer and secondary school teacher, he has been a full-time researcher in the Alarcos group since 2000. Currently coordinates professional practice programs in Computer Engineering. Education : PhD in Computer Engineering (2004, UCLM, cum laude) Research Interests : Data quality, quantum software engineering, business intelligence, Big Data security, IoT, and AI ethics His research spans two major domains: Quantum Computing : Pioneering quantum software engineering, developing testing methodologies, assertion frameworks, and hybrid system guidelines Cybersecurity : Creating security reference architectures for Big Data and automotive systems, with focus on quantum security integration Recent publications demonstrate these interests through: Quantum algorithm verification techniques Security frameworks for automotive systems Ethical AI methodology development Big Data risk analysis patterns Scientific achievements include: 24 JCR-indexed journal articles Over 50 SCI-category conference papers 3 research six-year periods Best Scientific Article Award at JNIC 2018 Research leadership: Coordinated regional project with University of Alicante Principal investigator for national project QUASIMODO Contributor to 20+ national/regional and 3 international projects (SDGear, DQIoT, Di4SPDS) Industrial collaborations with INDRA on ORIGIN and LPS-BIGGER projects Additional qualifications: Professional Scrum Manager certification Cambridge C1 English certification Spin-off participation in AQCLabs and DQTeam

Ian Owensمشاهده پروفایل

مدرس ارشد

• Cyber Defence
• Information Systems Development
• Digital Business Strategy
• +۷ مورد دیگر

Ian Owens is a Senior Lecturer in Information Systems at Cranfield University's Centre for Defence Engineering and Physical Science within Cranfield Defence and Security. With over 25 years of academic experience, he serves as Course Director for the MSc in Cyber Defence and Information Assurance (CDIA) and manages multiple modules across various MSc programmes at Cranfield. He also acts as an external examiner at Staffordshire University and the University of Bedfordshire. Current Position: Senior Lecturer in Information Systems Institution: Cranfield University Department: Centre for Defence Engineering and Physical Science Previous Academic Appointments: Sheffield University, Oxford University, Edinburgh Napier University, Swansea University External Examiner Roles: Bolton University, Edinburgh Napier University, Staffordshire University, Bedfordshire University Dr. Owens specializes in emerging technologies, information systems development methodologies, digital business strategy, and networking and communications technologies. His research spans strategic management, tactical communications, service-based architecture, cyber defence, and agile project management. He has extensive experience in research and consultancy, including writing successful bids for funding, representing UK interests on NATO research task groups, and working with diverse stakeholders including NATO, IBM, DSTL, QinetiQ, and UK MOD. His recent publications demonstrate a strong focus on tactical communications, cyber security, and military applications of networking technologies, with particular emphasis on software-defined networks, wireless aware networks, and the military application of the Internet of Things. The publications show a progression from earlier work on e-government and e-commerce to current defense-focused research. Fellow of the Higher Education Academy Dr. Owens currently leads a MOD-funded research project under the CSIIIS framework investigating wireless aware networks and serves as the UK member of the NATO Science and Technology Organisation Technical Team for IST-147 on the Military Application of the Internet of Things. He is actively recruiting doctoral research students in the area of software defined networks and continues to direct the leading MOD educational course in Cyber Defence (CDIA).

• Computer Science
• Robotics
• Emergency Response Technology
• +۵ مورد دیگر

Dr. Alexander Ferworn is an Adjunct Professor in the Faculty of Computing and Software at McMaster University, specializing in computer science applications for public safety and emergency response systems. His work bridges robotics, human-computer interaction, and blockchain technology to address challenges in urban search and rescue, disaster relief, and medical data processing. His research focuses on integrating drones, haptic navigation systems, and virtual reality simulators to enhance emergency responder capabilities. Key contributions include frameworks for IED neutralization training ( Universal Simulation Platform ), blockchain-based aid delivery systems, and haptic feedback mechanisms for hazardous environments. He has extensively collaborated on projects involving canine-assisted technology and 3D disaster scene reconstruction. Dr. Ferworn’s scholarly activity spans 25 years with 126 publications in venues like IEEE International Conference on Safety, Security, and Rescue Robotics, IEEE GEM Conference, and Simulation & Gaming . His work has been referenced in patents and adopted by institutions like the Health Information Systems Research Centre . While specific teaching details remain unmentioned, his research portfolio demonstrates sustained engagement with disaster response systems since 1999.

• Experimental Mathematics
• Artificial Intelligence
• Legal aspects of technology
• +۴ مورد دیگر

Michael Ian Shamos is a Distinguished Career Professor at Carnegie Mellon University's School of Computer Science, with appointments in the Language Technologies Institute and Software and Societal Systems Department. His career spans academia, law, and technology entrepreneurship, with expertise in experimental mathematics, artificial intelligence, and legal aspects of technology. Dr. Shamos earned his educational credentials through an impressive multidisciplinary path: A.B. in Physics from Princeton University (1968) under John Wheeler M.A. in Physics from Vassar College (1970) M.S. in Technology of Management from American University (1972) M.S. and M.Phil. in Computer Science from Yale University (1973-1974) Ph.D. in Computer Science from Yale University (1978) J.D. from Duquesne University (1981) His research interests bridge multiple domains with exceptional depth. In experimental mathematics, he develops computational systems that automatically generate and prove novel mathematical theorems, particularly in number theory, having contributed hundreds of new results to the field. As a leading expert in electronic voting security, he has examined over 120 voting systems for seven states and testified before Congress multiple times. His work uniquely integrates legal expertise with technical knowledge, especially regarding intellectual property in the digital age. He directs the M.S. in Artificial Intelligence and Innovation program at CMU, advising 74 students in this cutting-edge field. His publication trajectory reveals an evolution from foundational computational geometry (co-authoring the seminal "Computational Geometry: An Introduction") to contemporary issues in voting security and experimental mathematics. The consistent thread is applying computational methods to solve real-world problems with careful attention to legal and societal implications. His notable recognitions include: Industry Service Award of the Billiard and Bowling Institute of America (1996) Black and White Scotch Achiever's Award for contributions to bagpipe musicography (1991) As an educator and mentor, Dr. Shamos directs the M.S. in Artificial Intelligence and Innovation program and teaches courses including "AI & Future Markets" and "The Law of Computer Technology." He has served as an expert witness in over 360 legal cases involving computer technology and has been a statutory examiner of computerized voting systems for Pennsylvania since 1980. His extensive industry experience includes founding technology companies and serving as General Counsel for an AI company. Dr. Shamos is actively involved with the Universal Library project, which has scanned over 1.5 million books. He also serves as faculty advisor to the Carnegie Mellon Pool Team and is Curator of The Billiard Archive, reflecting his deep commitment to preserving billiards history alongside his academic pursuits.

Karl Craryمشاهده پروفایل

دانشیار

• Programming Languages
• Security and Privacy
• Type Theory
• +۴ مورد دیگر

Karl Crary is an Associate Professor at the Computer Science Department of Carnegie Mellon University , where he also serves as Director of Doctoral Programs . His research focuses on Programming Languages , Security and Privacy , and Mechanized Metatheory , with emphasis on applying Type Theory to software verification and compiler design. Research Type Safety Proofs Certified Code Compiler Implementation His recent publications explore Substructural Parametricity , Hashgraph Consensus Verification , and Focused Logic applications. He has advised students including Derek Dreyer , Chris Martens , and Tom Murphy , with software projects like Istari proof assistant and CM-Lex/CM-Yacc for hygienic code generation. Current teaching includes Constructive Logic (15-317/657) and HOT Compilation (15-417).

Leonidas Lampropoulosمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Formal Verification
• +۵ مورد دیگر

Leonidas Lampropoulos is an Assistant Professor of Computer Science at the University of Maryland, with an appointment in the University of Maryland Institute for Advanced Computer Studies (UMIACS). He leads research in Programming Languages and Software Engineering, focusing on formal verification, proof assistants, and scalable software development methodologies. His work addresses challenges in formalizing security properties, optimizing proof workflows, and advancing verified software for critical systems like distributed systems and autonomous vehicles. He received the NSF CAREER Award in 2022 and co-led a $540K NSF-funded project (2021) to improve proof engineering tools and protocols. His academic contributions span programming language design, type systems, and testing frameworks, with notable collaborations through the Maryland Cybersecurity Center (MC²). Advised PhD students: Segev Elazar Mittelman, Alperen Keles, Oliwia Kempinski, Jacob Prinz, Finn Voichick. Key honors: NSF CAREER Award (2022), NSF Award for Proof Engineering (2021). Research partnerships: Collaborates with institutions like the University of Texas at Austin on proof assistant scalability. His grants emphasize bridging software engineering practices with formal verification to enhance reliability in large-scale projects. Current efforts include improving proof assistant usability and integrating formal methods into mainstream software development.

Maire O'Neillمشاهده پروفایل

استاد

• Hardware Security
• Cryptography
• Approximate Computing
• +۷ مورد دیگر

Maire O'Neill is a Professor at the School of Electronics, Electrical Engineering and Computer Science at Queen's University Belfast, affiliated with the Secure Digital Systems (SDS) group and the Institute of Electronics, Communications & Information Technology (ECIT). Her research focuses on hardware security, cryptography, and secure embedded systems. She has held significant leadership roles and pioneered work in FPGA security, approximate computing, and post-quantum cryptography. Dr. O'Neill's academic journey includes over 20 years of contributions to secure digital systems, with a particular emphasis on cryptographic hardware, side-channel analysis, and IoT security. She has led major research projects such as the EU-funded 'TruDetect' initiative for hardware Trojan detection and the 'Secure IoT Processor Platform' project. Her work bridges theoretical research with practical applications, emphasizing real-world security challenges in electronics and computing. Education: Background in electrical engineering and computer science (details not explicitly stated in the text) Research Interests: Her work spans hardware security primitives, FPGA-based cryptographic solutions, and energy-efficient computing. She explores vulnerabilities like Rowhammer attacks and side-channel leaks while developing defenses through approximate computing and machine learning techniques. Her research addresses emerging threats in IoT, 5G networks, and post-quantum cryptography. Publications Trends: Recent work emphasizes machine learning applications in security (e.g., ML-KEM accelerator designs), hardware Trojan detection, and energy-efficient approximate computing. She frequently publishes in top-tier venues like IEEE Transactions and ACM conferences, with a focus on practical implementations and FPGA demonstrators. Awards: 2007: BFIIN ITEC Platinum Award, British Female Inventor of the Year, European Union Women Innovators 2015: Fellow of the Irish Academy of Engineering 2015: INVENT Award for collaborative innovation Advising & Grants: Supervised 8 PhD students (explicitly stated). Active in securing research grants (18 projects listed), including EU and industry collaborations. Engages in academic service roles like IEEE Distinguished Lecturer and international conference organization. Labs/Teams: Leads the Secure Digital Systems (SDS) group, collaborating with global partners on hardware security and IoT initiatives. Maintains strong ties with industry through projects like NIO New Deal Cyber Bid and TruDetect.

• Bioinformatics
• Artificial Intelligence in Healthcare
• Digital Health
• +۷ مورد دیگر

Dr. Ali Hasnain is a Lecturer in Computational Biology and Data Analytics at the Royal College of Surgeons in Ireland (RCSI), School of Pharmacy and Biomolecular Sciences. He holds a PhD from the National University of Ireland Galway and has over 15 years of experience in academia and the software industry, including roles as a Senior Researcher at University College Dublin and Adjunct Lecturer at the Insight Centre for Data Analytics. His research focuses on Artificial Intelligence in Healthcare, Digital Health, Bioinformatics, and Semantic Web technologies, with expertise in data analytics for life sciences and healthcare management. Education: PhD in Bioinformatics & Data Analytics, National University of Ireland Galway MSc in Engineering and Management of Information Systems, Royal Institute of Technology (KTH), Sweden MSc in Project Management and Operational Development, KTH, Sweden BSc (Honors) in Computer Science, Pakistan Institute of Engineering and Applied Sciences Research Interests: Dr. Hasnain’s work bridges computational biology, data science, and healthcare. Key areas include developing algorithms for biomedical data integration, AI-driven query systems for healthcare knowledge graphs, and optimizing pesticide efficacy through genomic analysis. His recent projects address challenges in dementia care technology and environmental stress impact on organisms . Awards & Recognition: Best Paper Awards at ESWC 2017, ISWC2018, and ESWC 2018 Young Scientific Researchers Grant from SWSA/NSF (2012, 2015) Grants & Collaboration: Led the Dementia and Technology (DaTe) project (2021–2023), funded by the Irish Research Council. Collaborations include work on federated SPARQL query systems and semantic web solutions for large-scale biomedical data. Labs & Teams: Active in RCSI’s Pharmacy & Biomolecular Sciences labs, contributing to interdisciplinary projects. Previously led research initiatives at Insight Centre and UCD’s School of Computer Science.

• Computer Networks
• Edge Computing
• Quantum Computing
• +۵ مورد دیگر

Xiaojun Shang is an Assistant Professor in the Department of Computer Science and Engineering at the University of Texas at Arlington. His research focuses on distributed computing environments, including edge computing, quantum computing, and network optimization for AI applications. PhD in Computer Engineering from Stony Brook University (2023) MS in Electrical Engineering from Columbia University (2016) BS in Information and Communication Engineering from Zhejiang University (2014) Research interests span computer networks , edge computing , edge AI , and quantum computing , with emphasis on algorithm development for distributed environments. Recent work includes quantum interconnection networks and edge AI co-design , with applications in connected vehicles and 6G systems. Publications demonstrate trends in service function chain deployment , quantum entanglement routing , and mobility-aware edge computing . His team's work on blockchain-based O-RAN optimization and distributed quantum computing topology has won Best Paper Awards at ICDCS 2024 and INFOCOM 2020. Best Paper Award, IEEE ICDCS 2024 UT System STARs Award 2023 Best Paper Award, IEEE INFOCOM 2020 As a Faculty Mentor for OurCS Workshop and committee member for CSE PhD Admissions, he advises PhD students including Wei Lin and Wentao Dexter Gao . Reviewer roles include IEEE TPDS, ACM Computing Surveys, and IEEE IoT Journal.

Nikola I. Mitrovicمشاهده پروفایل

مدرس

• Microelectronics
• Semiconductor Devices
• Power Electronics
• +۳ مورد دیگر

Nikola I. Mitrovic is a Lecturer at the Faculty of Electronic Engineering, University of Niš, specializing in Microelectronics and Microsystems. His academic career began with a Master's degree (2018) and undergraduate degree (2017) in Electronic Components and Microsystems from the same institution. He has been actively involved in teaching and research since 2020, focusing on semiconductor device reliability and renewable energy technologies. Education Bachelor's Degree: Electronic Components and Microsystems, Faculty of Electronic Engineering, University of Niš (2017) Master's Degree: Electronics and Microsystems, Faculty of Electronic Engineering, University of Niš (2018) Research Interests His research emphasizes semiconductor device modeling, particularly in power VDMOSFETs under stress conditions, and solar energy systems. He explores failure mechanisms in microelectronics and develops practical educational tools for engineering students. His work bridges theoretical analysis (e.g., NBTS/NBTI effects) with applied technologies like solar tracking systems and RFID-based access controls. Publications He has published extensively in IEEE journals and international conferences, focusing on topics such as device reliability, solar cell characterization, and embedded system design. His work demonstrates a blend of semiconductor physics, mathematical modeling (e.g., Least Square Method applications), and practical engineering solutions. Awards and Activities Received First Prize for the project 'RFID-Based Access Control System' at the 11th Student Projects Conference (2018) Member of the Secretariat for the IEEESTEC Student Project Conference Current involvement: 1 national research project Labs/Teams His affiliation with the Department of Microelectronics positions him within a research group focused on advanced semiconductor technologies and renewable energy systems. Collaborations include work with colleagues on device modeling and educational technology development.

• Hardware Security
• Cryptographic Circuits
• Formal Methods
• +۳ مورد دیگر

Devanshi Upadhyaya is a Researcher at the Institute of Computer Architecture and Computer Engineering under the University of Stuttgart. Her work focuses on hardware security, cryptographic circuit protection, and formal methods for analyzing vulnerabilities in embedded systems. She is actively engaged in advancing secure hardware design principles through research in side-channel attacks, fault injection, and logic locking mechanisms. Her research interests include cryptographic circuit security, formal verification of hardware systems, and securing neural network accelerators. She has contributed to developing frameworks that assess vulnerabilities in mixed-signal and approximate computing architectures, emphasizing practical defenses against both software and hardware-based attacks. Notable projects include optimizing waveform accurate fault attacks and enabling power side-channel simulations for AI hardware accelerators. Her work bridges theoretical security models with real-world hardware implementation challenges. Devanshi holds a M.Sc. degree and is affiliated with the Hardware Oriented Computer Science department at the University of Stuttgart, where she collaborates on interdisciplinary projects involving cryptography, embedded systems, and machine learning hardware.

Jeffrey Fosterمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Security
• +۳ مورد دیگر

Jeffrey Foster is a Professor and Chair of the Department of Computer Science at Tufts University's School of Engineering. He holds a Ph.D. in Computer Science from the University of California, Berkeley (2002). His research focuses on programming languages, software engineering, and security, with notable contributions to program synthesis, static analysis, and formal verification. He leads efforts in developing tools like Dafny-based synthesis frameworks and Ruby type systems. His work emphasizes practical applications of formal methods, including security policy analysis for Android systems and improving software reliability through automated testing and machine learning-driven triaging. He has been recognized with awards such as the Outstanding Director of Graduate Studies Award (2017). Foster’s research spans theoretical advancements (e.g., abstract interpretation-guided synthesis) and empirical studies (e.g., REST API design practices). His publications address challenges in dynamic languages, static analysis, and ethical considerations in algorithmic systems like hiring tools. He actively contributes to the academic community through conference organization and pedagogical innovations in computer science education.